From de34d05898477caabddf93163b562282c169f8c7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 24 Nov 2016 15:23:10 +0100 Subject: [PATCH] Fixed incorrect variable IDs (missing offset). --- include/anthem/Body.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/include/anthem/Body.h b/include/anthem/Body.h index 169b2b3..37b2648 100644 --- a/include/anthem/Body.h +++ b/include/anthem/Body.h @@ -65,7 +65,7 @@ struct TermPrintVisitor if (i != function.arguments.cbegin()) outputStream << ", "; - const auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(i - function.arguments.cbegin()); + const auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(context.auxiliaryBodyLiteralID + i - function.arguments.cbegin()); outputStream << output::Variable(variableName.c_str()); } @@ -79,7 +79,7 @@ struct TermPrintVisitor if (i != function.arguments.cbegin()) outputStream << " " << Clingo::AST::BinaryOperator::And << " "; - const auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(context.auxiliaryBodyLiteralID + (i - function.arguments.cbegin())); + const auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(context.auxiliaryBodyLiteralID + i - function.arguments.cbegin()); outputStream << output::Variable(variableName.c_str()) @@ -99,7 +99,7 @@ struct TermPrintVisitor if (i != function.arguments.cbegin()) outputStream << ", "; - const auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(context.auxiliaryBodyLiteralID + (i - function.arguments.cbegin())); + const auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(context.auxiliaryBodyLiteralID + i - function.arguments.cbegin()); outputStream << output::Variable(variableName.c_str()); }