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.h | |
| 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.h')
| -rw-r--r-- | src/theory/bags/rewrites.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/bags/rewrites.h b/src/theory/bags/rewrites.h index 36e30ca68..5574aa080 100644 --- a/src/theory/bags/rewrites.h +++ b/src/theory/bags/rewrites.h @@ -37,6 +37,9 @@ enum class Rewrite : uint32_t COUNT_EMPTY, COUNT_MK_BAG, DUPLICATE_REMOVAL_MK_BAG, + EQ_CONST_FALSE, + EQ_REFL, + EQ_SYM, FROM_SINGLETON, IDENTICAL_NODES, INTERSECTION_EMPTY_LEFT, |