Clingo
Loading...
Searching...
No Matches
statement.hh
1#pragma once
2
3#include <clingo/control/context.hh>
4
5namespace CppClingo::Control {
6
9
11void build_stm(BuildContext &ctx, Input::Stm const &stm);
12
14
15} // namespace CppClingo::Control
CppClingo::Control::BuildContext
Context object holding necessary data for translating from input to ground representation.
Definition context.hh:39
CppClingo::Control::build_stm
void build_stm(BuildContext &ctx, Input::Stm const &stm)
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