Uses of Interface
laser.regularlanguage.fsa.FSAStateInterface

Packages that use FSAStateInterface
laser.regularlanguage.fsa Contains classes for creating and manipulating finite state automata (FSAs). 
laser.regularlanguage.fsa.test   
laser.regularlanguage.fsa.util Utility classes commonly useful for FSAs.
 
laser.regularlanguage.fsa.util.test   
laser.regularlanguage.util Utility classes commonly useful for regular languages (RLs). 
 

Uses of FSAStateInterface in laser.regularlanguage.fsa
 

Classes in laser.regularlanguage.fsa that implement FSAStateInterface
 class FSAState<L extends LabelInterface>
          An FSAState represents a state in an FSA of type FSAInterface.
 

Fields in laser.regularlanguage.fsa declared as FSAStateInterface
protected  FSAStateInterface<L> AbstractFSA._startState
          The start state of this FSA, q0.
 

Fields in laser.regularlanguage.fsa with type parameters of type FSAStateInterface
protected  java.util.SortedSet<FSAStateInterface<L>> AbstractFSA._states
          The set of states of this FSA, Q.
protected  java.util.Map<FSAStateInterface<L>,java.util.Map<FSAStateInterface<L>,java.util.SortedSet<FSATransitionInterface<L>>>> AbstractFSA._transitionIndex
          The top level of a hierarchical structure of Maps that provides the functionality to efficiently retrieve transitions based on their source and target states.
protected  java.util.Map<FSAStateInterface<L>,java.util.Map<FSAStateInterface<L>,java.util.SortedSet<FSATransitionInterface<L>>>> AbstractFSA._transitionIndex
          The top level of a hierarchical structure of Maps that provides the functionality to efficiently retrieve transitions based on their source and target states.
 

Methods in laser.regularlanguage.fsa that return FSAStateInterface
protected  FSAStateInterface<L> AbstractFSAFactory._copyStateInto(FSAInterface<L> fsa, FSAStateInterface<L> state, int id)
          Creates a new FSAStateInterface in the given FSA with the same ID and name as the specified state.
protected  FSAStateInterface<L> AbstractFSAFactory._createFSAStateInterface(FSAInterface<L> fsa, int id, boolean accept, java.lang.Object... args)
          Returns a new FSAStateInterface in the given FSA with the specified ID using the specified arguments.
 FSAStateInterface<L> MutableFSAInterface.addState(java.lang.Object... args)
          Creates a new state and adds it to this FSA, returning a reference to the new state.
 FSAStateInterface<L> AbstractMutableFSA.addState(java.lang.Object... args)
          Creates a new state and adds it to this FSA, returning a reference to the new state.
 FSAStateInterface<L> MutableFSAInterface.copyState(FSAStateInterface<L> state, boolean setStart, boolean setAccept)
          Copies the given FSA state into this FSA.
 FSAStateInterface<L> AbstractMutableFSA.copyState(FSAStateInterface<L> state, boolean setStart, boolean setAccept)
          Copies the given FSA state into this FSA.
 FSAStateInterface<L> FSATransitionInterface.getSource()
          Returns the state that is the source of this transition (the result of evaluating the source function of the FSA that contains this transition with this transition as input).
 FSAStateInterface<L> AbstractFSATransition.getSource()
          Returns the state that is the source of this transition (the result of evaluating the source function of the FSA that contains this transition with this transition as input).
 FSAStateInterface<L> FSAInterface.getStartState()
          Returns the start state, q0, of the FSA.
 FSAStateInterface<L> AbstractMutableFSA.getStartState()
          Returns the start state, q0, of the FSA.
 FSAStateInterface<L> AbstractFSA.getStartState()
          Returns the start state, q0, of the FSA.
 FSAStateInterface<L> FSAInterface.getStateWithID(int id)
          Returns the state of this FSA with the specified id number.
 FSAStateInterface<L> AbstractFSA.getStateWithID(int id)
          Returns the state of this FSA with the specified id number.
 FSAStateInterface<L> FSATransitionInterface.getTarget()
          Returns the state that is the target of this transition (the result of evaluating the target function of the FSA that contains this transition with this transition as input).
 FSAStateInterface<L> AbstractFSATransition.getTarget()
          Returns the state that is the target of this transition (the result of evaluating the target function of the FSA that contains this transition with this transition as input).
 FSAStateInterface<L> MutableFSAInterface.makeTotal()
          Makes this FSA total if it is not already.
 FSAStateInterface<L> AbstractMutableFSA.makeTotal()
          Makes this FSA total if it is not already.
 FSAStateInterface<L> TotalFSATransformer.makeTotal(MutableFSAInterface<L> fsa, java.lang.Object[] trapStateArgs, java.lang.Object[] trapTransitionArgs)
          Makes the given FSA total if it is not already.
 FSAStateInterface<L> TargetStateIterator.next()
          Returns the next element of this Iterator if it exists.
 FSAStateInterface<L> SourceStateIterator.next()
          Returns the next element of this Iterator if it exists.
 

