sat,solvers: adapt setPolarity for MergeSat

conp-solutions · conp-solutions · commit e4b1bdec280f · 2021-05-06T22:37:08.000+02:00
MergeSat is based on the MiniSat 2.2 interface. Hence, setPolarity needs
a bool instead of an lbool.

Signed-off-by: Norbert Manthey &lt;nmanthey@conp-solutions.com&gt;
diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
@@ -79,7 +79,7 @@ void satcheck_minisat2_baset<T>::set_polarity(literalt a, bool value)
   try
   {
     add_variables();
-    solver->setPolarity(a.var_no(), value ? l_True : l_False);
+    solver->setPolarity(a.var_no(), value); // ? l_True : l_False);
   }
   catch(Minisat::OutOfMemoryException)
   {

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ void satcheck_minisat2_baset<T>::set_polarity(literalt a, bool value)`
`79`	`79`	`try`
`80`	`80`	`{`
`81`	`81`	`add_variables();`
`82`		`- solver->setPolarity(a.var_no(), value ? l_True : l_False);`
	`82`	`+ solver->setPolarity(a.var_no(), value); // ? l_True : l_False);`
`83`	`83`	`}`
`84`	`84`	`catch(Minisat::OutOfMemoryException)`
`85`	`85`	`{`