BrzozowskiAlgo Struct Template Reference

This is the class that really computes Brzozowski. More...

Inheritance diagram for BrzozowskiAlgo:

Inheritance graph
List of all members.

Public Types

typedef T_auto * T_auto_p
typedef std::pair< hstate_t,
bool > 
typedef std::map< Exp, StateMarked,
Comparator< BrzozowskiAlgo<
T_auto, Exp >, Exp > > 
typedef StateMap::iterator iterator

Public Member Functions

 BrzozowskiAlgo (const series_set_t &series, const Exp &exp)
void on_state (const Exp &e)

Detailed Description

template<typename T_auto, typename Exp>
struct vcsn::BrzozowskiAlgo< T_auto, Exp >

This is the class that really computes Brzozowski.

This class should be used only in brzozowski() and should not be instantiated from elsewhere.

This class defines the methods which are missing to IncAutomataConstructor to incrementally build an automaton, i.e. the function which must be applied on each state.

See also:

Definition at line 47 of file brzozowski.hxx.

Member Function Documentation

void on_state const Exp &  e  )  [inline]

FIXME: Optimize!

Definition at line 60 of file brzozowski.hxx.

References vcsn::canonical(), vcsn::constant_term(), vcsn::derivate(), IncAutomataConstructor< BrzozowskiAlgo< T_auto, Exp >, T_auto, Exp >::get(), and SELECT.

Generated on Fri Jul 28 12:33:51 2006 for Vaucanson by  doxygen 1.4.6