Methods in laser.regularlanguage.fsa that return types with arguments of type FSAStateInterface
 java.util.Map<? extends FSAStateInterface<L>,? extends FSAStateInterface<L>> MutableFSAInterface.copy(FSAInterface<L> fsa, boolean setAttributes, boolean setStart, boolean setAccept)
          Copies the given FSA into this FSA.
 java.util.Map<? extends FSAStateInterface<L>,? extends FSAStateInterface<L>> MutableFSAInterface.copy(FSAInterface<L> fsa, boolean setAttributes, boolean setStart, boolean setAccept)
          Copies the given FSA into this FSA.
 java.util.Map<FSAStateInterface<L>,FSAStateInterface<L>> AbstractMutableFSA.copy(FSAInterface<L> fsa, boolean setAttributes, boolean setStart, boolean setAccept)
          Copies the given FSA into this FSA.
 java.util.Map<FSAStateInterface<L>,FSAStateInterface<L>> AbstractMutableFSA.copy(FSAInterface<L> fsa, boolean setAttributes, boolean setStart, boolean setAccept)
          Copies the given FSA into this FSA.
protected  java.util.SortedSet<FSAStateInterface<L>> FSATransitionTable.epsilonClosure(FSAStateInterface<L> state)
          A helper method for the RunnableFSAInterface.runForwards(SortedSet, LabelInterface) method that deals with epsilon transitions.
protected  java.util.SortedSet<FSAStateInterface<L>> DFATransitionTable.epsilonClosure(FSAStateInterface<L> state)
          This method is not supported.
protected abstract  java.util.SortedSet<FSAStateInterface<L>> AbstractFSATransitionTable.epsilonClosure(FSAStateInterface<L> state)
          A helper method for the RunnableFSA.getInitialConfigurationForwards() method.
 java.util.SortedSet<? extends FSAStateInterface<L>> FSAInterface.getAcceptStates()
          Returns the set A, the accept states of the FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.getAcceptStates()
          Returns an unmodifiable view of the set A, the accept states of the FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractFSA.getAcceptStates()
          Returns an unmodifiable view of the set A, the accept states of this FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.getInitialConfigurationForwards()
          Returns the SortedSet of states in the initial configuration of this FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSA.getInitialConfigurationForwards()
          Returns a SortedSet containing the initial states of this FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableDFA.getInitialConfigurationForwards()
          Returns a SortedSet containing the initial states of this FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> FSAInterface.getNonAcceptStates()
          Returns the non-accept states of the FSA, QA.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.getNonAcceptStates()
          Returns an unmodifiable view of the set QA, the non-accept states of this FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractFSA.getNonAcceptStates()
          Returns an unmodifiable view of the set QA, of this FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> FSAInterface.getStates()
          Returns the set Q, the states of the FSA.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractFSA.getStates()
          Returns an unmodifiable view of the set Q, the states of the FSA.
protected  java.util.SortedSet<FSAStateInterface<L>> FSATransitionTable.moveClosure(FSAStateInterface<L> state, L label)
          A helper method for the RunnableFSAInterface.runForwards(SortedSet, LabelInterface) method that deals with label transitions.
protected  java.util.SortedSet<FSAStateInterface<L>> DFATransitionTable.moveClosure(FSAStateInterface<L> state, L label)
          A helper method for the RunnableFSAInterface.runForwards(SortedSet, LabelInterface) method that deals with label transitions.
protected abstract  java.util.SortedSet<FSAStateInterface<L>> AbstractFSATransitionTable.moveClosure(FSAStateInterface<L> state, L label)
          A helper method for the AbstractRunnableFSA.runForwards(java.util.SortedSet>, L) method.
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.runBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, L label)
          Runs this FSA backwards from the specified starting configuration, returning the reachable state(s) given the specified label (optional operation).
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.runBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, L label)
          Runs this FSA backwards from the specified starting configuration, returning the reachable state(s) given the specified label (optional operation).
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.runBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Runs this FSA backwards from the specified starting configuration, returning the reachable state(s) given the specified input string (optional operation).
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.runBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Runs this FSA backwards from the specified starting configuration, returning the reachable state(s) given the specified input string (optional operation).
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.runForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, L label)
          Runs this FSA forwards from the specified starting configuration, returning the reachable state(s) given the specified label.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.runForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, L label)
          Runs this FSA forwards from the specified starting configuration, returning the reachable state(s) given the specified label.
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.runForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Runs this FSA forwards from the specified starting configuration, returning the reachable state(s) given the specified input string.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.runForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Runs this FSA forwards from the specified starting configuration, returning the reachable state(s) given the specified input string.
 

Methods in laser.regularlanguage.fsa with parameters of type FSAStateInterface
protected  void AbstractFSA._checkState(FSAStateInterface<L> state)
          Checks the specified state, making sure it is not null and is a part of this FSA.
protected  FSAStateInterface<L> AbstractFSAFactory._copyStateInto(FSAInterface<L> fsa, FSAStateInterface<L> state, int id)
          Creates a new FSAStateInterface in the given FSA with the same ID and name as the specified state.
