CVC3
|
Information kept for each CNF variable. More...
Public Attributes | |
CVC3::Expr | expr |
std::vector< Lit > | fanins |
std::vector< Var > | fanouts |
Information kept for each CNF variable.
Definition at line 56 of file cnf_manager.h.
CVC3::Expr SAT::CNF_Manager::Varinfo::expr |
Definition at line 57 of file cnf_manager.h.
std::vector<Lit> SAT::CNF_Manager::Varinfo::fanins |
Definition at line 58 of file cnf_manager.h.
std::vector<Var> SAT::CNF_Manager::Varinfo::fanouts |
Definition at line 59 of file cnf_manager.h.