Definition at line 56 of file cnf_manager.h.
CVC3::Expr SAT::CNF_Manager::CNF_Manager::Varinfo::expr |
Definition at line 57 of file cnf_manager.h.
std::vector<Lit> SAT::CNF_Manager::CNF_Manager::Varinfo::fanins |
Definition at line 58 of file cnf_manager.h.
std::vector<Var> SAT::CNF_Manager::CNF_Manager::Varinfo::fanouts |
Definition at line 59 of file cnf_manager.h.