protected  FSATransitionInterface<L> AbstractFSAFactory._copyTransitionInto(FSAInterface<L> fsa, FSATransitionInterface<L> transition, int id, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new FSATransitionInterface in the given FSA with the same ID as the specified transition.
protected  FSATransitionInterface<L> AbstractFSAFactory._copyTransitionInto(FSAInterface<L> fsa, FSATransitionInterface<L> transition, int id, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new FSATransitionInterface in the given FSA with the same ID as the specified transition.
protected  FSAEpsilonTransitionInterface<L> AbstractFSAFactory._createFSAEpsilonTransitionInterface(int id, FSAStateInterface<L> source, FSAStateInterface<L> target, java.lang.Object... args)
          Returns a new FSAEpsilonTransitionInterface with the specified source and target states and ID using the specified arguments.
protected  FSAEpsilonTransitionInterface<L> AbstractFSAFactory._createFSAEpsilonTransitionInterface(int id, FSAStateInterface<L> source, FSAStateInterface<L> target, java.lang.Object... args)
          Returns a new FSAEpsilonTransitionInterface with the specified source and target states and ID using the specified arguments.
protected  FSALabelPatternTransitionInterface<L> AbstractFSAFactory._createFSALabelPatternTransitionInterface(int id, FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target, java.lang.Object... args)
          Returns a new FSALabelPatternTransitionInterface with the specified source and target states, ID, and LabelPattern using the specified arguments.
protected  FSALabelPatternTransitionInterface<L> AbstractFSAFactory._createFSALabelPatternTransitionInterface(int id, FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target, java.lang.Object... args)
          Returns a new FSALabelPatternTransitionInterface with the specified source and target states, ID, and LabelPattern using the specified arguments.
protected  FSALabelTransitionInterface<L> AbstractFSAFactory._createFSALabelTransitionInterface(int id, FSAStateInterface<L> source, L label, FSAStateInterface<L> target, java.lang.Object... args)
          Returns a new FSALabelTransitionInterface with the specified source and target states, ID, and Label using the specified arguments.
protected  FSALabelTransitionInterface<L> AbstractFSAFactory._createFSALabelTransitionInterface(int id, FSAStateInterface<L> source, L label, FSAStateInterface<L> target, java.lang.Object... args)
          Returns a new FSALabelTransitionInterface with the specified source and target states, ID, and Label using the specified arguments.
protected  void AbstractFSA._internalRemoveState(FSAStateInterface<L> state)
          Removes the specified state from the internal data structures of this FSA.
 FSAEpsilonTransitionInterface<L> MutableFSAInterface.addEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target, java.lang.Object... args)
          Adds an epsilon (ε) transition to this FSA from the specified source state to the specified target state, and returns a reference to the newly created transition (optional operation).
 FSAEpsilonTransitionInterface<L> MutableFSAInterface.addEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target, java.lang.Object... args)
          Adds an epsilon (ε) transition to this FSA from the specified source state to the specified target state, and returns a reference to the newly created transition (optional operation).
 FSAEpsilonTransitionInterface<L> MutableFSA.addEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target, java.lang.Object... args)
          Adds an epsilon (ε) transition to this FSA from the specified source state to the specified target state, and returns a reference to the newly created transition (optional operation).
 FSAEpsilonTransitionInterface<L> MutableFSA.addEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target, java.lang.Object... args)
          Adds an epsilon (ε) transition to this FSA from the specified source state to the specified target state, and returns a reference to the newly created transition (optional operation).
 FSAEpsilonTransitionInterface<L> MutableDFA.addEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target, java.lang.Object... args)
          DFAs do not support epsilon (ε) transitions.
 FSAEpsilonTransitionInterface<L> MutableDFA.addEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target, java.lang.Object... args)
          DFAs do not support epsilon (ε) transitions.
 FSALabelPatternTransitionInterface<L> MutableFSAInterface.addTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given LabelPattern and returns a reference to the newly created transition (optional operation).
 FSALabelPatternTransitionInterface<L> MutableFSAInterface.addTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given LabelPattern and returns a reference to the newly created transition (optional operation).
 FSALabelPatternTransitionInterface<L> MutableFSA.addTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given LabelPattern and returns a reference to the newly created transition (optional operation).
 FSALabelPatternTransitionInterface<L> MutableFSA.addTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given LabelPattern and returns a reference to the newly created transition (optional operation).
 FSALabelPatternTransitionInterface<L> MutableDFA.addTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given LabelPattern and returns a reference to the newly created transition.
 FSALabelPatternTransitionInterface<L> MutableDFA.addTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given LabelPattern and returns a reference to the newly created transition.
 FSALabelTransitionInterface<L> MutableFSAInterface.addTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given Label, and returns a reference to the newly created transition.
 FSALabelTransitionInterface<L> MutableFSAInterface.addTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given Label, and returns a reference to the newly created transition.
 FSALabelTransitionInterface<L> MutableFSA.addTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given Label, and returns a reference to the newly created transition.
 FSALabelTransitionInterface<L> MutableFSA.addTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given Label, and returns a reference to the newly created transition.
 FSALabelTransitionInterface<L> MutableDFA.addTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given Label, and returns a reference to the newly created transition.
 FSALabelTransitionInterface<L> MutableDFA.addTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target, java.lang.Object... args)
          Adds a transition to this FSA from the specified source state to the specified target state on the given Label, and returns a reference to the newly created transition.
 java.util.SortedSet<? extends FSALabelTransitionInterface<L>> MutableFSAInterface.addTransitions(FSAStateInterface<L> source, java.util.Set<? extends L> labels, FSAStateInterface<L> target, java.lang.Object... args)
          Adds transitions to this FSA from the specified source state to the specified target state on each of the given Labels and returns a Set containing references to the newly created transitions.
 java.util.SortedSet<? extends FSALabelTransitionInterface<L>> MutableFSAInterface.addTransitions(FSAStateInterface<L> source, java.util.Set<? extends L> labels, FSAStateInterface<L> target, java.lang.Object... args)
          Adds transitions to this FSA from the specified source state to the specified target state on each of the given Labels and returns a Set containing references to the newly created transitions.
 java.util.SortedSet<FSALabelTransitionInterface<L>> AbstractMutableFSA.addTransitions(FSAStateInterface<L> source, java.util.Set<? extends L> labels, FSAStateInterface<L> target, java.lang.Object... args)
          Adds transitions to this FSA from the specified source state to the specified target state on each of the given Labels and returns a Set containing references to the newly created transitions.
 java.util.SortedSet<FSALabelTransitionInterface<L>> AbstractMutableFSA.addTransitions(FSAStateInterface<L> source, java.util.Set<? extends L> labels, FSAStateInterface<L> target, java.lang.Object... args)
          Adds transitions to this FSA from the specified source state to the specified target state on each of the given Labels and returns a Set containing references to the newly created transitions.
 int FSAState.compareTo(FSAStateInterface<L> state)
          Compares this state with the specified state for order.
 FSAStateInterface<L> MutableFSAInterface.copyState(FSAStateInterface<L> state, boolean setStart, boolean setAccept)
          Copies the given FSA state into this FSA.
 FSAStateInterface<L> AbstractMutableFSA.copyState(FSAStateInterface<L> state, boolean setStart, boolean setAccept)
          Copies the given FSA state into this FSA.
 FSATransitionInterface<L> MutableFSAInterface.copyTransition(FSATransitionInterface<L> transition, FSAStateInterface<L> sourceState, FSAStateInterface<L> targetState)
          Copies the given FSA transition into this FSA.
 FSATransitionInterface<L> MutableFSAInterface.copyTransition(FSATransitionInterface<L> transition, FSAStateInterface<L> sourceState, FSAStateInterface<L> targetState)
          Copies the given FSA transition into this FSA.
 FSATransitionInterface<L> AbstractMutableFSA.copyTransition(FSATransitionInterface<L> transition, FSAStateInterface<L> sourceState, FSAStateInterface<L> targetState)
          Copies the given FSA transition into this FSA.
 FSATransitionInterface<L> AbstractMutableFSA.copyTransition(FSATransitionInterface<L> transition, FSAStateInterface<L> sourceState, FSAStateInterface<L> targetState)
          Copies the given FSA transition into this FSA.
