diff options
Diffstat (limited to 'src/theory/theoryof_mode.h')
-rw-r--r-- | src/theory/theoryof_mode.h | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/src/theory/theoryof_mode.h b/src/theory/theoryof_mode.h index cd8c68b1a..c50960257 100644 --- a/src/theory/theoryof_mode.h +++ b/src/theory/theoryof_mode.h @@ -14,10 +14,10 @@ ** Option selection for theoryOf() operation. **/ -#pragma once - #include "cvc4_public.h" +#pragma once + namespace CVC4 { namespace theory { @@ -29,6 +29,18 @@ enum TheoryOfMode { THEORY_OF_TERM_BASED };/* enum TheoryOfMode */ +inline std::ostream& operator<<(std::ostream& out, TheoryOfMode m) throw() CVC4_PUBLIC; + +inline 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 */ |