From 0f77646dfc0944f1f17f121ffb3112bf8b244f76 Mon Sep 17 00:00:00 2001 From: mudathirmahgoub Date: Mon, 28 Sep 2020 08:53:07 -0500 Subject: 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). --- src/theory/bags/kinds | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/theory/bags/kinds') 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 -- cgit v1.2.3