Fig. 7
Example of solutions (black edges) in \(G^*(e)\) where e is a u-v-path. The left solution is closeable, the center solution is extensible and the right solution is frozen. The closeable solution is obtained by the juxtaposition of e, any solution in \(G^*(u)\) and any solution in \(G^*(v)\). The extensible solution is obtained by the merge of e with an extensible solution in \(G^*(u)\) and the juxtaposition of any solution in \(G^*(v)\). The frozen solution is obtained by the merge of e, an extensible solution of \(G^*(u)\) and an extensible solution in \(G^*(v)\)