Inheritance diagram for int_set:

Collaboration diagram for int_set:

Public Types
typedef uint64_t *	iterator

Public Member Functions
	int_set ()

	int_set (uint64_t)

	int_set (const int_set &)

int_set &	operator= (const int_set &)

iterator	begin ()

iterator	end ()

vec< uint64_t, va_heap >	to_vec_legacy ()

Private Attributes
vec< uint64_t, va_heap, vl_embed >	m_auto

unsigned char	m_data [sizeof(uint64_t) *N]

Detailed Description

A simple set of transition labels.  Most transitions have a singleton
label, so try to make that case as efficient as possible.

Member Typedef Documentation

◆ iterator

typedef uint64_t* int_set::iterator

Constructor & Destructor Documentation

◆ int_set() [1/3]

int_set::int_set ( )

◆ int_set() [2/3]

int_set::int_set ( uint64_t label )

◆ int_set() [3/3]

int_set::int_set ( const int_set & other )

Member Function Documentation

◆ begin()

int_set::iterator int_set::begin ( )

Referenced by merge_into_decision().

◆ end()

int_set::iterator int_set::end ( )

Referenced by merge_into_decision().

◆ operator=()

int_set & int_set::operator= ( const int_set & other )

◆ to_vec_legacy()

vec< uint64_t , va_heap > auto_vec< uint64_t , N >::to_vec_legacy ( )

inlineinherited

Field Documentation

◆ m_auto

vec<uint64_t , va_heap, vl_embed> auto_vec< uint64_t , N >::m_auto

privateinherited

◆ m_data

unsigned char auto_vec< uint64_t , N >::m_data[sizeof(uint64_t ) *N]