Minor formatting.

This commit is contained in:
Patrick Lühne 2016-05-22 15:04:23 +02:00
parent 37af6d5127
commit 342672063e
4 changed files with 5 additions and 5 deletions

View File

@ -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<std::string>(istream, "end_rule");

View File

@ -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<std::string>(istream, "end_goal");

View File

@ -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<std::string>(istream, "end_state");

View File

@ -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<std::string>(istream, "end_mutex_group");