blob: ce1e61837121a9464c32967d755b61764a3b4aa5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
digraph "g" {
"dummy1_start_0 sle12sp2-2" [ style=bold color="green" fontcolor="black"]
"dummy1_stop_0 sle12sp2-1" -> "dummy1_start_0 sle12sp2-2" [ style = bold]
"dummy1_stop_0 sle12sp2-1" -> "ms1_demote_0" [ style = bold]
"dummy1_stop_0 sle12sp2-1" [ style=bold color="green" fontcolor="black"]
"ms1_demote_0" -> "ms1_demoted_0" [ style = bold]
"ms1_demote_0" -> "state1_demote_0 sle12sp2-1" [ style = bold]
"ms1_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_demoted_0" -> "ms1_promote_0" [ style = bold]
"ms1_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms1_promote_0" -> "state1_promote_0 sle12sp2-2" [ style = bold]
"ms1_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_promoted_0" -> "dummy1_start_0 sle12sp2-2" [ style = bold]
"ms1_promoted_0" [ style=bold color="green" fontcolor="orange"]
"state1_demote_0 sle12sp2-1" -> "ms1_demoted_0" [ style = bold]
"state1_demote_0 sle12sp2-1" [ style=bold color="green" fontcolor="black"]
"state1_promote_0 sle12sp2-2" -> "ms1_promoted_0" [ style = bold]
"state1_promote_0 sle12sp2-2" [ style=bold color="green" fontcolor="black"]
}
|
