diff options
Diffstat (limited to 'src/sat/asat')
| -rw-r--r-- | src/sat/asat/solver.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/sat/asat/solver.h b/src/sat/asat/solver.h index b82601c4..9618603c 100644 --- a/src/sat/asat/solver.h +++ b/src/sat/asat/solver.h @@ -52,8 +52,9 @@ static const lbool l_Undef = 0; static const lbool l_True = 1; static const lbool l_False = -1; -static inline lit neg (lit l) { return l ^ 1; } -static inline lit toLit (int v) { return v + v; } +static inline lit neg (lit l) { return l ^ 1; } +static inline lit toLit (int v) { return v + v; } +static inline lit toLitCond (int v, int c) { return v + v + (int)(c != 0); } //================================================================================================= // Public interface: |