From 342672063ee0a3f1fef455b6521049feef34028c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 22 May 2016 15:04:23 +0200 Subject: [PATCH] Minor formatting. --- src/plasp/sas/AxiomRule.cpp | 4 ++-- src/plasp/sas/Goal.cpp | 2 +- src/plasp/sas/InitialState.cpp | 2 +- src/plasp/sas/MutexGroup.cpp | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/plasp/sas/AxiomRule.cpp b/src/plasp/sas/AxiomRule.cpp index 99a5d83..221da55 100644 --- a/src/plasp/sas/AxiomRule.cpp +++ b/src/plasp/sas/AxiomRule.cpp @@ -34,12 +34,12 @@ AxiomRule AxiomRule::fromSAS(std::istream &istream, const Variables &variables) conditions.reserve(numberOfConditions); for (size_t j = 0; j < numberOfConditions; j++) - conditions.emplace_back(AssignedVariable::fromSAS(istream, variables)); + conditions.emplace_back(Condition::fromSAS(istream, variables)); const auto variableTransition = VariableTransition::fromSAS(istream, variables); if (&variableTransition.valueBefore() != &Value::Any) - conditions.emplace_back(AssignedVariable(variableTransition.variable(), variableTransition.valueBefore())); + conditions.emplace_back(Condition(variableTransition.variable(), variableTransition.valueBefore())); utils::parseExpected(istream, "end_rule"); diff --git a/src/plasp/sas/Goal.cpp b/src/plasp/sas/Goal.cpp index ac666ba..5292fca 100644 --- a/src/plasp/sas/Goal.cpp +++ b/src/plasp/sas/Goal.cpp @@ -25,7 +25,7 @@ Goal Goal::fromSAS(std::istream &istream, const Variables &variables) goal.m_facts.reserve(numberOfGoalFacts); for (size_t i = 0; i < numberOfGoalFacts; i++) - goal.m_facts.emplace_back(AssignedVariable::fromSAS(istream, variables)); + goal.m_facts.emplace_back(Fact::fromSAS(istream, variables)); utils::parseExpected(istream, "end_goal"); diff --git a/src/plasp/sas/InitialState.cpp b/src/plasp/sas/InitialState.cpp index 3dfee83..d188b84 100644 --- a/src/plasp/sas/InitialState.cpp +++ b/src/plasp/sas/InitialState.cpp @@ -24,7 +24,7 @@ InitialState InitialState::fromSAS(std::istream &istream, const Variables &varia initialState.m_facts.reserve(variables.size()); for (size_t i = 0; i < variables.size(); i++) - initialState.m_facts.emplace_back(AssignedVariable::fromSAS(istream, variables[i])); + initialState.m_facts.emplace_back(Fact::fromSAS(istream, variables[i])); utils::parseExpected(istream, "end_state"); diff --git a/src/plasp/sas/MutexGroup.cpp b/src/plasp/sas/MutexGroup.cpp index bcea024..0d1eca4 100644 --- a/src/plasp/sas/MutexGroup.cpp +++ b/src/plasp/sas/MutexGroup.cpp @@ -26,7 +26,7 @@ MutexGroup MutexGroup::fromSAS(std::istream &istream, const Variables &variables for (size_t j = 0; j < numberOfFacts; j++) { - mutexGroup.m_facts.emplace_back(AssignedVariable::fromSAS(istream, variables)); + mutexGroup.m_facts.emplace_back(Fact::fromSAS(istream, variables)); } utils::parseExpected(istream, "end_mutex_group");