20 #ifndef __CVC4__SMT__SIMPLIFICATION_MODE_H 21 #define __CVC4__SMT__SIMPLIFICATION_MODE_H
std::ostream & operator<<(std::ostream &, const Command &)
Simplify the assertions all together once a check is requested.
SimplificationMode
Enumeration of simplification modes (when to simplify).
Don't do simplification.
Macros that should be defined everywhere during the building of the libraries and driver binary...
struct CVC4::options::out__option_t out
Simplify the assertions as they come in.