Uses of Interface
laser.regularlanguage.fsa.MutableFSAInterface

Packages that use MutableFSAInterface
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). 
laser.regularlanguage.util.test   
 

Uses of MutableFSAInterface in laser.regularlanguage.fsa
 

Subinterfaces of MutableFSAInterface in laser.regularlanguage.fsa
 interface MutableDFAInterface<L extends LabelInterface>
          This class represents mutable FSAs that have been explicitly specified as being deterministic.
 

Classes in laser.regularlanguage.fsa that implement MutableFSAInterface
 class AbstractMutableFSA<L extends LabelInterface>
          An abstract class representing FSAs that are mutable.
 class MutableDFA<L extends LabelInterface>
          This class represents DFAs that are mutable.
 class MutableFSA<L extends LabelInterface>
          This class represents FSAs that are mutable.
 

Methods in laser.regularlanguage.fsa that return MutableFSAInterface
protected  MutableFSAInterface<L> AbstractFSAFactory._internalCreateMutableFSAInterface(AlphabetInterface<L> alphabet, AbstractFSAFactory<L> factory)
          Instantiates a MutableFSAInterface from the given Alphabet and FSA factory.
abstract  MutableFSAInterface<L> AbstractMutableFSA.clone()
          Returns a copy of this mutable FSA.
 MutableFSAInterface<IndexedLabel> IndexedDFAFactory.createMutableFSAInterface(AlphabetInterface<IndexedLabel> alphabet, java.lang.Object... args)
          Creates a mutable FSA from the specified arguments.
 MutableFSAInterface<L> FSAFactoryInterface.createMutableFSAInterface(AlphabetInterface<L> alphabet, java.lang.Object... args)
          Creates a mutable FSA from the specified arguments.
 MutableFSAInterface<L> AbstractFSAFactory.createMutableFSAInterface(AlphabetInterface<L> alphabet, java.lang.Object... args)
          Creates a mutable FSA from the specified arguments.
 MutableFSAInterface<StringLabel> StringDFAFactory.createMutableFSAInterface(AlphabetInterface<StringLabel> alphabet, java.lang.Object... args)
          Creates a mutable FSA from the specified arguments.
 MutableFSAInterface<L> RunnableFSAInterface.getMutableFSA()
          Returns the mutable FSA corresponding to this runnable FSA.
 MutableFSAInterface<L> AbstractRunnableFSA.getMutableFSA()
          Returns the mutable FSA corresponding to this runnable FSA.
 

Methods in laser.regularlanguage.fsa with parameters of type MutableFSAInterface
 boolean UnreachableStateEliminator.eliminate(MutableFSAInterface<L> fsa)
          Elimates all states contained within the given FSA that are not reachable from the start state.
 boolean DeadStateEliminator.eliminate(MutableFSAInterface<L> fsa)
          Eliminates any dead states contained in the given FSA.
 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.
 

Uses of MutableFSAInterface in laser.regularlanguage.fsa.test
 

Fields in laser.regularlanguage.fsa.test declared as MutableFSAInterface
protected  MutableFSAInterface<L> MutableFSATests.fsa_
           
protected  MutableFSAInterface<L> MutableFSAStateTests.fsa_
           
protected  MutableFSAInterface<L> MutableFSATests.labelPatternDFA_
           
protected  MutableFSAInterface<L> MutableFSAStateTests.labelPatternDFA_
           
protected  MutableFSAInterface<L> AbstractMutableFSAFactory.prototypeFSA_
           
 

Methods in laser.regularlanguage.fsa.test that return MutableFSAInterface
protected  MutableFSAInterface<L> MutableFSATests._createEmptyDFA()
           
protected  MutableFSAInterface<L> MutableFSATests._createLabelDFA()
           
protected  MutableFSAInterface<L> MutableFSATests._createLabelEpsilonFreeNFA()
           
protected  MutableFSAInterface<L> MutableFSATests._createLabelPatternDFA()
           
protected  MutableFSAInterface<L> MutableFSATests._createStarDFA()
           
