Merge pull request #6071 from tautschnig/set_polarity

tautschnig · web-flow · commit c41ce2b6b7b9 · 2021-04-30T21:39:56.000+02:00
Fix types in use of set_polarity
diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
@@ -73,10 +73,12 @@ void satcheck_minisat2_baset<T>::set_polarity(literalt a, bool value)
 {
   PRECONDITION(!a.is_constant());
 
+  using Minisat::lbool;
+
   try
   {
     add_variables();
-    solver->setPolarity(a.var_no(), value);
+    solver->setPolarity(a.var_no(), value ? l_True : l_False);
   }
   catch(Minisat::OutOfMemoryException)
   {

Original file line number	Diff line number	Diff line change
`@@ -73,10 +73,12 @@ void satcheck_minisat2_baset<T>::set_polarity(literalt a, bool value)`
`73`	`73`	`{`
`74`	`74`	`PRECONDITION(!a.is_constant());`
`75`	`75`
	`76`	`+ using Minisat::lbool;`
	`77`	`+`
`76`	`78`	`try`
`77`	`79`	`{`
`78`	`80`	`add_variables();`
`79`		`- solver->setPolarity(a.var_no(), value);`
	`81`	`+ solver->setPolarity(a.var_no(), value ? l_True : l_False);`
`80`	`82`	`}`
`81`	`83`	`catch(Minisat::OutOfMemoryException)`
`82`	`84`	`{`