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

Made unconditional effects a keyword.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-15 16:59:28 +02:00
parent e0a15849df
commit b8a3019e5b
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/plasp/pddl/TranslatorASP.cpp
View File

@ -212,7 +212,7 @@ void TranslatorASP::translateActions() const
// TODO: implement conditional effects // TODO: implement conditional effects
if (enumerateEffects) if (enumerateEffects)
m_outputStream << ", " << utils::Keyword("effect") << "(unconditional)"; m_outputStream << ", " << utils::Keyword("effect") << "(" << utils::Keyword("unconditional") << ")";
m_outputStream << ", "; m_outputStream << ", ";

4
src/plasp/sas/TranslatorASP.cpp
View File

@ -188,7 +188,7 @@ void TranslatorASP::translateActions() const
operator_.printPredicateAsASP(m_outputStream); operator_.printPredicateAsASP(m_outputStream);
if (conditions.empty()) if (conditions.empty())
m_outputStream << ", " << utils::Keyword("effect") << "(unconditional), "; m_outputStream << ", " << utils::Keyword("effect") << "(" << utils::Keyword("unconditional") << "), ";
else else
{ {
m_outputStream << ", " << utils::Keyword("effect") << "(" << utils::Number(std::to_string(currentEffectID)) << "), "; m_outputStream << ", " << utils::Keyword("effect") << "(" << utils::Number(std::to_string(currentEffectID)) << "), ";
@ -286,7 +286,7 @@ void TranslatorASP::translateAxiomRules() const
m_outputStream m_outputStream
<< utils::Keyword("postcondition") << "(" << utils::Keyword("postcondition") << "("
<< utils::Keyword("axiomRule") << "(" << utils::Number(axiomRuleID) << "), " << utils::Keyword("axiomRule") << "(" << utils::Number(axiomRuleID) << "), "
<< utils::Keyword("effect") << "(unconditional), "; << utils::Keyword("effect") << "(" << utils::Keyword("unconditional") << "), ";
postcondition.variable().printNameAsASPPredicate(m_outputStream); postcondition.variable().printNameAsASPPredicate(m_outputStream);
m_outputStream << ", "; m_outputStream << ", ";
postcondition.value().printAsASPPredicate(m_outputStream); postcondition.value().printAsASPPredicate(m_outputStream);