| digraph "g" { |
| "A_monitor_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = dashed] |
| "A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] |
| "A_start_0 fc16-builder" -> "E_start_0 fc16-builder" [ style = dashed] |
| "A_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"] |
| "B_monitor_0 fc16-builder" -> "B_start_0 fc16-builder" [ style = bold] |
| "B_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] |
| "B_start_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = dashed] |
| "B_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"] |
| "C_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] |
| "D_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] |
| "E_monitor_0 fc16-builder" -> "E_start_0 fc16-builder" [ style = dashed] |
| "E_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] |
| "E_start_0 fc16-builder" -> "F_start_0 fc16-builder" [ style = dashed] |
| "E_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"] |
| "F_monitor_0 fc16-builder" -> "F_start_0 fc16-builder" [ style = dashed] |
| "F_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] |
| "F_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"] |
| } |