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_ |
hstate_t | src_ |
Definition at line 138 of file minimization_hopcroft.hxx.