| digraph MultiChoiceSynchronizingMerge { |
| node1 [label="Start", color="#2e3436"] |
| node3 [label="x = 1, y = 2", color="#2e3436"] |
| node4 [label="Multi Choice", color="#2e3436"] |
| node5 [label="", color="#2e3436"] |
| node6 [label="Synchronizing Merge", color="#2e3436"] |
| node2 [label="End", color="#2e3436"] |
| node7 [label="", color="#2e3436"] |
| node8 [label="", color="#2e3436"] |
| |
| node1 -> node3 |
| node3 -> node4 |
| node4 -> node5 [label="( x == 1 && ! y == 3 )"] |
| node4 -> node7 [label="( x == 1 || y == 2 )"] |
| node4 -> node8 [label="( x == 1 XOR y == 1 )"] |
| node5 -> node6 |
| node6 -> node2 |
| node7 -> node6 |
| node8 -> node6 |
| } |
