add bag.fold operator (#7718)

[cvc5.git] / src / theory / bags / rewrites.cpp

diff --git a/src/theory/bags/rewrites.cpp b/src/theory/bags/rewrites.cpp
index 896c4f251f40c1432b649a6ce4c38c2dccdf94a5..1a8f8f8491ea6cd36ed80cdcfcf38e109e8feb87 100644 (file)
--- a/src/theory/bags/rewrites.cpp
+++ b/src/theory/bags/rewrites.cpp
@@ -38,6 +38,9 @@ const char* toString(Rewrite r)
     case Rewrite::EQ_REFL: return "EQ_REFL";
     case Rewrite::EQ_SYM: return "EQ_SYM";
     case Rewrite::FROM_SINGLETON: return "FROM_SINGLETON";
+    case Rewrite::FOLD_BAG: return "FOLD_BAG";
+    case Rewrite::FOLD_CONST: return "FOLD_CONST";
+    case Rewrite::FOLD_UNION_DISJOINT: return "FOLD_UNION_DISJOINT";
     case Rewrite::IDENTICAL_NODES: return "IDENTICAL_NODES";
     case Rewrite::INTERSECTION_EMPTY_LEFT: return "INTERSECTION_EMPTY_LEFT";
     case Rewrite::INTERSECTION_EMPTY_RIGHT: return "INTERSECTION_EMPTY_RIGHT";