main.dot.org.antlr.v4.runtime.atn.images.ArrayMerge_EqualTop.dot Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of virtdata-lib-realer Show documentation

With inspiration from other libraries

There is a newer version: 2.12.15

digraph "" {
    graph[dpi="60";compound="true"];

    subgraph clusterA {
        label="";
        color="invis";
        {   rank="same";
            node[shape="invtriangle";margin="0.01,0.01"];
            A_u1[label="x"];
        }

        A_left[shape="record";label="{ | a}"];

        {   edge[dir="back"];
            A_u1:s -> A_left:a:n;
        }
    }

    subgraph AB {
        temp0[color="invis";shape="point";label=""];
        temp1[shape="none";label="+"];
        temp0 -> temp1[style="invisible";dir="none"];
    }

    subgraph clusterB {
        label="";
        color="invis";
        {   rank="same";
            node[shape="invtriangle";margin="0.01,0.01"];
            A_w1[label="y"];
        }

        A_right[shape="record";label="{ | a}"];

        {   edge[dir="back"];
            A_w1:s -> A_right:a:n;
        }
    }

    subgraph BC {
        node[color="invis";shape="point"];
        temp2a;
        {   rank="same";
            temp2b;
            temp2c;
        }

        temp2a -> temp2b[style="invisible";dir="none"];
        temp2a -> temp2c[style="invisible";dir="none"];
        temp2b -> temp2c[constraint="false";label="wwwwwww";fontcolor="invis"];
    }

    subgraph clusterC {
        label="";
        color="invis";
        {   rank="same";
            node[shape="invtriangle";margin="0.01,0.01"];
            A_u2[label=""];
            A_v2[label=""];
        }

        A_result[shape="record";label="{ | x} | { | y}"];

        A_ap[label="a'";shape="none"];

        {   edge[dir="back"];
            A_u2:s -> A_result:x:n;
            A_v2:s -> A_result:y:n;
            A_result:s -> A_ap:n;
        }
    }
}