DMChooser Struct Reference

Choose a state accordingly to an heuristic. More...

List of all members.

Public Member Functions

template<class Auto_>
Auto_::hstate_t operator() (const Auto_ &a) const


Detailed Description

Choose a state accordingly to an heuristic.

See also:
CIAA 2004, "Approximation to the Samllest Regular Expression for a Given Regular Language" by M. Delago et J. Morais

Definition at line 128 of file aut_to_exp.hh.


Member Function Documentation

Auto_::hstate_t operator() ( const Auto_ &  a  )  const [inline]

Precondition:
a must not be the empty automaton.

Definition at line 172 of file aut_to_exp.hxx.


Generated on Thu Sep 17 22:01:56 2009 for Vaucanson by  doxygen 1.5.6