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

Fixed bug related to decomposing quantified expression.

Browse Source
This commit is contained in:
Patrick Lühne 2016-12-08 02:59:20 +01:00
parent 0b31d8d56c
commit 33e61beb4f
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -198,7 +198,7 @@ template<class Derived>
inline ExpressionPointer QuantifiedCRTP<Derived>::decomposed(DerivedPredicates &derivedPredicates) inline ExpressionPointer QuantifiedCRTP<Derived>::decomposed(DerivedPredicates &derivedPredicates)
{ {
derivedPredicates.emplace_back(new DerivedPredicate(derivedPredicates.size())); derivedPredicates.emplace_back(new DerivedPredicate(derivedPredicates.size()));
auto &derivedPredicate = derivedPredicates.back(); auto derivedPredicate = derivedPredicates.back();
m_argument = m_argument->decomposed(derivedPredicates); m_argument = m_argument->decomposed(derivedPredicates);