cprover
|
Go to the source code of this file.
Macros | |
#define | precosat_lit(a) ((a).var_no()*2 + !(a).sign()) |
#define precosat_lit | ( | a | ) | ((a).var_no()*2 + !(a).sign()) |
Definition at line 21 of file satcheck_precosat.cpp.
Referenced by satcheck_precosatt::l_get(), and satcheck_precosatt::lcnf().