SAT::CNF_Manager::CNFCallback Class Reference

Abstract class for callbacks. More...

#include <cnf_manager.h>

Inherited by CVC3::SearchSatCNFCallback.

Collaboration diagram for SAT::CNF_Manager::CNFCallback:

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:

• cnf_manager.h