protected  java.util.SortedSet<FSAStateInterface<L>> FSATransitionTable.epsilonClosure(FSAStateInterface<L> state)
          A helper method for the RunnableFSAInterface.runForwards(SortedSet, LabelInterface) method that deals with epsilon transitions.
protected  java.util.SortedSet<FSAStateInterface<L>> DFATransitionTable.epsilonClosure(FSAStateInterface<L> state)
          This method is not supported.
protected abstract  java.util.SortedSet<FSAStateInterface<L>> AbstractFSATransitionTable.epsilonClosure(FSAStateInterface<L> state)
          A helper method for the RunnableFSA.getInitialConfigurationForwards() method.
 java.lang.Object[] FSAFactoryInterface.getCreateArgs(FSAInterface<L> newFSA, FSAStateInterface<L> oldState)
          Gets any required arguments for the state factory method from the given state.
 java.lang.Object[] AbstractFSAFactory.getCreateArgs(FSAInterface<L> newFSA, FSAStateInterface<L> oldState)
          Gets any required arguments for the state factory method from the given state.
 FSAEpsilonTransitionInterface<L> RunnableDFA.getEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          DFAs do not support epsilon (ε) transitions.
 FSAEpsilonTransitionInterface<L> RunnableDFA.getEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          DFAs do not support epsilon (ε) transitions.
 FSAEpsilonTransitionInterface<L> MutableDFA.getEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          DFAs do not support epsilon (ε) transitions.
 FSAEpsilonTransitionInterface<L> MutableDFA.getEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          DFAs do not support epsilon (ε) transitions.
 FSAEpsilonTransitionInterface<L> FSAInterface.getEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on epsilon (ε) if one exists in the FSA, otherwise null is returned (optional operation).
 FSAEpsilonTransitionInterface<L> FSAInterface.getEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on epsilon (ε) if one exists in the FSA, otherwise null is returned (optional operation).
 FSAEpsilonTransitionInterface<L> AbstractFSA.getEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on epsilon (ε) if one exists in the FSA, otherwise null is returned (optional operation).
 FSAEpsilonTransitionInterface<L> AbstractFSA.getEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on epsilon (ε) if one exists in the FSA, otherwise null is returned (optional operation).
 FSALabelPatternTransitionInterface<L> MutableFSAInterface.getTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on a LabelPattern equal to the given LabelPattern if one exists in the FSA, otherwise null is returned (optional operation).
 FSALabelPatternTransitionInterface<L> MutableFSAInterface.getTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on a LabelPattern equal to the given LabelPattern if one exists in the FSA, otherwise null is returned (optional operation).
 FSALabelPatternTransitionInterface<L> AbstractMutableFSA.getTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on a LabelPattern equal to the given LabelPattern if one exists in the FSA, otherwise null is returned (optional operation).
 FSALabelPatternTransitionInterface<L> AbstractMutableFSA.getTransition(FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on a LabelPattern equal to the given LabelPattern if one exists in the FSA, otherwise null is returned (optional operation).
 FSALabelTransitionInterface<L> FSAInterface.getTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on an equal Label to the given Label if one exists in the FSA, otherwise null is returned.
 FSALabelTransitionInterface<L> FSAInterface.getTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on an equal Label to the given Label if one exists in the FSA, otherwise null is returned.
 FSALabelTransitionInterface<L> AbstractFSA.getTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on an equal Label to the given Label if one exists in the FSA, otherwise null is returned.
 FSALabelTransitionInterface<L> AbstractFSA.getTransition(FSAStateInterface<L> source, L label, FSAStateInterface<L> target)
          Returns the transition from the specified source state to the specified target state on an equal Label to the given Label if one exists in the FSA, otherwise null is returned.
 java.util.SortedSet<? extends FSATransitionInterface<L>> FSAInterface.getTransitions(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Returns a non-null Set containing all the transitions from the specified source to the given target state.
 java.util.SortedSet<? extends FSATransitionInterface<L>> FSAInterface.getTransitions(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Returns a non-null Set containing all the transitions from the specified source to the given target state.
 java.util.SortedSet<? extends FSATransitionInterface<L>> AbstractFSA.getTransitions(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Returns a non-null Set containing all the transitions from the specified source to the given target state.
 java.util.SortedSet<? extends FSATransitionInterface<L>> AbstractFSA.getTransitions(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Returns a non-null Set containing all the transitions from the specified source to the given target state.
protected  java.util.SortedSet<FSAStateInterface<L>> FSATransitionTable.moveClosure(FSAStateInterface<L> state, L label)
          A helper method for the RunnableFSAInterface.runForwards(SortedSet, LabelInterface) method that deals with label transitions.
protected  java.util.SortedSet<FSAStateInterface<L>> DFATransitionTable.moveClosure(FSAStateInterface<L> state, L label)
          A helper method for the RunnableFSAInterface.runForwards(SortedSet, LabelInterface) method that deals with label transitions.
protected abstract  java.util.SortedSet<FSAStateInterface<L>> AbstractFSATransitionTable.moveClosure(FSAStateInterface<L> state, L label)
          A helper method for the AbstractRunnableFSA.runForwards(java.util.SortedSet>, L) method.
 void MutableFSAInterface.removeState(FSAStateInterface<L> state)
          Removes the specified state from this FSA.
 void AbstractMutableFSA.removeState(FSAStateInterface<L> state)
          Removes the specified state from this FSA.
 void MutableFSAInterface.setStartState(FSAStateInterface<L> state)
          Sets the start state, q0 of this FSA to the specified state.
 void AbstractMutableFSA.setStartState(FSAStateInterface<L> state)
          Sets the start state, q0 of this FSA to the specified state.
 

Method parameters in laser.regularlanguage.fsa with type arguments of type FSAStateInterface
protected  void AbstractRunnableFSA._checkBackwardsConfiguration(java.util.SortedSet<? extends FSAStateInterface<L>> states)
          Checks the given backwards configuration.
protected  void AbstractRunnableFSA._checkConfiguration(java.util.SortedSet<? extends FSAStateInterface<L>> states)
          Checks the given configuration.
protected  void RunnableDFA._checkForwardsConfiguration(java.util.SortedSet<? extends FSAStateInterface<L>> states)
          Checks the given set of states.
protected  void AbstractRunnableFSA._checkForwardsConfiguration(java.util.SortedSet<? extends FSAStateInterface<L>> states)
          Checks the given forwards configuration.
 boolean RunnableFSAInterface.isAcceptedStringBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Returns true if this FSA accepts the specified input string when run backwards, false otherwise.
 boolean AbstractRunnableFSA.isAcceptedStringBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Returns true if this FSA accepts the specified input string when run backwards, false otherwise.
 boolean RunnableFSAInterface.isFinalConfigurationBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states)
          Returns true if the given Set of states is a final configuration of this FSA, false otherwise (optional operation).
 boolean AbstractRunnableFSA.isFinalConfigurationBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states)
          Returns true if the given Set of states is accepting for this FSA, false otherwise.
 boolean RunnableFSAInterface.isFinalConfigurationForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states)
          Returns true if the given Set of states is a final configuration of this FSA, false otherwise.
 boolean AbstractRunnableFSA.isFinalConfigurationForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states)
          Returns true if the given Set of states is accepting for this FSA, false otherwise.
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.runBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, L label)
          Runs this FSA backwards from the specified starting configuration, returning the reachable state(s) given the specified label (optional operation).
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.runBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, L label)
          Runs this FSA backwards from the specified starting configuration, returning the reachable state(s) given the specified label (optional operation).
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.runBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Runs this FSA backwards from the specified starting configuration, returning the reachable state(s) given the specified input string (optional operation).
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.runBackwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Runs this FSA backwards from the specified starting configuration, returning the reachable state(s) given the specified input string (optional operation).
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.runForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, L label)
          Runs this FSA forwards from the specified starting configuration, returning the reachable state(s) given the specified label.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.runForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, L label)
          Runs this FSA forwards from the specified starting configuration, returning the reachable state(s) given the specified label.
 java.util.SortedSet<? extends FSAStateInterface<L>> RunnableFSAInterface.runForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Runs this FSA forwards from the specified starting configuration, returning the reachable state(s) given the specified input string.
 java.util.SortedSet<? extends FSAStateInterface<L>> AbstractRunnableFSA.runForwards(java.util.SortedSet<? extends FSAStateInterface<L>> states, java.util.List<? extends L> inputString)
          Runs this FSA forwards from the specified starting configuration, returning the reachable state(s) given the specified input string.
 