protected  MutableFSAInterface<L> MutableFSATests._createStarNFA()
           
protected  MutableFSAInterface<L> MutableFSAStateTests._getLabelPatternDFA()
           
protected  MutableFSAInterface<L> AbstractMutableFSAFactory.createEmptyDFA()
           
protected  MutableFSAInterface<L> AbstractMutableFSAFactory.createLabelDFA()
           
protected  MutableFSAInterface<L> AbstractMutableFSAFactory.createLabelEpsilonFreeNFA()
           
protected  MutableFSAInterface<L> AbstractMutableFSAFactory.createLabelPatternDFA()
           
 MutableFSAInterface<L> AbstractMutableFSAFactory.createMutableFSAInstance()
          Creates a new MutableFSA.
protected  MutableFSAInterface<L> AbstractMutableFSAFactory.createStarDFA()
           
protected  MutableFSAInterface<L> AbstractMutableFSAFactory.createStarNFA()
           
protected  MutableFSAInterface<L> MutableFSATests.getEmptyDFA()
           
protected  MutableFSAInterface<L> MutableFSATests.getLabelDFA()
           
protected  MutableFSAInterface<L> MutableFSATests.getLabelEpsilonFreeNFA()
           
protected  MutableFSAInterface<L> MutableFSATests.getLabelPatternDFA()
           
protected  MutableFSAInterface<L> MutableFSATests.getStarDFA()
           
protected  MutableFSAInterface<L> MutableFSATests.getStarNFA()
           
 

Methods in laser.regularlanguage.fsa.test with parameters of type MutableFSAInterface
 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.
 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.
 FSAStateInterface<L> AbstractMutableFSAFactory.createFSAStateInstance(MutableFSAInterface<L> fsa)
          Creates a new FSAStateInterface within the given FSA.
 void MutableFSATests.testRemoveTransitionInT(MutableFSAInterface<L> fsa, FSATransitionInterface<L> t)
           
protected  void MutableFSATests.testRemoveTransitionNotInT(MutableFSAInterface<L> fsa, FSATransitionInterface<L> t)
           
protected  void MutableFSATests.testRemoveTransitionNull(MutableFSAInterface<L> fsa, FSATransitionInterface<L> t)
           
 

Uses of MutableFSAInterface in laser.regularlanguage.fsa.util
 

Methods in laser.regularlanguage.fsa.util that return MutableFSAInterface
 MutableFSAInterface<L> FSAs.complement(RunnableFSAInterface<L> fsa)
          Returns an FSA that is the complement of the given FSA.
abstract  MutableFSAInterface<L> AbstractFSAs.complement(RunnableFSAInterface<L> fsa)
          Returns an FSA that is the complement of the given FSA.
 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.
 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.
 MutableFSAInterface<L> FSAs.empty(AlphabetInterface<L> alphabet, java.lang.Object[] stateArgs, java.lang.Object[] transitionArgs, java.lang.Object... fsaArgs)
          Returns the FSA that accepts no input strings.
abstract  MutableFSAInterface<L> AbstractFSAs.empty(AlphabetInterface<L> alphabet, java.lang.Object[] stateArgs, java.lang.Object[] transitionArgs, java.lang.Object... fsaArgs)
          Returns an FSA that accepts no input strings.
 MutableFSAInterface<L> FSAs.epsilon(AlphabetInterface<L> alphabet, java.lang.Object[] stateArgs, java.lang.Object[] transitionArgs, java.lang.Object... fsaArgs)
          Returns an FSA that accepts the empty string.
abstract  MutableFSAInterface<L> AbstractFSAs.epsilon(AlphabetInterface<L> alphabet, java.lang.Object[] stateArgs, java.lang.Object[] transitionArgs, java.lang.Object... fsaArgs)
          Returns an FSA that accepts the empty string.
 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.
 MutableFSAInterface<L> FSAs.label(L label, AlphabetInterface<L> alphabet, java.lang.Object[] stateArgs, java.lang.Object[] transitionArgs, java.lang.Object... fsaArgs)
          Returns an FSA that accepts the specified label.
