Public Member Functions

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

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: