diff options
Diffstat (limited to 'src/prop/sat.h')
| -rw-r--r-- | src/prop/sat.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/prop/sat.h b/src/prop/sat.h index cc81ea5c6..88df366e2 100644 --- a/src/prop/sat.h +++ b/src/prop/sat.h @@ -53,12 +53,13 @@ class CnfStream; /** Type of the SAT variables */ typedef Minisat::Var SatVariable; -/** Type of the Sat literals */ +/** Type of the SAT literals */ typedef Minisat::Lit SatLiteral; /** Type of the SAT clauses */ typedef Minisat::vec<SatLiteral> SatClause; +/** Type of a SAT variable assignment (T, F, unknown) */ typedef Minisat::lbool SatLiteralValue; /** |