diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2020-10-21 17:33:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-21 17:33:57 -0500 |
| commit | 31983bd41f8c6ec736e374946de355fd1a9bc6f1 (patch) | |
| tree | 2d93b3b482809ba40b6d5e5f8174f1c3f7b72f02 /src/theory/bags/bags_rewriter.cpp | |
| parent | 3c68378f6a87d96b2baadb35988777c06f54727b (diff) | |
Implement bags evaluator (#5322)
This PR implements NormalForm::evaluate for bags
Diffstat (limited to 'src/theory/bags/bags_rewriter.cpp')
| -rw-r--r-- | src/theory/bags/bags_rewriter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bags/bags_rewriter.cpp b/src/theory/bags/bags_rewriter.cpp index c413a5e7e..26c54d4ec 100644 --- a/src/theory/bags/bags_rewriter.cpp +++ b/src/theory/bags/bags_rewriter.cpp @@ -51,7 +51,7 @@ RewriteResponse BagsRewriter::postRewrite(TNode n) // no need to rewrite n if it is already in a normal form response = BagsRewriteResponse(n, Rewrite::NONE); } - else if (NormalForm::AreChildrenConstants(n)) + else if (NormalForm::areChildrenConstants(n)) { Node value = NormalForm::evaluate(n); response = BagsRewriteResponse(value, Rewrite::CONSTANT_EVALUATION); |