SAT::CNF_Manager::CNFCallback Class Reference

Abstract class for callbacks. More...

#include <cnf_manager.h>

Inherited by 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

(

)

[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:

• cnf_manager.h