Data Fields | |
| Automate * | lAuto |
| LexicalDataType | type |
| LongArray * | graphy |
| LongArray * | duplicate |
| LongStack * | exploration_stack |
| signed long | currentDuplicate |
| size_t | current_state |
| PtrTrans | current_transition |
| size_t | next_state |
| size_t | current_length |
| UniqId | current_id |
| LongStack * | state_stack |
Store the current UniqId of the current word, only works if explored depth first
Store the lenght of the word being explored character by character
Store the current state when exploring character by character
| PtrTrans LexicalAutomaton::current_transition |
Store the current transition when exploring character by character
| signed long LexicalAutomaton::currentDuplicate |
Store the currentDuplicate for the exploration of the lexicon (used in GetNextEntry)
This is the inverse array of graphy, i.e. it stores the index in the graphy array of the unique identifier of an entry. For all i,j different from DOUBLON_UNIQ: graphy[i] = j <=> duplicate[j] = i the length of this array is equal to the number of unique entry in the lexicon
Store the current position in the stored entries inventory
Store the unique identifier of all duplicates the length of this array equals the number of duplicates in the lexicon
| Automate* LexicalAutomaton::lAuto |
Numerized automaton of unique strings
| size_t LexicalAutomaton::next_state |
Store the next state when exploring character by character
Store the information for each currently explored characters
The type of the automanton. For now, only CHARACTER is supported, UNSIGNED_LONG will be when there is a function that can add a ulong sequence in an automaton
1.4.7