diff --git a/include/plasp/sas/Description.h b/include/plasp/sas/Description.h index 3100a13..2d84d10 100644 --- a/include/plasp/sas/Description.h +++ b/include/plasp/sas/Description.h @@ -31,6 +31,7 @@ class Description public: Description(); + bool usesActionCosts() const; const std::vector &variables() const; const std::vector &mutexGroups() const; const std::vector &initialStateFacts() const; diff --git a/src/plasp/sas/Description.cpp b/src/plasp/sas/Description.cpp index 9f308b3..41e876a 100644 --- a/src/plasp/sas/Description.cpp +++ b/src/plasp/sas/Description.cpp @@ -58,6 +58,13 @@ Description Description::fromFile(const boost::filesystem::path &path) //////////////////////////////////////////////////////////////////////////////////////////////////// +bool Description::usesActionCosts() const +{ + return m_usesActionCosts; +} + +//////////////////////////////////////////////////////////////////////////////////////////////////// + const std::vector &Description::variables() const { return m_variables;