Constructors in laser.regularlanguage.fsa with parameters of type FSAStateInterface
AbstractFSATransition(int id, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new AbstractFSATransition from the specified source state to the specified target state with the specified ID.
AbstractFSATransition(int id, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new AbstractFSATransition from the specified source state to the specified target state with the specified ID.
FSAEpsilonTransition(int id, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new FSAEpsilonTransition from the specified source state to the specified target state with the specified ID.
FSAEpsilonTransition(int id, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new FSAEpsilonTransition from the specified source state to the specified target state with the specified ID.
FSALabelPatternTransition(int id, FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target)
          Creates a new FSALabelPatternTransition from the specified source state to the specified target state on the specified LabelPattern with the specified ID.
FSALabelPatternTransition(int id, FSAStateInterface<L> source, LabelPatternInterface<L> labelPattern, FSAStateInterface<L> target)
          Creates a new FSALabelPatternTransition from the specified source state to the specified target state on the specified LabelPattern with the specified ID.
FSALabelTransition(int id, FSAStateInterface<L> source, L label, FSAStateInterface<L> target)
          Creates a new FSALabelTransition from the specified source state to the specified target state on the specified Label with the specified ID.
FSALabelTransition(int id, FSAStateInterface<L> source, L label, FSAStateInterface<L> target)
          Creates a new FSALabelTransition from the specified source state to the specified target state on the specified Label with the specified ID.
 

Uses of FSAStateInterface in laser.regularlanguage.fsa.test
 

Methods in laser.regularlanguage.fsa.test that return FSAStateInterface
 FSAStateInterface<L> AbstractMutableFSAFactory.createFSAStateInstance(MutableFSAInterface<L> fsa)
          Creates a new FSAStateInterface within the given FSA.
 

Methods in laser.regularlanguage.fsa.test with parameters of type FSAStateInterface
 FSAEpsilonTransitionInterface<L> AbstractMutableFSAFactory.createFSAEpsilonTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new FSAEpsilonTransitionInterface from the given source to the given target within the specified FSA.
 FSAEpsilonTransitionInterface<L> AbstractMutableFSAFactory.createFSAEpsilonTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new FSAEpsilonTransitionInterface from the given source to the given target within the specified FSA.
 FSALabelPatternTransitionInterface<L> AbstractMutableFSAFactory.createFSALabelPatternTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target, LabelPatternInterface<L> p)
          Creates a new FSALabelPatternTransitionInterface from the given source to the given target on the given label pattern within the specified FSA.
 FSALabelPatternTransitionInterface<L> AbstractMutableFSAFactory.createFSALabelPatternTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target, LabelPatternInterface<L> p)
          Creates a new FSALabelPatternTransitionInterface from the given source to the given target on the given label pattern within the specified FSA.
 FSALabelTransitionInterface<L> AbstractMutableFSAFactory.createFSALabelTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target, L l)
          Creates a new FSALabelTransitionInterface from the given source to the given target on the given label within the specified FSA.
 FSALabelTransitionInterface<L> AbstractMutableFSAFactory.createFSALabelTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target, L l)
          Creates a new FSALabelTransitionInterface from the given source to the given target on the given label within the specified FSA.
 

