From 5a12953f341209e05abf33d6b336d583718e07cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 22 May 2016 14:43:57 +0200 Subject: [PATCH] Minor formatting. --- include/plasp/sas/Operator.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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;