preprocessor/c-api/evaluate_8hh_source.html

#include <clingo/input/program.hh>


#include <clingo/core/logger.hh>


#include <clingo/util/unordered_map.hh>


namespace CppClingo::Input {


[[nodiscard]] auto evaluate(SymbolStore &store, UnaryOperator op, Symbol rhs) -> std::optional<Symbol>;

[[nodiscard]] auto evaluate(SymbolStore &store, Symbol lhs, BinaryOperator op, Symbol rhs) -> std::optional<Symbol>;

[[nodiscard]] auto evaluate(Logger &log, SymbolStore &store, ConstMap const &map, Term const &term)

    -> std::optional<Symbol>;


void evaluate_const(Logger &log, SymbolStore &store, std::vector<StmConst> const &stms, ConstMap &res);


} // namespace CppClingo::Input

CppClingo::Logger
Simple logger to report message to stderr or via a callback.
Definition logger.hh:63

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::Input::evaluate
auto evaluate(SymbolStore &store, UnaryOperator op, Symbol rhs) -> std::optional< Symbol >
Evaluate the unary operator.

CppClingo::Input::evaluate_const
void evaluate_const(Logger &log, SymbolStore &store, std::vector< StmConst > const &stms, ConstMap &res)
Evaluate the given const statements storing the result in the given map.

CppClingo::Input::ConstMap
Util::ordered_map< SharedString, std::pair< StmConst, SharedSymbol > > ConstMap
Map from identifiers to constants.
Definition program.hh:34

CppClingo::Input::Term
std::variant< TermVariable, TermSymbol, TermTuple, TermFunction, TermAbs, TermUnary, TermBinary > Term
Variant holding the different term types.
Definition term.hh:45

CppClingo::Input::BinaryOperator
BinaryOperator
Enumeration of available binary operators.
Definition term.hh:258

CppClingo::Input::UnaryOperator
UnaryOperator
Enumeration of available unary operators.
Definition term.hh:226