Uses of FSAStateInterface in laser.regularlanguage.fsa.util
 

Methods in laser.regularlanguage.fsa.util that return FSAStateInterface
protected  FSAStateInterface<L> Minimizer.getNextState(FSAStateInterface<L> state, L aLabel)
          Takes the given state and specified label and gets the next state.
 FSAStateInterface<L> CompositeState.getState1()
          Gets the first state
 FSAStateInterface<L> CompositeState.getState2()
          Gets the second state
 

Methods in laser.regularlanguage.fsa.util with parameters of type FSAStateInterface
protected  FSALabelTransitionInterface<L> NFAtoDFAConverter.createTransition(java.util.Set<? extends FSAStateInterface<L>> oldSources, java.util.Set<? extends FSAStateInterface<L>> oldTargets, MutableFSAInterface<L> newDFA, FSAStateInterface<L> newSource, FSAStateInterface<L> newTarget, L newLabel)
          Creates a new transition on the given label in the DFA.
protected  FSALabelTransitionInterface<L> NFAtoDFAConverter.createTransition(java.util.Set<? extends FSAStateInterface<L>> oldSources, java.util.Set<? extends FSAStateInterface<L>> oldTargets, MutableFSAInterface<L> newDFA, FSAStateInterface<L> newSource, FSAStateInterface<L> newTarget, L newLabel)
          Creates a new transition on the given label in the DFA.
