alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

convert: BDD to cube conversions

Browse source 
* README, configure.ac, spot/Makefile.am,
spot/twacube_algos/Makefile.am, spot/twacube_algos/convert.cc
spot/twacube_algos/convert.hh, tests/core/cube.cc,
tests/core/cube.test: here.
This commit is contained in:
Etienne Renault 2015-11-30 15:32:51 +01:00
parent 7c3fdd6b97
commit 8d57700d6a
8 changed files with 257 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
tests/core/cube.test
View file

@ -48,6 +48,14 @@ cube : b&d
valid : 1
intersect(c2,c1) : 1
intersect(c2,c) : 0
bdd : T
cube : 1
bdd : F
bdd : <1:1, 2:0, 4:1, 5:0, 6:1>
cube : a&!b&c&!d&e
bdd : <1:0, 2:1, 5:1><1:1, 5:1>
cube : !a&b&d
cube : a&d
EOF
diff stdout expected