

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] |
A simple set of transition labels. Most transitions have a singleton label, so try to make that case as efficient as possible.
| typedef uint64_t* int_set::iterator |
| int_set::int_set | ( | ) |
References auto_vec< uint64_t, 1 >::auto_vec().
Referenced by int_set(), and operator=().
| int_set::int_set | ( | uint64_t | label | ) |
References auto_vec< uint64_t, 1 >::auto_vec().
| int_set::int_set | ( | const int_set & | other | ) |
References auto_vec< uint64_t, 1 >::auto_vec(), and int_set().
| int_set::iterator int_set::begin | ( | ) |
Referenced by merge_into_decision(), and mutually_exclusive_p().
| int_set::iterator int_set::end | ( | ) |
Referenced by merge_into_decision(), and mutually_exclusive_p().