abstract  MutableFSAInterface<L> AbstractFSAs.label(L label, AlphabetInterface<L> alphabet, java.lang.Object[] stateArgs, java.lang.Object[] transitionArgs, java.lang.Object... fsaArgs)
          Returns an FSA that accepts the specified label.
 MutableFSAInterface<L> FSAs.reverse(FSAInterface<L> fsa)
          Reverses the given FSA.
abstract  MutableFSAInterface<L> AbstractFSAs.reverse(FSAInterface<L> fsa)
          Reverses the given FSA.
 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.
 

Methods in laser.regularlanguage.fsa.util with parameters of type MutableFSAInterface
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.
 boolean FSAs.deleteUnnecessaryStates(MutableFSAInterface<L> fsa)
          Deletes any unnecessary states from the given FSA.
abstract  boolean AbstractFSAs.deleteUnnecessaryStates(MutableFSAInterface<L> fsa)
          Deletes any unnecessary states from the given FSA.
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.
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.
 void Inflater.inflateDestructive(MutableFSAInterface<L> fsa, AlphabetInterface<L> newAlphabet, java.lang.Object... transitionArgs)
          Inflates the given FSA with regards to the specified Alphabet by 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.
 void FSAs.inflateDestructive(MutableFSAInterface<L> fsa, AlphabetInterface<L> newAlphabet, java.lang.Object... transitionArgs)
          Inflates the given FSA with regards to the specified Alphabet.
abstract  void AbstractFSAs.inflateDestructive(MutableFSAInterface<L> fsa, AlphabetInterface<L> newAlphabet, java.lang.Object... transitionArgs)
          Inflates the given FSA with regards to the specified Alphabet.
 void FSAs.replaceLabelsWithEpsilon(MutableFSAInterface<L> fsa, java.util.Set<? extends L> labels, java.lang.Object... epsilonTransitionArgs)
          Removes the given Labels from the specified FSA and when a Label is removed from the Alphabet of the FSA with this method, all transitions on that Label are likewise removed, and epsilon (ε) transitions with the same source and target states are added.
abstract  void AbstractFSAs.replaceLabelsWithEpsilon(MutableFSAInterface<L> fsa, java.util.Set<? extends L> labels, java.lang.Object... epsilonTransitionArgs)
          Removes the given Labels from the specified FSA and when a Label is removed from the Alphabet of the FSA with this method, all transitions on that Label are likewise removed, and epsilon (ε) transitions with the same source and target states are added.
 

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

Fields in laser.regularlanguage.fsa.util.test declared as MutableFSAInterface
protected  MutableFSAInterface<L> FSAsTests.emptyFSA_
           
protected  MutableFSAInterface<L> FSAsTests.epsilonFSA_
           
protected  MutableFSAInterface<L> FSAsTests.labelFSA_
           
protected  MutableFSAInterface<L> FSAsTests.starFSA_
           
 

Methods in laser.regularlanguage.fsa.util.test that return MutableFSAInterface
protected  MutableFSAInterface<StringLabel> StringFSAsTests.createMutableDFAInstance()
          Creates a new mutable DFA.
protected  MutableFSAInterface<StringLabel> StringDFAsTests.createMutableDFAInstance()
          Creates a new mutable DFA.
protected abstract  MutableFSAInterface<L> FSAsTests.createMutableDFAInstance()
          Creates a new mutable DFA.
protected  MutableFSAInterface<StringLabel> StringFSAsTests.createMutableFSAInstance()
          Creates a new mutable FSA.
protected  MutableFSAInterface<StringLabel> StringDFAsTests.createMutableFSAInstance()
          Creates a new mutable FSA.
protected abstract  MutableFSAInterface<L> FSAsTests.createMutableFSAInstance()
          Creates a new mutable FSA.
 

Methods in laser.regularlanguage.fsa.util.test with parameters of type MutableFSAInterface
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> 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  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 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)
           
protected  RunnableFSAInterface<L> FSAsTests.getRunnableFSA(MutableFSAInterface<L> mFSA)
          Converts from the given mutable FSA into the corresponding runnable FSA.
 

