patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Indexing variables from 1 on and not 0.

This commit is contained in:
Patrick Lühne 2016-11-24 15:23:38 +01:00
parent de34d05898
commit 223d380a03
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/anthem/Context.h
View File

@ -19,7 +19,7 @@ struct Context
output::Logger logger; output::Logger logger;
std::vector<const Clingo::AST::Term *> headTerms; std::vector<const Clingo::AST::Term *> headTerms;
size_t auxiliaryBodyLiteralID = 0; size_t auxiliaryBodyLiteralID = 1;
}; };
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////

2
include/anthem/Head.h
View File

@ -175,7 +175,7 @@ struct TermPrintSubstitutedVisitor
assert(matchingTerm != context.headTerms.cend()); 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()); outputStream << output::Variable(variableName.c_str());
} }

2
include/anthem/StatementVisitor.h
View File

@ -46,7 +46,7 @@ struct StatementVisitor
if (i != context.headTerms.cbegin()) if (i != context.headTerms.cbegin())
outputStream << ", "; 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 outputStream
<< output::Variable(variableName.c_str()) << output::Variable(variableName.c_str())