patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Made AxiomRule a proper class.

Browse Source
This commit is contained in:
Patrick Lühne
2016-05-22 15:00:54 +02:00
parent 9fce86ffaf
commit 37af6d5127
5 changed files with 103 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
include/plasp/sas/AxiomRule.h
View File

@@ -17,18 +17,29 @@ namespace sas
//
////////////////////////////////////////////////////////////////////////////////////////////////////
struct AxiomRule;
class AxiomRule;
using AxiomRules = std::vector<AxiomRule>;
////////////////////////////////////////////////////////////////////////////////////////////////////
struct AxiomRule
class AxiomRule
{
using Condition = AssignedVariable;
using Conditions = AssignedVariables;
public:
using Condition = AssignedVariable;
using Conditions = AssignedVariables;
Conditions conditions;
Condition postcondition;
static AxiomRule fromSAS(std::istream &istream, const Variables &variables);
public:
const Conditions &conditions() const;
const Condition &postcondition() const;
private:
AxiomRule() = default;
AxiomRule(Conditions conditions, Condition postcondition);
Conditions m_conditions;
Condition m_postcondition;
};
////////////////////////////////////////////////////////////////////////////////////////////////////