cvc4-1.4
CVC4::smt Namespace Reference

Typedefs

typedef context::CDList< Command *, CommandCleanup > CommandList
 

Functions

void beforeSearch (std::string, bool, SmtEngine *) throw (ModalException)
 
ProofManager * currentProofManager ()
 

Typedef Documentation

typedef context::CDList<Command*, CommandCleanup> CVC4::smt::CommandList

Definition at line 90 of file smt_engine.h.

Function Documentation

void CVC4::smt::beforeSearch ( std::string  ,
bool  ,
SmtEngine  
)
throw (ModalException
)
ProofManager* CVC4::smt::currentProofManager ( )