Uses of Interface
laser.regularlanguage.fsa.FSAInterface

Packages that use FSAInterface
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.util Utility classes commonly useful for regular languages (RLs). 
 

Uses of FSAInterface in laser.regularlanguage.fsa
 

Subinterfaces of FSAInterface in laser.regularlanguage.fsa
 interface DFAInterface<L extends LabelInterface>
          A DFA is a deterministic finite state automaton.
 interface MutableDFAInterface<L extends LabelInterface>
          This class represents mutable FSAs that have been explicitly specified as being deterministic.
 interface MutableFSAInterface<L extends LabelInterface>
          This class represents FSAs that are mutable: i.e. their structure can be changed but no computation can be performed on them.
 interface RunnableDFAInterface<L extends LabelInterface>
          This class represents runnable FSAs that have been explicitly specified as being deterministic.
 interface RunnableFSAInterface<L extends LabelInterface>
          This class represents FSAs that are runnable: i.e. computation can be performed on them but their structure can not be changed.
 

Classes in laser.regularlanguage.fsa that implement FSAInterface
 class AbstractFSA<L extends LabelInterface>
          An abstract FSA class that provides common functionality for FSAs of type FSAInterface.
 class AbstractMutableFSA<L extends LabelInterface>
          An abstract class representing FSAs that are mutable.
 class AbstractRunnableFSA<L extends LabelInterface>
          An abstract class representing FSAs that are runnable.
 class MutableDFA<L extends LabelInterface>
          This class represents DFAs that are mutable.
 class MutableFSA<L extends LabelInterface>
          This class represents FSAs that are mutable.
 class RunnableDFA<L extends LabelInterface>
          This class represents DFAs that are runnable.
 class RunnableFSA<L extends LabelInterface>
          This class represents FSAs that are runnable.
 

Methods in laser.regularlanguage.fsa that return FSAInterface
 FSAInterface<L> FSAInterface.clone()
          Returns a copy of this FSA.
abstract  FSAInterface<L> AbstractFSA.clone()
          Returns a copy of this FSA.
 FSAInterface<L> FSATransitionInterface.getFSA()
          Returns the FSA that contains this transition.
 FSAInterface<L> FSAStateInterface.getFSA()
          Returns the FSA that contains this state.
 FSAInterface<L> FSAState.getFSA()
          Returns the FSA that contains this state.
 FSAInterface<L> AbstractFSATransition.getFSA()
          Returns the FSA that contains this transition.
 

Methods in laser.regularlanguage.fsa with parameters of type FSAInterface
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  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.
protected  void AbstractFSA._internalCopyFSAAttributes(FSAInterface<L> fsa)
          Copies the attributes from 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.
 void MutableFSAInterface.copyFSAAttributes(FSAInterface<L> fsa)
          Copies the attributes of the given FSA into this FSA excluding the alphabet, states, and transitions.
 void AbstractMutableFSA.copyFSAAttributes(FSAInterface<L> fsa)
          Copies the attributes of the given FSA into this FSA excluding the alphabet, states, and transitions.
 java.lang.Object[] FSAFactoryInterface.getCreateArgs(FSAInterface<L> oldFSA)
          Gets any required arguments for the FSA factory method from the given FSA.
 java.lang.Object[] AbstractFSAFactory.getCreateArgs(FSAInterface<L> oldFSA)
          Gets any required arguments for the FSA factory method from the given FSA.
 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.
 java.lang.Object[] FSAFactoryInterface.getCreateArgs(FSAInterface<L> newFSA, FSATransitionInterface<L> oldTransition)
          Gets any required arguments for the transition factory method from the given transition.
 java.lang.Object[] AbstractFSAFactory.getCreateArgs(FSAInterface<L> newFSA, FSATransitionInterface<L> oldTransition)
          Gets any required arguments for the transition factory method from the given transition.
 

Constructors in laser.regularlanguage.fsa with parameters of type FSAInterface
FSAState(FSAInterface<L> fsa, int id, boolean accept)
          Creates an FSAState in the specified FSA with the given ID.
 

Uses of FSAInterface in laser.regularlanguage.fsa.test
 

Fields in laser.regularlanguage.fsa.test declared as FSAInterface
protected  FSAInterface<L> FSARelatedTests.emptyDFA_
           
protected  FSAInterface<L> FSARelatedTests.labelDFA_
           
protected  FSAInterface<L> FSARelatedTests.labelEpsilonFreeNFA_
           
protected  FSAInterface<L> FSARelatedTests.starDFA_
           
protected  FSAInterface<L> FSARelatedTests.starNFA_
           
 

Methods in laser.regularlanguage.fsa.test that return FSAInterface
protected  FSAInterface<L> RunnableFSAStateTests._createEmptyDFA()
           
