20 #ifndef __CVC4__SMT__SIMPLIFICATION_MODE_H 21 #define __CVC4__SMT__SIMPLIFICATION_MODE_H
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...
std::ostream & operator<<(std::ostream &out, ModelFormatMode mode)
struct CVC4::options::out__option_t out
Simplify the assertions as they come in.