CppClingo::Util::Record::AttributeValue< T, C, V > Struct Template Reference

Helper to capture a value bound by an attribute. More...

#include <record.hh>

Public Types
using	Val = V
	The type of the stored value.

Public Member Functions
constexpr	AttributeValue (Val val)
	Construct a bound attribute.

Public Attributes
Val	val
	The value of the attribute.

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, auto C, class V>
struct CppClingo::Util::Record::AttributeValue< T, C, V >

Helper to capture a value bound by an attribute.

---

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

• clingo/util/record.hh