diff --git a/include/plasp/sas/Operator.h b/include/plasp/sas/Operator.h index a47361b..7fa4d2a 100644 --- a/include/plasp/sas/Operator.h +++ b/include/plasp/sas/Operator.h @@ -28,11 +28,11 @@ using Operators = std::vector; class Operator { public: - static Operator fromSAS(std::istream &istream, const Variables &variables); - using Condition = AssignedVariable; using Conditions = AssignedVariables; + static Operator fromSAS(std::istream &istream, const Variables &variables); + public: const Predicate &predicate() const; const Conditions &preconditions() const;