CVC3
2.4.1
|
Public Member Functions | |
SearchSatCNFCallback (SearchSat *ss) | |
~SearchSatCNFCallback () | |
void | registerAtom (const Expr &e, const Theorem &thm) |
Register an atom. | |
![]() | |
CNFCallback () | |
virtual | ~CNFCallback () |
Private Attributes | |
SearchSat * | d_ss |
Definition at line 101 of file search_sat.cpp.
|
inline |
Definition at line 104 of file search_sat.cpp.
|
inline |
Definition at line 105 of file search_sat.cpp.
Register an atom.
Implements SAT::CNF_Manager::CNFCallback.
Definition at line 107 of file search_sat.cpp.
|
private |
Definition at line 102 of file search_sat.cpp.