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

Made section parsing function names consistent.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-04 15:07:18 +02:00
parent 60c072a2b3
commit 08eb14e400
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/plasp/pddl/Domain.h
View File

@ -37,7 +37,7 @@ class Domain
void parseSection(utils::Parser &parser); void parseSection(utils::Parser &parser);
void parseRequirementsSection(utils::Parser &parser); void parseRequirementSection(utils::Parser &parser);
bool hasRequirement(Requirement::Type requirementType) const; bool hasRequirement(Requirement::Type requirementType) const;
void computeDerivedRequirements(); void computeDerivedRequirements();

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

@ -130,10 +130,9 @@ void Domain::parseSection(utils::Parser &parser)
} }
}; };
// TODO: make naming consistent
// TODO: check order of the sections // TODO: check order of the sections
if (sectionIdentifier == "requirements") if (sectionIdentifier == "requirements")
parseRequirementsSection(parser); parseRequirementSection(parser);
else if (sectionIdentifier == "types") else if (sectionIdentifier == "types")
parseTypeSection(parser); parseTypeSection(parser);
else if (sectionIdentifier == "constants") else if (sectionIdentifier == "constants")
@ -154,7 +153,7 @@ void Domain::parseSection(utils::Parser &parser)
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////
void Domain::parseRequirementsSection(utils::Parser &parser) void Domain::parseRequirementSection(utils::Parser &parser)
{ {
parser.skipWhiteSpace(); parser.skipWhiteSpace();