CVC3
2.4.1
|
#include <cnf.h>
enum SAT::Var::Val |
bool SAT::Var::isNull | ( | ) | const [inline] |
Definition at line 42 of file cnf.h.
References d_index.
Referenced by SAT::Lit::Lit(), SAT::CNF_Manager::concreteVar(), and CVC3::SearchSat::setValue().
int SAT::Var::getIndex | ( | ) | const [inline] |
bool SAT::Var::isVar | ( | ) | const [inline] |
Definition at line 45 of file cnf.h.
References d_index.
Referenced by SAT::CNF_Manager::numFanins(), SAT::CNF_Manager::numFanouts(), and CVC3::SearchSat::getValue().
bool SAT::Var::operator== | ( | const Var & | var | ) | const [inline] |
int SAT::Var::d_index [private] |
Definition at line 35 of file cnf.h.
Referenced by operator int(), isNull(), reset(), getIndex(), isVar(), and operator==().