clingo-preview/c-api/control_2include_2clingo_2control_2condlit_8hh_source.html

#pragma once


#include <clingo/control/context.hh>


#include <clingo/input/literal.hh>


namespace CppClingo::Control {


void build_hd_lit(BuildContext &ctx, Input::HdLitDisjunction const &lit, Ground::ProfileNodeInternal *node);


void build_bd_lit(BuildContext &ctx, Input::BdLitConjunction const &lit, Ground::ProfileNodeInternal *node);


} // namespace CppClingo::Control

CppClingo::Control::BuildContext
Context object holding necessary data for translating from input to ground representation.
Definition context.hh:75

CppClingo::Ground::ProfileNodeInternal
Profile node that can hold children.
Definition profile.hh:155

CppClingo::Input::BdLitConjunction
A conditional literal in a rule body.
Definition body_literal.hh:32

CppClingo::Input::HdLitDisjunction
A disjunction of conditional literals.
Definition head_literal.hh:37

CppClingo::Control::build_hd_lit
void build_hd_lit(BuildContext &ctx, Input::HdLitAggregate const &lit, Ground::ProfileNodeInternal *node)
Translate head aggregates.

CppClingo::Control::build_bd_lit
void build_bd_lit(BuildContext &ctx, Input::BdLitAggregate const &lit, Ground::ProfileNodeInternal *node)
Translate body aggregates.