|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of IntSet in finiteAutomata |
---|
Methods in finiteAutomata that return IntSet | |
---|---|
IntSet |
DFA.accessible()
Returns all the states which are reachable from start. |
IntSet |
DFA.accessible(IntSet S,
int steps)
Returns all the states which are reachable from a given set of states in a given number of steps. |
IntSet |
DFA.finalStates()
Returns the set of state numbers of all final states. |
IntSet[] |
NFA.getE()
Returns the "E" array, where E[i] = set of all states reachable from state i in 0-or-more epsilon transitions. |
IntSet |
NFA.getE(IntSet set)
Returns set of all states which are reachable from at least one state in the given set via 0-or-more epsilon transitions. |
IntSet |
NFA.getFinalSet()
Returns the set of final states. |
IntSet |
NFA.reachable(int s,
char c)
Returns set of all states which are reachable from the given state on consuming the given input symbol. |
IntSet |
NFA.reachable(IntSet set,
char c)
Returns set of all states which are reachable from at least one state in the given set on consuming the given input symbol. |
static IntSet |
IntSet.setValue(int i)
Calculates a unique IntSet of non-negative integers corresponding a given integer i >= 0 (bijection from W to finite subsets of W). |
IntSet |
IntSet.union(IntSet other)
Adds all the elements of "other" to this IntSet, forming the union. |
Methods in finiteAutomata with parameters of type IntSet | |
---|---|
IntSet |
DFA.accessible(IntSet S,
int steps)
Returns all the states which are reachable from a given set of states in a given number of steps. |
IntSet |
NFA.getE(IntSet set)
Returns set of all states which are reachable from at least one state in the given set via 0-or-more epsilon transitions. |
IntSet |
NFA.reachable(IntSet set,
char c)
Returns set of all states which are reachable from at least one state in the given set on consuming the given input symbol. |
boolean |
IntSet.subsetOf(IntSet other)
Returns true if "this" is a subset of "other". |
IntSet |
IntSet.union(IntSet other)
Adds all the elements of "other" to this IntSet, forming the union. |
Constructors in finiteAutomata with parameters of type IntSet | |
---|---|
IntSet(IntSet current)
Copy constructor. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |