patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Fixed wrong recursive call.

Browse Source
This commit is contained in:
Patrick Lühne 2016-09-04 23:34:20 +02:00
parent 4d72c20d9b
commit 3fa7b93d44
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/plasp/pddl/expressions/Binary.h
View File

@ -112,7 +112,7 @@ inline ExpressionPointer Binary<Derived>::negationNormalized()
{
BOOST_ASSERT(m_arguments[i]);
m_arguments[i] = m_arguments[i]->normalized();
m_arguments[i] = m_arguments[i]->negationNormalized();
}
return this;

10
src/plasp/pddl/expressions/Not.cpp
View File

@ -57,18 +57,18 @@ ExpressionPointer Not::negationNormalized()
{
auto &argument = dynamic_cast<Not &>(*m_argument);
return argument.m_argument->normalized();
return argument.m_argument->negationNormalized();
}
// Normalize argument
m_argument = m_argument->normalized();
m_argument = m_argument->negationNormalized();
// Remove double negations occurring after normalizing the argument
if (m_argument->expressionType() == Expression::Type::Not)
{
auto &argument = dynamic_cast<Not &>(*m_argument);
return argument.m_argument->normalized();
return argument.m_argument->negationNormalized();
}
// De Morgan for negative conjunctions
@ -82,7 +82,7 @@ ExpressionPointer Not::negationNormalized()
for (size_t i = 0; i < andExpression.arguments().size(); i++)
orExpression->addArgument(andExpression.arguments()[i]->negated());
return orExpression->normalized();
return orExpression->negationNormalized();
}
// De Morgan for negative disjunctions
@ -96,7 +96,7 @@ ExpressionPointer Not::negationNormalized()
for (size_t i = 0; i < orExpression.arguments().size(); i++)
andExpression->addArgument(orExpression.arguments()[i]->negated());
return andExpression->normalized();
return andExpression->negationNormalized();
}
return this;