clingo-preview/c-api/control_2include_2clingo_2control_2statement_8hh_source.html

#pragma once


#include <clingo/control/context.hh>


namespace CppClingo::Control {


void build_stm(BuildContext &ctx, Input::Stm const &stm, Input::Stm const *src);


} // namespace CppClingo::Control

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

CppClingo::Control::build_stm
void build_stm(BuildContext &ctx, Input::Stm const &stm, Input::Stm const *src)
Translate input statements to their ground representation.

CppClingo::Input::Stm
std::variant< StmRule, StmTheory, StmOptimize, StmWeakConstraint, StmShow, StmShowNothing, StmShowSig, StmProject, StmProjectSig, StmDefined, StmExternal, StmEdge, StmHeuristic, StmScript, StmInclude, StmProgram, StmConst, StmParts, StmComment > Stm
Variant of available statements.
Definition statement.hh:828