|
|
| adjlist (unsigned max_states=10, unsigned max_trans=0) |
| |
|
template<typename... Args> |
| unsigned | new_state (Args &&... args) |
| |
|
template<typename... Args> |
| unsigned | new_states (unsigned n, Args &&... args) |
| |
|
internal::boxed_label< State_Data >::data_t & | state_data (unsigned s) |
| |
|
const internal::boxed_label< State_Data >::data_t & | state_data (unsigned s) const |
| |
|
void | new_edge (unsigned src, unsigned dst) |
| |
|
successor_range | out (unsigned state) const |
| |
|
unsigned | num_states () const |
| |
|
unsigned | num_edges () const |
| |
The documentation for this class was generated from the following file:
