зеркало из https://github.com/microsoft/aragog.git
10 строки
360 B
Plaintext
10 строки
360 B
Plaintext
digraph new_established.dsfa{
|
|
rankdir=LR;
|
|
0[label=0]
|
|
XX0 [color=white, label=""]1[label=1,peripheries=2]
|
|
XX0 -> 0
|
|
0 -> 1 [label="(and (= event_type 1) (= flow_state 13))"]
|
|
0 -> 0 [label="(not (and (= event_type 1) (= flow_state 13)))"]
|
|
1 -> 1 [label="(and (= event_type 1) (= flow_state 13))"]
|
|
1 -> 0 [label="(not (and (= event_type 1) (= flow_state 13)))"]
|
|
} |