CppClingo::Input::HdLitAggregate Class Reference

A head aggregate. More...

#include <head_literal.hh>

Inheritance diagram for CppClingo::Input::HdLitAggregate:

Public Member Functions
	HdLitAggregate (Location loc, LGuard lhs, AggregateFunction fun, HdLitAggregateElementArray elems, RGuard rhs)
	Construct a head set aggregate.
	HdLitAggregate (Location loc, AggregateFunction fun, HdLitAggregateElementArray elems)
	Construct a head set aggregate.
	HdLitAggregate (Location loc, AggregateFunction fun, HdLitAggregateElementArray elems, Relation rel, Term rhs)
	Construct a head set aggregate.
auto	loc () const -> Location const &
	The location of the aggregate.
auto	fun () const -> AggregateFunction
	The aggregate function.
auto	elems () const -> HdLitAggregateElementArray const &
	The vector of elements.
auto	lhs () const -> LGuard const &
	An optional left guard.
auto	rhs () const -> RGuard const &
	An optional right guard.
Public Member Functions inherited from CppClingo::Util::Record::Base< Rec >
template<auto tag>
auto	get_value () const -> decltype(auto)
	Get the attribute with the given tag.
template<class... Args> requires ValidArguments<Rec, Args...>
auto	update (Args &&...args) const
	See update_record().
template<class... Args> requires ValidArguments<Rec, Args...>
auto	rewrite (Args &&...args) const
	See rewrite_record().
auto	equal (Base const &other) const -> bool
	Equality compare to records.
auto	compare (Base const &other) const -> std::strong_ordering
	Compare to records.
auto	hash () const -> size_t
	Compute the hash of the record.

Static Public Member Functions
static constexpr auto	attributes ()
	The record attributes.

Detailed Description

A head aggregate.

For example: #count { X: p(X): q(X) } = 1

---

The documentation for this class was generated from the following file:

• clingo/input/head_literal.hh