cvc4-1.3
CVC4::smt Namespace Reference

Typedefs

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

Functions

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

Typedef Documentation

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

Definition at line 87 of file smt_engine.h.

Function Documentation

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