From 223d380a03a80242f6369575e0767ebd428d7e20 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 24 Nov 2016 15:23:38 +0100 Subject: [PATCH] Indexing variables from 1 on and not 0. --- include/anthem/Context.h | 2 +- include/anthem/Head.h | 2 +- include/anthem/StatementVisitor.h | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/include/anthem/Context.h b/include/anthem/Context.h index 7ed2cb4..eb09cc0 100644 --- a/include/anthem/Context.h +++ b/include/anthem/Context.h @@ -19,7 +19,7 @@ struct Context output::Logger logger; std::vector headTerms; - size_t auxiliaryBodyLiteralID = 0; + size_t auxiliaryBodyLiteralID = 1; }; //////////////////////////////////////////////////////////////////////////////////////////////////// diff --git a/include/anthem/Head.h b/include/anthem/Head.h index b06b478..e713b4a 100644 --- a/include/anthem/Head.h +++ b/include/anthem/Head.h @@ -175,7 +175,7 @@ struct TermPrintSubstitutedVisitor assert(matchingTerm != context.headTerms.cend()); - const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(matchingTerm - context.headTerms.cbegin()); + const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(matchingTerm - context.headTerms.cbegin() + 1); outputStream << output::Variable(variableName.c_str()); } diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h index a9d9d2a..255bde5 100644 --- a/include/anthem/StatementVisitor.h +++ b/include/anthem/StatementVisitor.h @@ -46,7 +46,7 @@ struct StatementVisitor if (i != context.headTerms.cbegin()) outputStream << ", "; - const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(i - context.headTerms.cbegin()); + const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(i - context.headTerms.cbegin() + 1); outputStream << output::Variable(variableName.c_str())