CNFCallback() | SAT::CNF_Manager::CNF_Manager::CNFCallback | [inline] |
registerAtom(const CVC3::Expr &e, const CVC3::Theorem &thm)=0 | SAT::CNF_Manager::CNF_Manager::CNFCallback | [pure virtual] |
~CNFCallback() | SAT::CNF_Manager::CNF_Manager::CNFCallback | [inline, virtual] |