Clingo
Loading...
Searching...
No Matches
CppClingo::Input::Expression< T > Class Template Reference

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

#include <attributes.hh>

Inheritance diagram for CppClingo::Input::Expression< T >:
CppClingo::Util::Record::Base< T >

Friends

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::Expression< T >

A record that friend declares and defines comparison operators.


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