next up previous
Next: The algorithms Up: Interface for DFAs Previous: Warning

Remarks

Methods with a * are not supported by DFA_compact since a compact automaton is only constructed by copy. It has then no default constructor, it must be copied or read from a stream. Definition is as follow :
template <class DFA>
class DFA_compact
{
  public:
    DFA_compact(const DFA&);
    DFA_compact(istream&);
  ...
};


Vincent Lemaout
12/9/1997