BrzozowskiAlgo Struct Template Reference

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

Inheritance diagram for BrzozowskiAlgo:

[legend]List of all members.

Public Types
typedef T_auto *	T_auto_p
typedef std::pair< hstate_t, bool >	StateMarked
typedef std::map< Exp, StateMarked, Comparator< BrzozowskiAlgo< T_auto, Exp >, Exp > >	StateMap
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:

brzozowski()

Definition at line 47 of file brzozowski.hxx.

---

Member Function Documentation

void on_state (  const Exp &  e  )  [inline]

Bug: 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.

---