Next:
Preconditions
Up:
Algorithms
Previous:
Definition
Contents
Requirements on types
DFA1
and
DFA2
are models of DFA.
DFA1::char_type
is convertible to
DFA2::char_type
.
Vincent Le Maout 2003-07-08