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

Added to-dos.

This commit is contained in:
Patrick Lühne 2016-06-04 17:55:17 +02:00
parent e481732fae
commit 0f2c81f894
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/plasp/pddl/Domain.cpp
View File

@ -169,6 +169,7 @@ void Domain::parseRequirementSection()
m_context.parser.skipWhiteSpace();
}
// TODO: Do this check only once the problem is parsed
// If no requirements are specified, assume STRIPS
if (m_requirements.empty())
m_requirements.emplace_back(Requirement::Type::STRIPS);

1
src/plasp/pddl/Problem.cpp
View File

@ -133,6 +133,7 @@ void Problem::parseRequirementSection()
m_context.parser.skipWhiteSpace();
}
// TODO: Do this check only once the domain is parsed
// If no requirements are specified, assume STRIPS
if (m_requirements.empty())
m_requirements.emplace_back(Requirement::Type::STRIPS);