Removed workarounds thanks to a fix in clingo.
This commit is contained in:
parent
7753c22132
commit
5940fc4a3b
@ -115,11 +115,7 @@ struct StatementVisitor
|
|||||||
if (antecedent.arguments.empty())
|
if (antecedent.arguments.empty())
|
||||||
implies.antecedent = ast::Formula::make<ast::Boolean>(true);
|
implies.antecedent = ast::Formula::make<ast::Boolean>(true);
|
||||||
else if (antecedent.arguments.size() == 1)
|
else if (antecedent.arguments.size() == 1)
|
||||||
{
|
implies.antecedent = std::move(antecedent.arguments[0]);;
|
||||||
// TODO: remove workaround
|
|
||||||
auto tmp = std::move(antecedent.arguments[0]);
|
|
||||||
implies.antecedent = std::move(tmp);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
return formulas;
|
return formulas;
|
||||||
|
@ -155,9 +155,7 @@ void simplify(ast::Exists &exists, ast::Formula &formula)
|
|||||||
// If the argument now is a conjunction with just one element, directly replace the input formula with the argument
|
// If the argument now is a conjunction with just one element, directly replace the input formula with the argument
|
||||||
if (conjunction.arguments.size() == 1)
|
if (conjunction.arguments.size() == 1)
|
||||||
{
|
{
|
||||||
// TODO: remove workaround
|
formula = std::move(conjunction.arguments.front());
|
||||||
auto tmp = std::move(conjunction.arguments.front());
|
|
||||||
formula = std::move(tmp);
|
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user