diff options
Diffstat (limited to 'src/options/theoryof_mode.cpp')
-rw-r--r-- | src/options/theoryof_mode.cpp | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/options/theoryof_mode.cpp b/src/options/theoryof_mode.cpp new file mode 100644 index 000000000..c05f97ede --- /dev/null +++ b/src/options/theoryof_mode.cpp @@ -0,0 +1,21 @@ + +#include "options/theoryof_mode.h" + +#include <ostream> +#include "base/cvc4_assert.h" + +namespace CVC4 { +namespace theory { + +std::ostream& operator<<(std::ostream& out, TheoryOfMode m) throw() { + switch(m) { + case THEORY_OF_TYPE_BASED: return out << "THEORY_OF_TYPE_BASED"; + case THEORY_OF_TERM_BASED: return out << "THEORY_OF_TERM_BASED"; + default: return out << "TheoryOfMode!UNKNOWN"; + } + + Unreachable(); +} + +}/* CVC4::theory namespace */ +}/* CVC4 namespace */ |