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&);
  ...
};