SIS
Symmetric Index Structures
|
#include <automaton.h>
Data Fields | |
UINTSequence * | initialStates |
UINTSequence * | transitionsFrom |
VoidSequence * | transitionsLabel |
UINTSequence * | transitionsTo |
UINTSequence * | statesTransitions |
UINTSequence * | statesNumberOfTransitions |
BitSequence * | statesFinality |
TarjanTable * | tt |
UINT | type |
Definition at line 25 of file automaton.h.
UINTSequence* Automaton::initialStates |
Definition at line 26 of file automaton.h.
BitSequence* Automaton::statesFinality |
Definition at line 32 of file automaton.h.
UINTSequence* Automaton::statesNumberOfTransitions |
Definition at line 31 of file automaton.h.
UINTSequence* Automaton::statesTransitions |
Definition at line 30 of file automaton.h.
UINTSequence* Automaton::transitionsFrom |
Definition at line 27 of file automaton.h.
VoidSequence* Automaton::transitionsLabel |
Definition at line 28 of file automaton.h.
UINTSequence* Automaton::transitionsTo |
Definition at line 29 of file automaton.h.
TarjanTable* Automaton::tt |
Definition at line 33 of file automaton.h.
UINT Automaton::type |
Definition at line 34 of file automaton.h.