Aggregates

Common data structures and functions for head and body aggregates. More...

using	CppClingo::Input::LGuard = std::optional< std::pair< Term, Relation > >
using	CppClingo::Input::RGuard = std::optional< std::pair< Relation, Term > >
	An optional right guard of an aggregate.
using	CppClingo::Input::SetAggregateElementArray = Util::immutable_array< SetAggregateElement >
	A vector of set aggregate elements.
using	CppClingo::Input::HdLitSetAggregate = SetAggregate< false >
	A head set aggregate.
using	CppClingo::Input::BdLitSetAggregate = SetAggregate< true >
	A body set aggregate.
auto	CppClingo::Input::reduct_is_nonmonotone (LGuard const &lhs, AggregateFunction fun, RGuard const &rhs) -> bool
	Check whether the given aggregate function/guard combination can result in a nonmonotone aggregate.
auto	CppClingo::Input::reduct_is_monotone (LGuard const &lhs, AggregateFunction fun, RGuard const &rhs) -> bool
	Check whether the given aggregate function/guard combination is monotone.

Detailed Description

Common data structures and functions for head and body aggregates.

Typedef Documentation

LGuard

using CppClingo::Input::LGuard = typedef std::optional<std::pair<Term, Relation> >

An optional left guard of an aggregate.