|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
DFA | Created by IntelliJ IDEA. |
LayeredDFA | A layered automaton that offers the possibility to dynamically add or remove tuples incrementally. |
LightLayeredDFA | Automate |
LightState | Minimal data structure permitting to store a node and to enumerate his successors and predecessors. |
State | State |
Transition | A Transition is defined by its origine, destination and the symbol used to get from origin to destination |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |