patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Fixed incorrectly simplified rules with comparisons.

Browse Source
This commit is contained in:
Patrick Lühne
2017-03-28 17:13:15 +02:00
parent c8cd6fec48
commit 3df4d5a2a2
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/anthem/Simplification.cpp
View File

@@ -81,7 +81,7 @@ struct ReplaceVariableInFormulaVisitor : public ast::RecursiveFormulaVisitor<Rep
static void accept(ast::Comparison &comparison, ast::Formula &, const ast::Variable &variable, const ast::Term &term)
{
comparison.left.accept(ReplaceVariableInTermVisitor(), comparison.left, variable, term);
comparison.right.accept(ReplaceVariableInTermVisitor(), comparison.left, variable, term);
comparison.right.accept(ReplaceVariableInTermVisitor(), comparison.right, variable, term);
}
static void accept(ast::In &in, ast::Formula &, const ast::Variable &variable, const ast::Term &term)