blob: c05f97edec23f5fb5a62b3632215adc56057f334 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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 */
|