protected  FSAInterface<L> MutableFSAStateTests._createEmptyDFA()
           
protected abstract  FSAInterface<L> FSARelatedTests._createEmptyDFA()
          Creates an empty DFA.
protected  FSAInterface<L> RunnableFSAStateTests._createLabelDFA()
           
protected  FSAInterface<L> MutableFSAStateTests._createLabelDFA()
           
protected abstract  FSAInterface<L> FSARelatedTests._createLabelDFA()
          Creates a label DFA.
protected  FSAInterface<L> RunnableFSAStateTests._createLabelEpsilonFreeNFA()
           
protected  FSAInterface<L> MutableFSAStateTests._createLabelEpsilonFreeNFA()
           
protected abstract  FSAInterface<L> FSARelatedTests._createLabelEpsilonFreeNFA()
          Creates a label epsilon-free NFA if non-determinism is supported.
protected  FSAInterface<L> RunnableFSAStateTests._createStarDFA()
           
protected  FSAInterface<L> MutableFSAStateTests._createStarDFA()
           
protected abstract  FSAInterface<L> FSARelatedTests._createStarDFA()
          Creates a star DFA.
protected  FSAInterface<L> RunnableFSAStateTests._createStarNFA()
           
protected  FSAInterface<L> MutableFSAStateTests._createStarNFA()
           
protected abstract  FSAInterface<L> FSARelatedTests._createStarNFA()
          Creates a star NFA if epsilon transitions are supported.
 

Methods in laser.regularlanguage.fsa.test with parameters of type FSAInterface
protected  void MutableFSATests.abstractEquals(FSAInterface<L> oldFSA, FSAInterface<L> newFSA)
           
protected  void MutableFSATests.abstractEquals(FSAInterface<L> oldFSA, FSAInterface<L> newFSA)
           
protected  void FSATests.abstractEquals(FSAInterface<L> oldFSA, FSAInterface<L> newFSA)
           
protected  void FSATests.abstractEquals(FSAInterface<L> oldFSA, FSAInterface<L> newFSA)
           
protected  void FSARelatedTests.checkEmptyDFAPostconditions(FSAInterface<L> emptyDFA)
          Checks that the empty DFA postconditions are met.
protected  void FSARelatedTests.checkLabelDFAPostconditions(FSAInterface<L> labelDFA)
          Checks that the label DFA postconditions are met.
protected  void FSARelatedTests.checkLabelEpsilonFreeNFAPostconditions(FSAInterface<L> labelEpsilonFreeNFA)
          Checks that the label epsilon free NFA postconditions are met.
protected  void FSARelatedTests.checkStarDFAPostconditions(FSAInterface<L> starDFA)
          Checks that the star DFA postconditions are met.
 void FSARelatedTests.checkStarNFAPostconditions(FSAInterface<L> starNFA)
          Checks that the star NFA postconditions are met.
 

Uses of FSAInterface in laser.regularlanguage.fsa.util
 

Methods in laser.regularlanguage.fsa.util that return FSAInterface
protected  FSAInterface<L> FSAPair.getFSA1()
          Gets the first FSA.
protected  FSAInterface<L> FSAPair.getFSA2()
          Gets the second FSA.
 

Methods in laser.regularlanguage.fsa.util with parameters of type FSAInterface
protected  void FSAs.checkClass(FSAInterface<L> theFSA)
          Checks that the FSA's class is supported.
protected  void FSAs.checkPreconditions(FSAInterface<L> fsa)
          Checks the preconditions for the given FSA.
protected  void Inflater.checkPreconditions(FSAInterface<L> oldFSA, AlphabetInterface<L> newAlphabet)
          Checks the preconditions for the Inflater.
 MutableFSAInterface<L> FSAs.concatenation(FSAInterface<L> fsa1, FSAInterface<L> fsa2)
          Returns an FSA that is the concatenation of the given FSAs.
 MutableFSAInterface<L> FSAs.concatenation(FSAInterface<L> fsa1, FSAInterface<L> fsa2)
          Returns an FSA that is the concatenation of the given FSAs.
abstract  MutableFSAInterface<L> AbstractFSAs.concatenation(FSAInterface<L> fsa1, FSAInterface<L> fsa2)
          Returns an FSA that is the concatenation of the given FSAs.
abstract  MutableFSAInterface<L> AbstractFSAs.concatenation(FSAInterface<L> fsa1, FSAInterface<L> fsa2)
          Returns an FSA that is the concatenation of the given FSAs.
 MutableFSAInterface<L> FSAs.convertFSAtoNFA(FSAInterface<L> fsa)
          Converts from the given FSA into the corresponding NFA.
abstract  MutableFSAInterface<L> AbstractFSAs.convertFSAtoNFA(FSAInterface<L> fsa)
          Converts from the given FSA into the corresponding NFA.
