3 # Check CNF (long check - all methods involved):
5 # Store corresponding CNF in different format:
6 # NodeByNode method -> file 4.node1.tmp
7 # MaxtermByMaxterm -> file 4.max1.tmp
8 # Best with different options:
9 # MaxEdge=-1 MaxPath= 0 -> similar to NodeByNode -> file 4.node2.tmp
10 # MaxEdge= 0 MaxPath=-1 -> similar to NodeByNode -> file 4.node3.tmp
11 # MaxEdge=-1 MaxPath=-1 -> = MaxtermByMaxterm -> file 4.max2.tmp
12 # MaxEdge= 1 MaxPath=-1 -> = Original Best -> file 4.best1.tmp
13 # MaxEdge= 1 MaxPath= 2 -> = Original Best, With Path Shorter than 3
16 # Store corresponding BDD
17 # Compare original and final BDDs
20 echo "---------------------------------------------------------------------------"
21 echo "--------------------- TESTING Load BDD and Store CNF ----------------------"
22 echo "---------------------------------------------------------------------------"
23 ./../testdddmp << END1
79 echo "---------------------------------------------------------------------------"
80 echo "--------------------- TESTING Load CNF and Store BDD ----------------------"
81 echo "---------------------------------------------------------------------------"
82 ./../testdddmp << END2
97 ./../testdddmp << END3
112 ./../testdddmp << END4
127 ./../testdddmp << END5
142 echo "----------------------------- ... RESULTS ... -----------------------------"
143 diff --brief 4.max1 4.max1.tmp
144 diff --brief 4.max2 4.max2.tmp
145 diff --brief 4.bdd.bis1 4.node2.bdd.tmp
146 diff --brief 4.bdd.bis2 4.node3.bdd.tmp
147 diff --brief 4.bdd.bis3 4.best1.bdd.tmp
148 diff --brief 4.bdd.bis4 4.best2.bdd.tmp
149 echo "-------------------------------- ... END ----------------------------------"