Clingo
Loading...
Searching...
No Matches
rewrite_theory.hh
1#pragma once
2
3#include <clingo/input/program.hh>
4
5#include <clingo/input/rewrite/rewrite_context.hh>
6
7namespace CppClingo::Input {
8
11
13auto rewrite_theory(RewriteContext &ctx, Stm const &stm) -> std::optional<Stm>;
14
16
17} // namespace CppClingo::Input
CppClingo::Input::RewriteContext
Helper to pass arguments to rewrite functions.
Definition rewrite_context.hh:97
CppClingo::Input::rewrite_theory
auto rewrite_theory(RewriteContext &ctx, Stm const &stm) -> std::optional< Stm >
Parse theory atoms in the given statement with the given parser.
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