Minor formatting.

This commit is contained in:
Patrick Lühne 2016-05-22 14:43:57 +02:00
parent d97b45ddcd
commit 5a12953f34

View File

@ -28,11 +28,11 @@ using Operators = std::vector<Operator>;
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;