+
Figure 2/1. a. Input: Two 2-nets, N1 and N2 are crossing at #1. Yellow lines are the initial two-nets, blue lines are final choices, grey lines are alternative choices. @@ -64,7 +64,7 @@ The complete tree for the above example is shown on Figure 2/2.
+
Figure 2/2. The detour tree of Figure 2/1.
+
Figure 2/3. a. Input: three 2-nets, N1, N2 and N3 are crossing at #1 and #2. Yellow lines are the initial two-nets, grey lines are final choices, blue lines @@ -116,7 +116,7 @@ The above part of the state tree is drawn on Figure 2/4.
+
Figure 2/4. The detour tree of Figure 2/3.