BrzozowskiAlgo Struct Template Reference

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

List of all members.

Public Member Functions
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()

---

Member Function Documentation

void on_state (  const Exp &  e  )  [inline]

Bug: FIXME: Optimize!

---