diff options
Diffstat (limited to 'src/prop/sat.h')
| -rw-r--r-- | src/prop/sat.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/prop/sat.h b/src/prop/sat.h index d780230a8..776895b4c 100644 --- a/src/prop/sat.h +++ b/src/prop/sat.h @@ -89,9 +89,9 @@ inline std::string stringOfLiteralValue(SatLiteralValue val) { } #endif /* __CVC4_USE_MINISAT */ -/** Interface encapsulating the "input" to the solver, e.g., from the - * CNF converter. - * +/** Interface encapsulating the "input" to the solver, e.g., from the + * CNF converter. + * * TODO: Is it possible to push the typedefs of SatClause and SatVariable * into here, somehow? */ @@ -226,7 +226,7 @@ public: void setCnfStream(CnfStream* cnfStream); SatLiteralValue value(SatLiteral l); -}; +};/* class SatSolver */ /* Functions that delegate to the concrete SAT solver. */ |