protected  FSAStateInterface<L> Minimizer.getNextState(FSAStateInterface<L> state, L aLabel)
          Takes the given state and specified label and gets the next state.
protected  FSALabelTransitionInterface<L> Minimizer.getOutTransition(laser.regularlanguage.fsa.util.Minimizer.Component currentInStates, laser.regularlanguage.fsa.util.Minimizer.Component nextInStates, MutableFSAInterface<L> outDFA, FSAStateInterface<L> currentOutState, FSAStateInterface<L> nextOutState, L outLabel)
          Creates and/or gets the transition on the given label in the minimal DFA.
protected  FSALabelTransitionInterface<L> Minimizer.getOutTransition(laser.regularlanguage.fsa.util.Minimizer.Component currentInStates, laser.regularlanguage.fsa.util.Minimizer.Component nextInStates, MutableFSAInterface<L> outDFA, FSAStateInterface<L> currentOutState, FSAStateInterface<L> nextOutState, L outLabel)
          Creates and/or gets the transition on the given label in the minimal DFA.
 

Method parameters in laser.regularlanguage.fsa.util with type arguments of type FSAStateInterface
protected  FSALabelTransitionInterface<L> NFAtoDFAConverter.createTransition(java.util.Set<? extends FSAStateInterface<L>> oldSources, java.util.Set<? extends FSAStateInterface<L>> oldTargets, MutableFSAInterface<L> newDFA, FSAStateInterface<L> newSource, FSAStateInterface<L> newTarget, L newLabel)
          Creates a new transition on the given label in the DFA.
protected  FSALabelTransitionInterface<L> NFAtoDFAConverter.createTransition(java.util.Set<? extends FSAStateInterface<L>> oldSources, java.util.Set<? extends FSAStateInterface<L>> oldTargets, MutableFSAInterface<L> newDFA, FSAStateInterface<L> newSource, FSAStateInterface<L> newTarget, L newLabel)
          Creates a new transition on the given label in the DFA.
protected  java.lang.Object[] Minimizer.getCreateArgs(FSAInterface<L> newFSA, java.util.Set<? extends FSAStateInterface<L>> oldStates)
          Gets any required arguments for the state factory method from the given set of states.
protected  java.lang.Object[] NFAtoDFAConverter.getCreateArgs(MutableFSAInterface<L> newFSA, java.util.Set<? extends FSAStateInterface<L>> oldStates)
          Gets any required arguments for the state factory method from the given set of states.
 

Constructors in laser.regularlanguage.fsa.util with parameters of type FSAStateInterface
CompositeState(FSAStateInterface<L> state1, FSAStateInterface<L> state2)
          Creates a new composite state for the given states
CompositeState(FSAStateInterface<L> state1, FSAStateInterface<L> state2)
          Creates a new composite state for the given states
 

Uses of FSAStateInterface in laser.regularlanguage.fsa.util.test
 

Methods in laser.regularlanguage.fsa.util.test that return FSAStateInterface
protected abstract  FSAStateInterface<L> FSAsTests.createFSAStateInstance(MutableFSAInterface<L> fsa)
          Creates a new FSAStateInterface within the given FSA.
protected  FSAStateInterface<StringLabel> StringFSAsTests.createFSAStateInstance(MutableFSAInterface<StringLabel> fsa)
           
protected  FSAStateInterface<StringLabel> StringDFAsTests.createFSAStateInstance(MutableFSAInterface<StringLabel> fsa)
           
 

