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] |