| compute_going_in_states(partition_t &p, letter_t a) | quotient_splitter | [inline] |
| going_in_t typedef | quotient_splitter | |
| operator()(hstate_t s) | quotient_splitter | [inline] |
| quotient_splitter(const automaton_t &input, class_of_t &class_of, unsigned max_states) | quotient_splitter | [inline] |
| split(partition_set_t &part, unsigned &max_partitions) | quotient_splitter | [inline] |
1.5.2