repo.or.cz
/
cl-cudd.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
emergency commit
[cl-cudd.git]
/
distr
/
dddmp
/
exp
/
s27deltaDddmp1.bdd.bis
blob
b7fb86bfea5161d4ef9d71545c1a92dd1e9b331f
1
.ver DDDMP-2.0
2
.mode A
3
.varinfo 0
4
.nnodes 16
5
.nvars 10
6
.nsuppvars 7
7
.suppvarnames G0 G1 G2 G3 G5 G6 G7
8
.orderedvarnames G0 G1 G2 G3 G5 G6 G7 DUMMY7 DUMMY8 DUMMY9
9
.ids 0 1 2 3 4 5 6
10
.permids 0 1 2 3 4 5 6
11
.auxids 0 1 2 3 4 5 6
12
.nroots 3
13
.rootids 6 -13 -16
14
.nodes
15
1 T 1 0 0
16
2 6 6 1 -1
17
3 4 4 1 2
18
4 3 3 3 1
19
5 1 1 1 4
20
6 0 0 5 -1
21
7 5 5 1 -1
22
8 4 4 1 -7
23
9 5 5 1 -2
24
10 4 4 1 -9
25
11 3 3 10 8
26
12 1 1 8 11
27
13 0 0 5 12
28
14 2 2 1 -1
29
15 2 2 1 -2
30
16 1 1 14 15
31
.end