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