cprover
satcheck_precosat.cpp File Reference
#include "satcheck_precosat.h"
#include <cassert>
#include <util/threeval.h>
#include <precosat.hh>
Include dependency graph for satcheck_precosat.cpp:

Go to the source code of this file.

Macros

#define precosat_lit(a)   ((a).var_no()*2 + !(a).sign())
 

Macro Definition Documentation

◆ precosat_lit

#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().