Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <UnorderedDFTA.h>
Trait to detect whether the type parameter T is or is not UnorderedDFTA. Derived from std::true_type.
Specialisation for UnorderedDFTA.
SymbolType | used for the terminal alphabet of the automaton |
StateType | used for the terminal alphabet of the automaton |