CppClingo::Input::TermAbs Class Reference

Term representing the absolute function. More...

#include <term.hh>

Inheritance diagram for CppClingo::Input::TermAbs:

Public Member Functions
	TermAbs (Location loc, TermArray pool)
	Construct an absolute term.
auto	loc () const -> Location const &
	The location of the function.
auto	pool () const -> TermArray const &
	The argument pool of the absolute term.
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.

Friends
auto	operator== (TermAbs const &a, TermAbs const &b) -> bool
	Compare two absolute terms.
auto	operator<=> (TermAbs const &a, TermAbs const &b) -> std::strong_ordering
	Compare two absolute terms.

Detailed Description

Term representing the absolute function.

For example |-X|.

Constructor & Destructor Documentation

TermAbs()

CppClingo::Input::TermAbs::TermAbs ( Location  loc, TermArray  pool  )

inlineexplicit

Construct an absolute term.

The term has a pool of arguments, which will be reduced to a single element after calling Term::unpool().

---

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

• clingo/input/term.hh