preprocessor/c-api/compute__bounds_8hh_source.html

#pragma once


#include <clingo/input/program.hh>


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


#include <clingo/util/optional.hh>


namespace CppClingo::Input {


[[nodiscard]] auto compute_bounds(RewriteContext &ctx, Stm const &stm) -> Util::ResultState<Stm>;


} // namespace CppClingo::Input

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

CppClingo::Input::compute_bounds
auto compute_bounds(RewriteContext &ctx, Stm const &stm) -> Util::ResultState< Stm >
Compute bounds from comparisons and intervals.

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::Util::ResultState
The result of a simplification.
Definition optional.hh:128