diff options
author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2020-11-20 19:54:40 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-20 19:54:40 -0600 |
commit | 36af095242f2445fa5d3c2c1f3882159119d152a (patch) | |
tree | 72d88aaa67104de4486b0a167c48f72afcc8734b /src/theory/bags/rewrites.cpp | |
parent | 2a1e97cb8bc0ce7ab102035c3e481465fc59ec12 (diff) |
Add posRewriteEqual to bags rewriter (#5498)
This PR fixes #5460 by adding posRewriteEqual to bags rewriter
Diffstat (limited to 'src/theory/bags/rewrites.cpp')
-rw-r--r-- | src/theory/bags/rewrites.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/bags/rewrites.cpp b/src/theory/bags/rewrites.cpp index d640bcdce..85d0820af 100644 --- a/src/theory/bags/rewrites.cpp +++ b/src/theory/bags/rewrites.cpp @@ -32,6 +32,9 @@ const char* toString(Rewrite r) case Rewrite::COUNT_EMPTY: return "COUNT_EMPTY"; case Rewrite::COUNT_MK_BAG: return "COUNT_MK_BAG"; case Rewrite::DUPLICATE_REMOVAL_MK_BAG: return "DUPLICATE_REMOVAL_MK_BAG"; + case Rewrite::EQ_CONST_FALSE: return "EQ_CONST_FALSE"; + case Rewrite::EQ_REFL: return "EQ_REFL"; + case Rewrite::EQ_SYM: return "EQ_SYM"; case Rewrite::FROM_SINGLETON: return "FROM_SINGLETON"; case Rewrite::IDENTICAL_NODES: return "IDENTICAL_NODES"; case Rewrite::INTERSECTION_EMPTY_LEFT: return "INTERSECTION_EMPTY_LEFT"; |