spot 2.14.5
Loading...
Searching...
No Matches
spot::internal::boxed_label< void, true > Struct Reference
Inheritance diagram for spot::internal::boxed_label< void, true >:
Collaboration diagram for spot::internal::boxed_label< void, true >:

Public Types

typedef std::tuple data_t

Public Member Functions

std::tuple & data ()
const std::tuple & data () const
 boxed_label (Args &&... args) noexcept(std::is_nothrow_constructible< void, Args... >::value)
bool operator< (const boxed_label &other) const

Public Attributes

void label

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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on for spot by doxygen 1.15.0