preprocessor/c-api/substitute_8hh_source.html

#pragma once


#include <clingo/input/rewrite/rewrite_context.hh>


namespace CppClingo::Input {


[[nodiscard]] auto map_params(RewriteContext &ctx, Location const &loc, Symbol const &sym) -> std::variant<Symbol, Stm>;


[[nodiscard]] auto map_params(RewriteContext &ctx, Term const &term) -> std::optional<Term>;


[[nodiscard]] auto map_params(RewriteContext &ctx, Lit const &lit) -> std::optional<Lit>;


[[nodiscard]] auto map_params(RewriteContext &ctx, HdLit const &lit) -> std::optional<HdLit>;


[[nodiscard]] auto map_params(RewriteContext &ctx, BdLit const &lit) -> std::optional<BdLit>;


[[nodiscard]] auto map_params(RewriteContext &ctx, Stm const &stm) -> std::optional<Stm>;


[[nodiscard]] auto unmap_params(SymbolStore &store, ParamUnmap const &map, Stm const &stm) -> std::optional<Stm>;


void collect_ids(Symbol const &sym, StringSet &ids);


void collect_ids(Stm const &stm, StringSet &ids);


auto substitute(RewriteContext &ctx, Stm const &stm) -> Util::ResultState<Stm, TruthValue>;


} // namespace CppClingo::Input

CppClingo::Input::RewriteContext
Helper to pass arguments to rewrite functions.
Definition rewrite_context.hh:97

CppClingo::Location
The Location of an expression in an input source.
Definition location.hh:44

CppClingo::SymbolStore
A store for symbols.
Definition symbol.hh:454

CppClingo::Symbol
Variant-like class to store symbols stored in a symbol store.
Definition symbol.hh:225

CppClingo::StringSet
Util::unordered_set< String > StringSet
A set of strings.
Definition symbol.hh:83

CppClingo::Input::BdLit
std::variant< BdLitSimple, BdLitConjunction, BdLitAggregate, BdLitSetAggregate, BdLitTheoryAtom > BdLit
A body literal.
Definition body_literal.hh:116

CppClingo::Input::HdLit
std::variant< HdLitSimple, HdLitDisjunction, HdLitAggregate, HdLitSetAggregate, HdLitTheoryAtom > HdLit
A head literal.
Definition head_literal.hh:130

CppClingo::Input::Lit
std::variant< LitBool, LitComparison, LitSymbolic > Lit
Variant holding the different literal types.
Definition literal.hh:129

CppClingo::Input::ParamUnmap
Util::ordered_map< SharedString, SharedString > ParamUnmap
Map from parameters to their replacements.
Definition program.hh:37

CppClingo::Input::collect_ids
void collect_ids(Symbol const &sym, StringSet &ids)
Collect all ids appearing in the symbol.

CppClingo::Input::unmap_params
auto unmap_params(SymbolStore &store, ParamUnmap const &map, Stm const &stm) -> std::optional< Stm >
Replace all variables with the given names in the statement.

CppClingo::Input::substitute
auto substitute(RewriteContext &ctx, Stm const &stm) -> Util::ResultState< Stm, TruthValue >
Substitute variables in terms of form X=term in the statement.

CppClingo::Input::map_params
auto map_params(RewriteContext &ctx, Location const &loc, Symbol const &sym) -> std::variant< Symbol, Stm >
Replace all parameters in the given fact.

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::Term
std::variant< TermVariable, TermSymbol, TermTuple, TermFunction, TermAbs, TermUnary, TermBinary > Term
Variant holding the different term types.
Definition term.hh:45

CppClingo::Util::ResultState
The result of a simplification.
Definition optional.hh:128