CppClingo::Util::Record::Base< Rec > Class Template Reference

Record base class to enable keyword argument based record updates. More...

#include <record.hh>

Inheritance diagram for CppClingo::Util::Record::Base< Rec >:

Public Member Functions
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.

Detailed Description

template<class Rec>
class CppClingo::Util::Record::Base< Rec >

Record base class to enable keyword argument based record updates.

Also generates convenient functions and enables meta programming involving the named attributes of the record.

---

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

• clingo/util/record.hh