A named attribute. More...

#include <record.hh>

Public Member Functions
template<class Val >
constexpr auto	operator= (Val &&val) const
	Helper to bind an attribute to a value.

Static Public Attributes
static constexpr auto	tag = T
	The tag of the attribute.

static constexpr auto	compare = C
	Whether the attribute is relevant for comparison.

Detailed Description

template<auto T, bool C = true>
struct CppClingo::Util::Record::AttributeName< T, C >

A named attribute.

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

Public Member Functions