Uses of Class
finiteAutomata.IntSet

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.