8 // Forward-declare the Cmp template class
13 /// Enumeration of possible value-comparison states
18 /// Representation of a CmpState as a string
19 inline std::string toString(const CmpState& cmpst) {
21 case CmpState::UNDEF: return "Cmp: ??";
22 case CmpState::EQ: return "Cmp: ==";
23 case CmpState::NEQ: return "Cmp: !=";
25 throw Error("CmpState value not in enum list");
28 /// Stream a CmpState via its toString representation
29 inline std::ostream& operator << (std::ostream& os, const CmpState& obj) {