зеркало из https://github.com/microsoft/aragog.git
28 строки
1.2 KiB
Plaintext
28 строки
1.2 KiB
Plaintext
digraph external_block2.dsfa{
|
|
rankdir=LR;
|
|
0[label=0]
|
|
XX0 [color=white, label=""]1[label=1,peripheries=2]
|
|
XX0 -> 0
|
|
0 -> 0 [label="(and (not (and (= event_type 1) (= srcIp |"10.10.5.2"|)))
|
|
(not (and (= event_type 1) (= srcIp |"10.10.5.1"|))))"]
|
|
0 -> 1 [label="(let ((a!1 (and (= event_type 1)
|
|
(= srcIp |"10.10.5.2"|)
|
|
(not (and (= event_type 1) (= srcIp |"10.10.5.1"|)))))
|
|
(a!2 (and (not (and (= event_type 1) (= srcIp |"10.10.5.2"|)))
|
|
(= event_type 1)
|
|
(= srcIp |"10.10.5.1"|))))
|
|
(or (and (= event_type 1) (= srcIp |"10.10.5.2"|) (= srcIp |"10.10.5.1"|))
|
|
a!1
|
|
a!2))"]
|
|
1 -> 1 [label="(let ((a!1 (and (= event_type 1)
|
|
(= srcIp |"10.10.5.2"|)
|
|
(not (and (= event_type 1) (= srcIp |"10.10.5.1"|)))))
|
|
(a!2 (and (not (and (= event_type 1) (= srcIp |"10.10.5.2"|)))
|
|
(= event_type 1)
|
|
(= srcIp |"10.10.5.1"|))))
|
|
(or (and (= event_type 1) (= srcIp |"10.10.5.2"|) (= srcIp |"10.10.5.1"|))
|
|
a!1
|
|
a!2))"]
|
|
1 -> 0 [label="(and (not (and (= event_type 1) (= srcIp |"10.10.5.2"|)))
|
|
(not (and (= event_type 1) (= srcIp |"10.10.5.1"|))))"]
|
|
} |