From 378b2ae67333ba4cdec95692c40f54756f010b05 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 13 Aug 2016 01:44:45 +0200 Subject: [PATCH] Wrapped translated SAS axiom rule definitions for usability in meta encodings. --- src/plasp/sas/TranslatorASP.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp index 4933d27..34ffcc8 100644 --- a/src/plasp/sas/TranslatorASP.cpp +++ b/src/plasp/sas/TranslatorASP.cpp @@ -251,7 +251,12 @@ void TranslatorASP::translateAxiomRules() const const auto axiomRuleID = std::to_string(currentAxiomRuleID); currentAxiomRuleID++; - m_outputStream << std::endl << utils::Keyword("axiomRule") << "(" << utils::Number(axiomRuleID) << ")." << std::endl; + m_outputStream + << std::endl + << utils::Keyword("axiomRule") << "(" + << utils::Keyword("axiomRule") << "(" + << utils::Number(axiomRuleID) + << "))." << std::endl; const auto &conditions = axiomRule.conditions();