SAT::CNF_Manager::CNFCallback Class Reference

Abstract class for callbacks. More...

#include <cnf_manager.h>

Inheritance diagram for SAT::CNF_Manager::CNFCallback:

Inheritance graph
[legend]
List of all members.

Public Member Functions


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 (  )  [inline, virtual]

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:
Generated on Wed Nov 18 16:18:53 2009 for CVC3 by  doxygen 1.5.2