protected  java.lang.Object[] AbstractComposer.getCreateArgs(FSAInterface<L> newFSA, FSALabelTransitionInterface<L> oldTransition1, FSALabelTransitionInterface<L> oldTransition2)
          Gets any required arguments for the label transition factory method from the given label transitions.
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.
 MutableFSAInterface<L> Inflater.inflateConstructive(FSAInterface<L> oldFSA, AlphabetInterface<L> newAlphabet, java.lang.Object... transitionArgs)
          Inflates the given FSA with regards to the specified Alphabet by creating a clone of the FSA, setting its alphabet to the specified Alphabet, and adding self-loop transitions (transitions for which source and target return the same state) on every state for each Label in the Alphabet of the new FSA that is not equal to a Label in the Alphabet of the original FSA.
 MutableFSAInterface<L> FSAs.inflateConstructive(FSAInterface<L> fsa, AlphabetInterface<L> newAlphabet, java.lang.Object... transitionArgs)
          Inflates the given FSA with regards to the specified Alphabet.
abstract  MutableFSAInterface<L> AbstractFSAs.inflateConstructive(FSAInterface<L> fsa, AlphabetInterface<L> newAlphabet, java.lang.Object... transitionArgs)
          Inflates the given FSA with regards to the specified Alphabet.
protected  FSAPair<L> FSAs.normalize(FSAInterface<L> fsa1, FSAInterface<L> fsa2)
          Normalizes the given FSAs before a binary operation occurs.
protected  FSAPair<L> FSAs.normalize(FSAInterface<L> fsa1, FSAInterface<L> fsa2)
          Normalizes the given FSAs before a binary operation occurs.
 MutableFSAInterface<L> FSAs.reverse(FSAInterface<L> fsa)
          Reverses the given FSA.
abstract  MutableFSAInterface<L> AbstractFSAs.reverse(FSAInterface<L> fsa)
          Reverses the given FSA.
protected  void FSAs.setFSAAttributes(FSAInterface<L> oldFSA1, FSAInterface<L> oldFSA2, FSAInterface<L> newFSA, java.lang.String binaryOp)
          Sets the attributes of the new FSA based on the attributes of the old FSAs and the given binary operation.
protected  void FSAs.setFSAAttributes(FSAInterface<L> oldFSA1, FSAInterface<L> oldFSA2, FSAInterface<L> newFSA, java.lang.String binaryOp)
          Sets the attributes of the new FSA based on the attributes of the old FSAs and the given binary operation.
protected  void FSAs.setFSAAttributes(FSAInterface<L> oldFSA1, FSAInterface<L> oldFSA2, FSAInterface<L> newFSA, java.lang.String binaryOp)
          Sets the attributes of the new FSA based on the attributes of the old FSAs and the given binary operation.
protected  void FSAs.setFSAAttributes(FSAInterface<L> oldFSA, FSAInterface<L> newFSA, java.lang.String unaryOp)
          Sets the attributes of the new FSA based on the attributes of the old FSA and the given unary operation.
protected  void FSAs.setFSAAttributes(FSAInterface<L> oldFSA, FSAInterface<L> newFSA, java.lang.String unaryOp)
          Sets the attributes of the new FSA based on the attributes of the old FSA and the given unary operation.
 MutableFSAInterface<L> FSAs.star(FSAInterface<L> fsa)
          Returns an FSA that is the star of the given FSA.
abstract  MutableFSAInterface<L> AbstractFSAs.star(FSAInterface<L> fsa)
          Returns an FSA that is the star of the given FSA.
 

Constructors in laser.regularlanguage.fsa.util with parameters of type FSAInterface
FSAPair(FSAInterface<L> fsa1, FSAInterface<L> fsa2)
          Creates a new FSAPair with the given FSAs.
FSAPair(FSAInterface<L> fsa1, FSAInterface<L> fsa2)
          Creates a new FSAPair with the given FSAs.
 

Uses of FSAInterface in laser.regularlanguage.util
 

Methods in laser.regularlanguage.util with parameters of type FSAInterface
protected  void RegularLanguages.checkClass(FSAInterface<L> theFSA)
          Checks that the FSA's class is supported.
protected abstract  void AbstractRegularLanguages.checkClass(FSAInterface<L> theFSA)
          Checks that the FSA's class is supported.
protected  void AbstractRegularLanguages.checkPreconditions(FSAInterface<L> theFSA)
          Checks the preconditions for the given FSA.
 java.lang.Object[] RLFactory.getCreateREArgs(FSAInterface<L> theFSA)
          Gets any required arguments for the RE factory method from the given FSA.
 java.lang.Object[] DefaultRLFactory.getCreateREArgs(FSAInterface<L> theFSA)
          Gets any required arguments for the RE factory method from the given FSA.