spot::internal::boxed_label< Data, boxed > Struct Template Reference

Inheritance diagram for spot::internal::boxed_label< Data, boxed >:

Collaboration diagram for spot::internal::boxed_label< Data, boxed >:

Public Types
typedef Data	data_t

Public Member Functions
template<typename... Args, typename = typename std::enable_if< !first_is_base_of<boxed_label, Args...>::value>::type>
	boxed_label (Args &&... args) noexcept(std::is_nothrow_constructible< Data, Args... >::value)
Data &	data ()
const Data &	data () const
bool	operator< (const boxed_label &other) const

Public Attributes
Data	label

---

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

• spot/graph/graph.hh