diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2020-09-28 08:53:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-28 08:53:07 -0500 |
| commit | 0f77646dfc0944f1f17f121ffb3112bf8b244f76 (patch) | |
| tree | c47327731f05c19232f9c756f43da878f83d4ec9 /src/theory/bags/kinds | |
| parent | 2117152db35fe1e8cee1632303789dceda311d1a (diff) | |
Implement bags rewriter (#5132)
This PR implements rewrite rules for bags. This PR focuses on rewrite rules for non constant nodes.
Rewriting nodes with constant children is delegated to bags::NormalForm class (future PR).
Diffstat (limited to 'src/theory/bags/kinds')
| -rw-r--r-- | src/theory/bags/kinds | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bags/kinds b/src/theory/bags/kinds index 8093448a0..cdbef58de 100644 --- a/src/theory/bags/kinds +++ b/src/theory/bags/kinds @@ -8,8 +8,8 @@ theory THEORY_BAGS \ ::CVC4::theory::bags::TheoryBags \ "theory/bags/theory_bags.h" typechecker "theory/bags/theory_bags_type_rules.h" -rewriter ::CVC4::theory::bags::TheoryBagsRewriter \ - "theory/bags/theory_bags_rewriter.h" +rewriter ::CVC4::theory::bags::BagsRewriter \ + "theory/bags/bags_rewriter.h" properties parametric properties check propagate presolve |