Uses of MutableFSAInterface in laser.regularlanguage.util
 

Methods in laser.regularlanguage.util that return MutableFSAInterface
 MutableFSAInterface<L> REtoDFABuilder.build(RE<L> theRE)
          Converts from the given RE to its corresponding DFA.
 MutableFSAInterface<L> REtoNFAConverter.convert(RE<L> theRE)
          Converts the given (basic) RE into its corresponding NFA.
 MutableFSAInterface<L> REtoFSAConverter.convert(RE<L> theRE)
          Converts from the given RE to the corresponding FSA.
 MutableFSAInterface<L> REtoDFAConverter.convert(RE<L> theRE)
          Converts from the input RE to its corresponding DFA.
 MutableFSAInterface<L> AbstractRegularLanguages.convertREtoDFA(java.io.File theREFile)
          Converts from the given RE to its corresponding DFA.
 MutableFSAInterface<L> RegularLanguages.convertREtoDFA(RE<L> theRE)
          Converts from the given RE to its corresponding DFA.
abstract  MutableFSAInterface<L> AbstractRegularLanguages.convertREtoDFA(RE<L> theRE)
          Converts from the given RE to its corresponding DFA.
 MutableFSAInterface<L> AbstractRegularLanguages.convertREtoDFA(java.io.Reader theREReader)
          Converts from the given RE to its corresponding DFA.
 MutableFSAInterface<L> AbstractRegularLanguages.convertREtoFSA(java.io.File theREFile)
          Converts from the given RE to its corresponding FSA.
 MutableFSAInterface<L> RegularLanguages.convertREtoFSA(RE<L> theRE)
          Converts from the given RE to its corresponding FSA.
abstract  MutableFSAInterface<L> AbstractRegularLanguages.convertREtoFSA(RE<L> theRE)
          Converts from the given RE to its corresponding FSA.
 MutableFSAInterface<L> AbstractRegularLanguages.convertREtoFSA(java.io.Reader theREReader)
          Converts from the given RE to its corresponding FSA.
 MutableFSAInterface<L> REtoFSAParser.parse(java.io.File inFile)
          Converts from the RE contained in the input File into the corresponding FSA.
 MutableFSAInterface<L> REtoDFAParser.parse(java.io.File inFile)
          Converts from the input RE to its corresponding DFA.
 MutableFSAInterface<L> REtoFSAParser.parse(java.io.Reader in)
          Converts from the RE contained in the input Reader into the corresponding FSA.
 MutableFSAInterface<L> REtoDFAParser.parse(java.io.Reader in)
          Converts from the input RE to its corresponding DFA.
 

Methods in laser.regularlanguage.util with parameters of type MutableFSAInterface
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  java.lang.Object[] REtoDFABuilder.getCreateArgs(MutableFSAInterface<L> newFSA, TreeNode<L> oldTreeNode)
          Gets any required arguments for the state factory method from the given TreeNode.
protected  java.lang.Object[] REtoNFAConverter.getCreateArgsForState(MutableFSAInterface<L> newFSA, TreeNode<L> oldTreeNode)
          Gets any required arguments for the state factory method from the given TreeNode.
protected  void REtoDFABuilder.setUp(RE<L> theRE, MutableFSAInterface<L> theDFA)
          Sets up the builder before the DFA is built.
 

Uses of MutableFSAInterface in laser.regularlanguage.util.test
 

Methods in laser.regularlanguage.util.test that return MutableFSAInterface
protected  MutableFSAInterface<L> RegularLanguagesTests.getLabelFSA(L l)
           
 

Methods in laser.regularlanguage.util.test with parameters of type MutableFSAInterface
protected abstract  RunnableFSAInterface<L> RegularLanguagesTests.getRunnableFSA(MutableFSAInterface<L> mFSA)
           
protected  RunnableFSAInterface<StringLabel> StringRegularLanguagesTests.getRunnableFSA(MutableFSAInterface<StringLabel> mFSA)