CVC3
2.4.1
|
Abstract class for callbacks. More...
#include <cnf_manager.h>
Public Member Functions | |
CNFCallback () | |
virtual | ~CNFCallback () |
virtual void | registerAtom (const CVC3::Expr &e, const CVC3::Theorem &thm)=0 |
Register an atom. More... | |
Abstract class for callbacks.
Definition at line 109 of file cnf_manager.h.
|
inline |
Definition at line 111 of file cnf_manager.h.
|
inlinevirtual |
Definition at line 112 of file cnf_manager.h.
|
pure virtual |
Register an atom.
Implemented in CVC3::SearchSatCNFCallback.
Referenced by SAT::CNF_Manager::registerAtom().