diff --git a/include/plasp/sas/Description.h b/include/plasp/sas/Description.h index 2d84d10..8814365 100644 --- a/include/plasp/sas/Description.h +++ b/include/plasp/sas/Description.h @@ -29,8 +29,6 @@ class Description static Description fromFile(const boost::filesystem::path &path); public: - Description(); - bool usesActionCosts() const; const std::vector &variables() const; const std::vector &mutexGroups() const; @@ -42,6 +40,8 @@ class Description void print(std::ostream &ostream) const; private: + Description(); + void parseSectionIdentifier(std::istream &istream, const std::string &expectedSectionIdentifier) const; template