Clingo
Loading...
Searching...
No Matches
project_anonymous.hh
1#pragma once
2
3#include <clingo/input/program.hh>
4
5namespace CppClingo::Input {
6
9
11[[nodiscard]] auto project_anonymous(Term const &term) -> std::optional<Term>;
12
14[[nodiscard]] auto project_anonymous(Lit const &lit) -> std::optional<Lit>;
15
17[[nodiscard]] auto project_anonymous(HdLit const &lit) -> std::optional<HdLit>;
18
20[[nodiscard]] auto project_anonymous(BdLit const &lit) -> std::optional<BdLit>;
21
23[[nodiscard]] auto project_anonymous(Stm const &stm) -> std::optional<Stm>;
24
26
27} // namespace CppClingo::Input
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::project_anonymous
auto project_anonymous(Term const &term) -> std::optional< Term >
Project positional anonymous variables in the term.
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