diff options
Diffstat (limited to 'src/theory/strings/infer_info.cpp')
-rw-r--r-- | src/theory/strings/infer_info.cpp | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/src/theory/strings/infer_info.cpp b/src/theory/strings/infer_info.cpp index e15ee984d..aa7fe8974 100644 --- a/src/theory/strings/infer_info.cpp +++ b/src/theory/strings/infer_info.cpp @@ -24,20 +24,24 @@ std::ostream& operator<<(std::ostream& out, Inference i) { switch (i) { - case INFER_INFER_EMP: out << "Infer-Emp"; break; - case INFER_SSPLIT_CST_PROP: out << "S-Split(CST-P)-prop"; break; - case INFER_SSPLIT_VAR_PROP: out << "S-Split(VAR)-prop"; break; - case INFER_LEN_SPLIT: out << "Len-Split(Len)"; break; - case INFER_LEN_SPLIT_EMP: out << "Len-Split(Emp)"; break; - case INFER_SSPLIT_CST: out << "S-Split(CST-P)"; break; - case INFER_SSPLIT_VAR: out << "S-Split(VAR)"; break; - case INFER_FLOOP: out << "F-Loop"; break; + case Inference::N_ENDPOINT_EMP: out << "N_EndpointEmp"; break; + case Inference::N_UNIFY: out << "N_Unify"; break; + case Inference::N_ENDPOINT_EQ: out << "N_EndpointEq"; break; + case Inference::N_CONST: out << "N_Const"; break; + case Inference::INFER_EMP: out << "Infer-Emp"; break; + case Inference::SSPLIT_CST_PROP: out << "S-Split(CST-P)-prop"; break; + case Inference::SSPLIT_VAR_PROP: out << "S-Split(VAR)-prop"; break; + case Inference::LEN_SPLIT: out << "Len-Split(Len)"; break; + case Inference::LEN_SPLIT_EMP: out << "Len-Split(Emp)"; break; + case Inference::SSPLIT_CST: out << "S-Split(CST-P)"; break; + case Inference::SSPLIT_VAR: out << "S-Split(VAR)"; break; + case Inference::FLOOP: out << "F-Loop"; break; default: out << "?"; break; } return out; } -InferInfo::InferInfo() : d_id(INFER_NONE), d_index(0), d_rev(false) {} +InferInfo::InferInfo() : d_id(Inference::NONE), d_index(0), d_rev(false) {} } // namespace strings } // namespace theory |