splitter_functor Struct Template Reference

Splitter for classical hopcroft minimization. More...

List of all members.

Public Member Functions

 splitter_functor (const input_t &input, hstate_t max_state, class_of_t &class_of)
bool compute_states_going_in (const hstates_t &ss, letter_t l)
 True if there's states going in states with letter l.
void operator() (hstate_t state)
 For each state, store its class (partition) and count.
void execute (partition_t &partition, to_treat_t &to_treat, unsigned &n_partition)
 Split partition if needed.

Public Attributes

const input_t & input_
hstates_t going_in_
class_of_t & class_of_
std::list< unsigned > maybe_splittable_
std::vector< unsigned > count_for_


Detailed Description

template<typename input_t>
struct vcsn::internal::hopcroft_minimization_det::splitter_functor< input_t >

Splitter for classical hopcroft minimization.

Functor for letter_rdeltaf.

Definition at line 51 of file minimization_hopcroft.hxx.


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