quotient_splitter Class Template Reference

List of all members.

Public Types

typedef std::vector< bool > going_in_t

Public Member Functions

 quotient_splitter (const automaton_t &input, class_of_t &class_of, unsigned max_states)
bool compute_going_in_states (partition_t &p, letter_t a)
 True if there's states going in states of p with letter a.
void operator() (hstate_t s)
 For each state, store its class (partition) and count.
void split (partition_set_t &part, unsigned &max_partitions)
 Split partition b if needed.

Detailed Description

template<typename input_t>
class vcsn::internal::hopcroft_minimization_undet::quotient_splitter< input_t >

Definition at line 312 of file minimization_hopcroft.hxx.


Generated on Wed Jun 13 17:03:35 2007 for Vaucanson by  doxygen 1.5.1