Public Member Functions | |
| transition_adder_functor (const input_t &input, output_t &output, const class_of_t &class_of) | |
| void | execute (hstate_t representative) |
| Add the transitions needed by representative. | |
| void | operator() (htransition_t t) |
Public Attributes | |
| const input_t & | input_ |
| output_t & | output_ |
| const class_of_t & | class_of_ |
| unsigned | src_ |
Definition at line 144 of file minimization_hopcroft.hxx.
1.5.1