diff --git a/include/plasp/pddl/Domain.h b/include/plasp/pddl/Domain.h index 2167d49..dd48a19 100644 --- a/include/plasp/pddl/Domain.h +++ b/include/plasp/pddl/Domain.h @@ -37,7 +37,7 @@ class Domain void parseSection(utils::Parser &parser); - void parseRequirementsSection(utils::Parser &parser); + void parseRequirementSection(utils::Parser &parser); bool hasRequirement(Requirement::Type requirementType) const; void computeDerivedRequirements(); diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp index c7ad4eb..28f04b0 100644 --- a/src/plasp/pddl/Domain.cpp +++ b/src/plasp/pddl/Domain.cpp @@ -130,10 +130,9 @@ void Domain::parseSection(utils::Parser &parser) } }; - // TODO: make naming consistent // TODO: check order of the sections if (sectionIdentifier == "requirements") - parseRequirementsSection(parser); + parseRequirementSection(parser); else if (sectionIdentifier == "types") parseTypeSection(parser); 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();