38 default:
return out <<
"TheoryOfMode!UNKNOWN";
std::ostream & operator<<(std::ostream &out, TheoryId theoryId)
TheoryOfMode
How do we associate theories with the terms.
Variables are uninterpreted, constants are with the type, equalities prefer parametric.
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.