#include <cnf.h>
Definition at line 31 of file cnf.h.
enum SAT::Var::Val |
bool SAT::Var::isNull | ( | ) | const [inline] |
Definition at line 37 of file cnf.h.
References FALSE_VAL, TRUE_VAL, and UNKNOWN.
Referenced by SAT::CNF_Manager::concreteVar(), and CVC3::SearchSat::setValue().
int SAT::Var::getIndex | ( | ) | const [inline] |
Definition at line 39 of file cnf.h.
Referenced by MiniSat::cvcToMiniSat().
bool SAT::Var::isVar | ( | ) | const [inline] |
Definition at line 40 of file cnf.h.
Referenced by CVC3::SearchSat::getValue(), SAT::CNF_Manager::numFanins(), and SAT::CNF_Manager::numFanouts().
bool SAT::Var::operator== | ( | const Var & | var | ) | const [inline] |
int SAT::Var::d_index [private] |
Definition at line 30 of file cnf.h.
Referenced by invertValue(), and operator==().