Methods in laser.regularlanguage.fsa.util.test with parameters of type FSAStateInterface
protected abstract  FSAEpsilonTransitionInterface<L> FSAsTests.createFSAEpsilonTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new FSAEpsilonTransitionInterface from the given source to the given target within the specified FSA.
protected abstract  FSAEpsilonTransitionInterface<L> FSAsTests.createFSAEpsilonTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target)
          Creates a new FSAEpsilonTransitionInterface from the given source to the given target within the specified FSA.
protected  FSAEpsilonTransitionInterface<StringLabel> StringFSAsTests.createFSAEpsilonTransitionInstance(MutableFSAInterface<StringLabel> fsa, FSAStateInterface<StringLabel> source, FSAStateInterface<StringLabel> target)
          Creates a new FSAEpsilonTransitionInterface from the given source to the given target within the specified FSA.
protected  FSAEpsilonTransitionInterface<StringLabel> StringFSAsTests.createFSAEpsilonTransitionInstance(MutableFSAInterface<StringLabel> fsa, FSAStateInterface<StringLabel> source, FSAStateInterface<StringLabel> target)
          Creates a new FSAEpsilonTransitionInterface from the given source to the given target within the specified FSA.
protected  FSAEpsilonTransitionInterface<StringLabel> StringDFAsTests.createFSAEpsilonTransitionInstance(MutableFSAInterface<StringLabel> fsa, FSAStateInterface<StringLabel> source, FSAStateInterface<StringLabel> target)
          Creates a new FSAEpsilonTransitionInterface from the given source to the given target within the specified FSA.
protected  FSAEpsilonTransitionInterface<StringLabel> StringDFAsTests.createFSAEpsilonTransitionInstance(MutableFSAInterface<StringLabel> fsa, FSAStateInterface<StringLabel> source, FSAStateInterface<StringLabel> target)
          Creates a new FSAEpsilonTransitionInterface from the given source to the given target within the specified FSA.
protected abstract  FSALabelTransitionInterface<L> FSAsTests.createFSALabelTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target, L l)
          Creates a new FSALabelTransitionInterface from the given source to the given target on the given label within the specified FSA.
protected abstract  FSALabelTransitionInterface<L> FSAsTests.createFSALabelTransitionInstance(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target, L l)
          Creates a new FSALabelTransitionInterface from the given source to the given target on the given label within the specified FSA.
protected  FSALabelTransitionInterface<StringLabel> StringFSAsTests.createFSALabelTransitionInstance(MutableFSAInterface<StringLabel> fsa, FSAStateInterface<StringLabel> source, FSAStateInterface<StringLabel> target, StringLabel l)
          Creates a new FSALabelTransitionInterface from the given source to the given target on the given label within the specified FSA.
protected  FSALabelTransitionInterface<StringLabel> StringFSAsTests.createFSALabelTransitionInstance(MutableFSAInterface<StringLabel> fsa, FSAStateInterface<StringLabel> source, FSAStateInterface<StringLabel> target, StringLabel l)
          Creates a new FSALabelTransitionInterface from the given source to the given target on the given label within the specified FSA.
protected  FSALabelTransitionInterface<StringLabel> StringDFAsTests.createFSALabelTransitionInstance(MutableFSAInterface<StringLabel> fsa, FSAStateInterface<StringLabel> source, FSAStateInterface<StringLabel> target, StringLabel l)
          Creates a new FSALabelTransitionInterface from the given source to the given target on the given label within the specified FSA.
protected  FSALabelTransitionInterface<StringLabel> StringDFAsTests.createFSALabelTransitionInstance(MutableFSAInterface<StringLabel> fsa, FSAStateInterface<StringLabel> source, FSAStateInterface<StringLabel> target, StringLabel l)
          Creates a new FSALabelTransitionInterface from the given source to the given target on the given label within the specified FSA.
 

Uses of FSAStateInterface in laser.regularlanguage.util
 

Methods in laser.regularlanguage.util with parameters of type FSAStateInterface
protected  FSAEpsilonTransitionInterface<L> REtoNFAConverter.addEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Adds a transition from source to target on epsilon.
protected  FSAEpsilonTransitionInterface<L> REtoNFAConverter.addEpsilonTransition(FSAStateInterface<L> source, FSAStateInterface<L> target)
          Adds a transition from source to target on epsilon.
protected  FSALabelTransitionInterface<L> REtoNFAConverter.addLabelTransition(FSAStateInterface<L> source, FSAStateInterface<L> target, L label)
          Adds a transition from source to target on the given label.
protected  FSALabelTransitionInterface<L> REtoNFAConverter.addLabelTransition(FSAStateInterface<L> source, FSAStateInterface<L> target, L label)
          Adds a transition from source to target on the given label.
protected  FSALabelTransitionInterface<L> REtoDFABuilder.addLabelTransition(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target, L label)
          Adds a transition from the source to the target on the given label.
protected  FSALabelTransitionInterface<L> REtoDFABuilder.addLabelTransition(MutableFSAInterface<L> fsa, FSAStateInterface<L> source, FSAStateInterface<L> target, L label)
          Adds a transition from the source to the target on the given label.