Clingo
Loading...
Searching...
No Matches
safety.hh
1#pragma once
2
3#include <clingo/input/program.hh>
4
5#include <clingo/util/optional.hh>
6
7namespace CppClingo::Input {
8
11
16[[nodiscard]] auto check_safety(Logger &log, Stm const &stm) -> Util::ResultState<Stm>;
17
19
20} // namespace CppClingo::Input
CppClingo::Logger
Simple logger to report message to stderr or via a callback.
Definition logger.hh:63
CppClingo::Input::check_safety
auto check_safety(Logger &log, Stm const &stm) -> Util::ResultState< Stm >
Check whether the given statement is safe.
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