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

Minor clean-up.

This commit is contained in:
Patrick Lühne 2016-09-04 23:54:15 +02:00
parent c2af84a800
commit dd621fcd5c
1 changed files with 4 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/plasp/pddl/expressions/Imply.cpp
View File

@ -30,18 +30,13 @@ ExpressionPointer Imply::simplified()
m_arguments[1] = m_arguments[1]->simplified();
auto notArgument0 = NotPointer(new Not);
notArgument0->setArgument(std::move(m_arguments[0]));
notArgument0->setArgument(m_arguments[0]);
auto orExpression = OrPointer(new Or);
orExpression->addArgument(std::move(notArgument0));
orExpression->addArgument(std::move(m_arguments[1]));
orExpression->addArgument(notArgument0);
orExpression->addArgument(m_arguments[1]);
auto normalizedOrExpression = orExpression->simplified();
if (normalizedOrExpression)
return normalizedOrExpression;
return std::move(orExpression);
return orExpression->simplified();
}
////////////////////////////////////////////////////////////////////////////////////////////////////