---
source: hydroflow/tests/surface_flow_props.rs
expression: "hf.meta_graph().unwrap().to_dot(&Default::default())"
---
digraph {
    node [fontname="Monaco,Menlo,Consolas,"Droid Sans Mono",Inconsolata,"Courier New",monospace", style=filled];
    edge [fontname="Monaco,Menlo,Consolas,"Droid Sans Mono",Inconsolata,"Courier New",monospace"];
    n1v1 [label="(n1v1) source_iter_delta((0..10).map(SetUnionSingletonSet::new_from))", shape=invhouse, fillcolor="#88aaff"]
    n2v1 [label="(n2v1) map(|SetUnion(SingletonSet(x))| SetUnion(SingletonSet(x + 5)))", shape=invhouse, fillcolor="#88aaff"]
    n3v1 [label="(n3v1) tee()", shape=house, fillcolor="#ffff88"]
    n4v1 [label="(n4v1) cast(None)", shape=house, fillcolor="#ffff88"]
    n5v1 [label="(n5v1) map(|SetUnion(SingletonSet(x))| 10 * x)", shape=house, fillcolor="#ffff88"]
    n6v1 [label="(n6v1) for_each(|x| println!(\"seq {:?}\", x))", shape=house, fillcolor="#ffff88"]
    n7v1 [label="(n7v1) for_each(|s| println!(\"delta {:?}\", s))", shape=house, fillcolor="#ffff88"]
    n8v1 [label="(n8v1) map(|SetUnion(SingletonSet(x))| SetUnionHashSet::new_from([x]))", shape=house, fillcolor="#ffff88"]
    n9v1 [label="(n9v1) lattice_reduce()", shape=invhouse, fillcolor="#88aaff"]
    n10v1 [label="(n10v1) for_each(|s| println!(\"cumul {:?}\", s))", shape=house, fillcolor="#ffff88"]
    n11v1 [label="(n11v1) handoff", shape=parallelogram, fillcolor="#ddddff"]
    n2v1 -> n3v1 [color=darkgreen, style=dashed]
    n1v1 -> n2v1 [color=darkgreen, style=dashed]
    n5v1 -> n6v1
    n4v1 -> n5v1
    n3v1 -> n4v1 [color=darkgreen, style=dashed]
    n3v1 -> n7v1 [color=darkgreen, style=dashed]
    n9v1 -> n10v1 [color=darkgreen, style=bold]
    n8v1 -> n11v1 [color=darkgreen, style=dashed]
    n3v1 -> n8v1 [color=darkgreen, style=dashed]
    n11v1 -> n9v1 [color=red, style=dashed]
    subgraph "cluster n1v1" {
        fillcolor="#dddddd"
        style=filled
        label = "sg_1v1\nstratum 0"
        n1v1
        n2v1
        n3v1
        n4v1
        n5v1
        n6v1
        n7v1
        n8v1
        subgraph "cluster_sg_1v1_var_my_tee" {
            label="var my_tee"
            n1v1
            n2v1
            n3v1
        }
    }
    subgraph "cluster n2v1" {
        fillcolor="#dddddd"
        style=filled
        label = "sg_2v1\nstratum 0"
        n9v1
        n10v1
    }
}