clingo-preview/c-api/control_2include_2clingo_2control_2aggregate_8hh_source.html

#pragma once


#include <clingo/control/context.hh>


#include <clingo/input/body_literal.hh>

#include <clingo/input/head_literal.hh>


namespace CppClingo::Control {


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


void build_bd_lit(BuildContext &ctx, Input::BdLitAggregate 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::BdLitAggregate
A body aggregate.
Definition body_literal.hh:78

CppClingo::Input::HdLitAggregate
A head aggregate.
Definition head_literal.hh:90

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.