CppClingo::Input::RecursiveExpression< T > Class Template Reference

A record that friend declares comparison operators. More...

#include <attributes.hh>

Inheritance diagram for CppClingo::Input::RecursiveExpression< T >:

Friends
CLINGO_IGNORE_NON_TEMPLATE_FRIEND_B friend auto	operator== (T const &a, T const &b) -> bool
	Compare two records.
auto	operator<=> (T const &a, T const &b) -> std::strong_ordering
	Compare two records.

Additional Inherited Members
Public Member Functions inherited from CppClingo::Util::Record::Base< T >
auto	get_value () const -> decltype(auto)
	Get the attribute with the given tag.
auto	update (Args &&...args) const
	See update_record().
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.

Detailed Description

template<class T>
class CppClingo::Input::RecursiveExpression< T >

A record that friend declares comparison operators.

---

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

• clingo/input/attributes.hh