emergency commit
[cl-cudd.git] / distr / dddmp / exp / 0.add
blobba6bb3dcf609ebb0fa5db89ac2e37e9834ed9d09
1 .ver DDDMP-2.0
2 .add
3 .mode A
4 .varinfo 0
5 .nnodes 5
6 .nvars 3
7 .nsuppvars 2
8 .suppvarnames DUMMY1 DUMMY2
9 .orderedvarnames DUMMY0 DUMMY1 DUMMY2
10 .ids 1 2
11 .permids 1 2
12 .auxids 1 2
13 .nroots 1
14 .rootids 5
15 .nodes
16 1 T 1 0 0
17 2 T 2 0 0
18 3 T 0 0 0
19 4 2 1 2 3
20 5 1 0 1 4
21 .end