|
digraph dominatorTree {
|
|
label="switchMethod2"
|
|
"D(-1)" [style=filled]
|
|
"D(0)"
|
|
"D(31)"
|
|
"D(8)"
|
|
"D(14)"
|
|
"D(20)"
|
|
"D(26)"
|
|
"D(-2)"
|
|
"D(0)" -> "D(31)"
|
|
"D(0)" -> "D(8)"
|
|
"D(0)" -> "D(14)"
|
|
"D(0)" -> "D(20)"
|
|
"D(-1)" -> "D(0)"
|
|
"D(0)" -> "D(26)"
|
|
"D(31)" -> "D(-2)"
|
|
}
|