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

Minor refactoring.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-17 19:57:22 +02:00
parent 8c98548dbc
commit fbcb790611
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/pddlparse/src/pddlparse/detail/parsing/AtomicFormula.cpp
View File

@ -34,13 +34,7 @@ std::experimental::optional<ast::AtomicFormula> parseAtomicFormula(Context &cont
tokenizer.seek(position); tokenizer.seek(position);
// Now, test supported expressions // Now, test supported expressions
std::experimental::optional<ast::AtomicFormula> atomicFormula; return parsePredicate(context, astContext, variableStack);
if ((atomicFormula = parsePredicate(context, astContext, variableStack)))
return std::move(atomicFormula.value());
tokenizer.seek(position);
return std::experimental::nullopt;
} }
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////