modelverse/interface/HUTN/output.dot

digraph G {
auto_0[label="auto_0(global)"];
auto_1[label="auto_1(assign)"];
auto_10[label="auto_10"];
auto_11[label="auto_11(constant)"];
auto_12[label="auto_12(True)"];
auto_13[label="auto_13(resolve)"];
auto_14[label="auto_14(\"main\")"];
auto_2[label="auto_2(constant)"];
auto_3[label="auto_3"];
auto_4[label="auto_4(declare)"];
auto_5[label="auto_5(while)"];
auto_6[label="auto_6(assign)"];
auto_7[label="auto_7(constant)"];
auto_8[label="auto_8(2)"];
auto_9[label="auto_9(resolve)"];
auto_0 -> auto_1 [label="\"next\""];
auto_0 -> auto_14 [label="\"var\""];
auto_1 -> auto_2 [label="\"value\""];
auto_1 -> auto_13 [label="\"var\""];
auto_11 -> auto_12 [label="\"node\""];
auto_13 -> auto_14 [label="\"var\""];
auto_2 -> auto_3 [label="\"node\""];
auto_3 -> auto_4 [label="\"body\""];
auto_4 -> auto_5 [label="\"next\""];
auto_4 -> auto_10 [label="\"var\""];
auto_5 -> auto_6 [label="\"body\""];
auto_5 -> auto_11 [label="\"cond\""];
auto_6 -> auto_7 [label="\"value\""];
auto_6 -> auto_9 [label="\"var\""];
auto_7 -> auto_8 [label="\"node\""];
auto_9 -> auto_10 [label="\"var\""];
}