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

Minor renaming.

Browse Source
This commit is contained in:
Patrick Lühne 2017-03-06 14:51:46 +01:00
parent c66c711823
commit c819eeabfc
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
include/anthem/Head.h
View File

@ -95,12 +95,12 @@ struct HeadLiteralCollectFunctionTermsVisitor
void visit(const Clingo::AST::Disjunction &disjunction, const Clingo::AST::HeadLiteral &headLiteral, Context &context) void visit(const Clingo::AST::Disjunction &disjunction, const Clingo::AST::HeadLiteral &headLiteral, Context &context)
{ {
for (const auto &conditionLiteral : disjunction.elements) for (const auto &conditionalLiteral : disjunction.elements)
{ {
if (!conditionLiteral.condition.empty()) if (!conditionalLiteral.condition.empty())
throwErrorAtLocation(headLiteral.location, "conditional head literals currently unsupported", context); throwErrorAtLocation(headLiteral.location, "conditional head literals currently unsupported", context);
conditionLiteral.literal.data.accept(LiteralCollectFunctionTermsVisitor(), conditionLiteral.literal, context); conditionalLiteral.literal.data.accept(LiteralCollectFunctionTermsVisitor(), conditionalLiteral.literal, context);
} }
} }
@ -232,15 +232,15 @@ struct HeadLiteralPrintSubstitutedVisitor
{ {
for (auto i = disjunction.elements.cbegin(); i != disjunction.elements.cend(); i++) for (auto i = disjunction.elements.cbegin(); i != disjunction.elements.cend(); i++)
{ {
const auto &conditionLiteral = *i; const auto &conditionalLiteral = *i;
if (!conditionLiteral.condition.empty()) if (!conditionalLiteral.condition.empty())
throwErrorAtLocation(headLiteral.location, "conditional head literals currently unsupported", context); throwErrorAtLocation(headLiteral.location, "conditional head literals currently unsupported", context);
if (i != disjunction.elements.cbegin()) if (i != disjunction.elements.cbegin())
context.logger.outputStream() << " " << Clingo::AST::BinaryOperator::Or << " "; context.logger.outputStream() << " " << Clingo::AST::BinaryOperator::Or << " ";
visit(conditionLiteral.literal, headLiteral, context); visit(conditionalLiteral.literal, headLiteral, context);
} }
} }