preprocessor/c-api/unpool__relations_8hh_source.html

#pragma once


#include <clingo/input/rewrite.hh>


namespace CppClingo::Input {


[[nodiscard]] auto negate(Lit const &lit) -> Lit;


[[nodiscard]] auto unpool_relations(Lit const &lit, bool conjunctive) -> std::optional<LitArray>;


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


} // namespace CppClingo::Input

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

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

CppClingo::Input::unpool_relations
auto unpool_relations(Lit const &lit, bool conjunctive) -> std::optional< LitArray >
Unpool non-binary relation literals.

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::UnaryOperator::negate
@ negate
The unary negation sign (~).