Uses of Class
jflex.state.StateSet
-
Packages that use StateSet Package Description jflex.core jflex.state -
-
Uses of StateSet in jflex.core
Methods in jflex.core that return StateSet Modifier and Type Method Description StateSet
NFA. epsilon(int i)
StateSet
NFA. reachableStates(int currentState, int nextChar)
Returns the set of states that can be reached from currentState with an input nextChar.StateSet
NFA. tempStateSet()
Methods in jflex.core with parameters of type StateSet Modifier and Type Method Description boolean
NFA. containsFinal(StateSet set)
Returnstrue
, iff the specified set of states contains a final state.Action
NFA. getAction(StateSet set)
Returns the action with highest priority in the specified set of states. -
Uses of StateSet in jflex.state
Fields in jflex.state declared as StateSet Modifier and Type Field Description static StateSet
StateSet. EMPTY
The empty set of statesMethods in jflex.state that return StateSet Modifier and Type Method Description StateSet
StateSet. complement(StateSet univ)
Returns the complement of this set with respect to the specified set, that is, the set of elements that are contained in the specified set but are not contained in this set.StateSet
StateSet. copy()
Return a copy of this StateSet.static StateSet
StateSet. emptySet(int length)
Return a new StateSet of the specified length.Methods in jflex.state with parameters of type StateSet Modifier and Type Method Description void
StateSet. add(StateSet set)
Add all elements of the specified StateSet to this one.StateSet
StateSet. complement(StateSet univ)
Returns the complement of this set with respect to the specified set, that is, the set of elements that are contained in the specified set but are not contained in this set.boolean
StateSet. contains(StateSet set)
Determine if the given set is a subset of this set.void
StateSet. copy(StateSet set)
Copy specified StateSet into this.void
StateSet. intersect(StateSet set)
Remove all states fromthis
that are not contained in the providedStateSet
.void
StateSetEnumerator. reset(StateSet states)
Reset this enumerator/iterator and associate it with a given StateSet.Constructors in jflex.state with parameters of type StateSet Constructor Description StateSet(StateSet set)
Copy the specified StateSet to create a new one.StateSetEnumerator(StateSet states)
Construct a StateSetEnumerator for a given StateSet.
-