Go to the source code of this file.
The Skeleton class. (undocumented-internal)
Skeleton
This file describe the skeleton of an automaton, i.e. a certain view of an automaton through vectors.
Definition in file skeleton.hh.