preprocessor/c-api/control_2include_2clingo_2control_2theory_8hh_source.html

#pragma once


#include <clingo/control/context.hh>


#include <clingo/input/theory.hh>


namespace CppClingo::Control {


void build_hd_lit(BuildContext &ctx, Input::HdLitTheoryAtom const &lit);


void build_bd_lit(BuildContext &ctx, Input::BdLitTheoryAtom const &lit);


} // namespace CppClingo::Control

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

CppClingo::Input::TheoryAtom
A theory atom.
Definition theory.hh:239

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

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