Definition at line 100 of file search_sat.cpp.
CVC3::SearchSatCNFCallback::SearchSatCNFCallback | ( | SearchSat * | ss | ) | [inline] |
Definition at line 103 of file search_sat.cpp.
CVC3::SearchSatCNFCallback::~SearchSatCNFCallback | ( | ) | [inline] |
Definition at line 104 of file search_sat.cpp.
void CVC3::SearchSatCNFCallback::registerAtom | ( | const Expr & | e, | |
const Theorem & | thm | |||
) | [inline, virtual] |
Register an atom.
Implements SAT::CNF_Manager::CNFCallback.
Definition at line 106 of file search_sat.cpp.
References d_ss, CVC3::TheoryCore::registerAtom(), and CVC3::SearchEngine::theoryCore().
SearchSat* CVC3::SearchSatCNFCallback::d_ss [private] |