Clingo
Loading...
Searching...
No Matches
rewrite.hh
1#pragma once
2
3#include <clingo/input/rewrite/rewrite_context.hh>
4
5namespace CppClingo::Input {
6
7class TheoryAtomParser;
8
11
16void rewrite(RewriteContext &ctx, Stm const &stm, StmVec &stms);
17
19
20} // namespace CppClingo::Input
CppClingo::Input::RewriteContext
Helper to pass arguments to rewrite functions.
Definition rewrite_context.hh:97
CppClingo::Input::rewrite
void rewrite(RewriteContext &ctx, Stm const &stm, StmVec &stms)
Rewrite the given statement.
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
CppClingo::Input::StmVec
std::vector< Stm > StmVec
A vector of statements.
Definition statement.hh:830