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

Wrapped translated SAS axiom rule definitions for usability in meta encodings.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-13 01:44:45 +02:00
parent 36e517bd80
commit 378b2ae673
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -251,7 +251,12 @@ void TranslatorASP::translateAxiomRules() const
const auto axiomRuleID = std::to_string(currentAxiomRuleID); const auto axiomRuleID = std::to_string(currentAxiomRuleID);
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(); const auto &conditions = axiomRule.conditions();