38 default:
return out <<
"TheoryOfMode!UNKNOWN";
TheoryOfMode
How do we associate theories with the terms.
Variables are uninterpreted, constants are with the type, equalities prefer parametric.
std::ostream & operator<<(std::ostream &out, TheoryOfMode m)
Macros that should be defined everywhere during the building of the libraries and driver binary...
struct CVC4::options::out__option_t out
Equality, variables and constants are associated with the types.