cvc4-1.4
|
Typedefs | |
typedef context::CDList< Command *, CommandCleanup > | CommandList |
Functions | |
void | beforeSearch (std::string, bool, SmtEngine *) throw (ModalException) |
ProofManager * | currentProofManager () |
typedef context::CDList<Command*, CommandCleanup> CVC4::smt::CommandList |
Definition at line 91 of file smt_engine.h.
void CVC4::smt::beforeSearch | ( | std::string | , | |||
bool | , | |||||
SmtEngine * | ) | |||||
throw | ( | ModalException ) |
ProofManager * CVC4::smt::currentProofManager | ( | ) |