CVC3  2.4.1
Public Member Functions
SAT::CNF_Manager::CNFCallback Class Reference

Abstract class for callbacks. More...

#include <cnf_manager.h>

Inheritance diagram for SAT::CNF_Manager::CNFCallback:
CVC3::SearchSatCNFCallback

List of all members.

Public Member Functions

 CNFCallback ()
virtual ~CNFCallback ()
virtual void registerAtom (const CVC3::Expr &e, const CVC3::Theorem &thm)=0
 Register an atom.

Detailed Description

Abstract class for callbacks.

Definition at line 109 of file cnf_manager.h.


Constructor & Destructor Documentation

SAT::CNF_Manager::CNFCallback::CNFCallback ( )
inline

Definition at line 111 of file cnf_manager.h.

virtual SAT::CNF_Manager::CNFCallback::~CNFCallback ( )
inlinevirtual

Definition at line 112 of file cnf_manager.h.


Member Function Documentation

virtual void SAT::CNF_Manager::CNFCallback::registerAtom ( const CVC3::Expr e,
const CVC3::Theorem thm 
)
pure virtual

Register an atom.

Implemented in CVC3::SearchSatCNFCallback.

Referenced by SAT::CNF_Manager::registerAtom().


The documentation for this class was generated from the following file: