Uses of Interface
laser.regularlanguage.fsa.RunnableFSAInterface

Packages that use RunnableFSAInterface
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 RunnableFSAInterface in laser.regularlanguage.fsa
 

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

Classes in laser.regularlanguage.fsa that implement RunnableFSAInterface
 class AbstractRunnableFSA<L extends LabelInterface>
          An abstract class representing FSAs that are runnable.
 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 RunnableFSAInterface
protected  RunnableFSAInterface<IndexedLabel> IndexedFSAFactory._internalGetRunnableFSA(MutableFSA<IndexedLabel> fsa)
          Instantiates a RunnableFSA from the given MutableFSA.
protected  RunnableFSAInterface<L> AbstractFSAFactory._internalGetRunnableFSA(MutableFSA<L> fsa)
          Instantiates a RunnableFSAInterface from the given MutableFSAInterface.
abstract  RunnableFSAInterface<L> AbstractRunnableFSA.clone()
          Returns a copy of this runnable FSA.
 RunnableFSAInterface<L> MutableFSAInterface.getRunnableFSA()
          Returns the runnable FSA corresponding to this mutable FSA.
 RunnableFSAInterface<L> MutableFSA.getRunnableFSA()
          Returns the runnable FSA corresponding to this mutable FSA.
abstract  RunnableFSAInterface<L> AbstractMutableFSA.getRunnableFSA()
          Returns the runnable FSA corresponding to this mutable FSA.
 

Uses of RunnableFSAInterface in laser.regularlanguage.fsa.test
 

Fields in laser.regularlanguage.fsa.test declared as RunnableFSAInterface
protected  RunnableFSAInterface<L> RunnableFSATests.forwardsDFABecomesBackwardsNFA_
           
 

Methods in laser.regularlanguage.fsa.test that return RunnableFSAInterface
protected  RunnableFSAInterface<L> RunnableFSATests._createEmptyDFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests._createLabelDFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests._createLabelEpsilonFreeNFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests._createStarDFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests._createStarNFA()
           
 RunnableFSAInterface<L> AbstractRunnableFSAFactory.createEmptyDFA()
           
 RunnableFSAInterface<L> AbstractRunnableFSAFactory.createForwardsDFABecomesBackwardsNFA()
           
 RunnableFSAInterface<L> AbstractRunnableFSAFactory.createLabelDFA()
           
 RunnableFSAInterface<L> AbstractRunnableFSAFactory.createLabelEpsilonFreeNFA()
           
 RunnableFSAInterface<L> AbstractRunnableFSAFactory.createStarDFA()
           
 RunnableFSAInterface<L> AbstractRunnableFSAFactory.createStarNFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests.getEmptyDFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests.getLabelDFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests.getLabelEpsilonFreeNFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests.getStarDFA()
           
protected  RunnableFSAInterface<L> RunnableFSATests.getStarNFA()
           
 

Uses of RunnableFSAInterface in laser.regularlanguage.fsa.util
 

Methods in laser.regularlanguage.fsa.util that return RunnableFSAInterface
 RunnableFSAInterface<L> NFAtoDFAConverter.convert(RunnableFSAInterface<L> nfa)
          Converts an NFA to a DFA.
 RunnableFSAInterface<L> NFAtoDFAConverter.convert(RunnableFSAInterface<L> nfa, FSAFactoryInterface<L> dfaFactory)
          Converts an NFA to a DFA.
 RunnableFSAInterface<L> FSAs.convertFSAtoDFA(RunnableFSAInterface<L> fsa)
          Converts from the given FSA into the corresponding DFA.
abstract  RunnableFSAInterface<L> AbstractFSAs.convertFSAtoDFA(RunnableFSAInterface<L> fsa)
          Converts from the given FSA into the corresponding DFA.
 RunnableFSAInterface<L> FSAs.determinize(RunnableFSAInterface<L> fsa)
          Returns a determinisitic FSA that corresponds to the given FSA.
abstract  RunnableFSAInterface<L> AbstractFSAs.determinize(RunnableFSAInterface<L> fsa)
          Returns a determinisitic FSA that corresponds to the given FSA.
 RunnableFSAInterface<L> FSAs.differenceAsymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the asymmetric difference of the first FSA and the second FSA.
abstract  RunnableFSAInterface<L> AbstractFSAs.differenceAsymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the asymmetric difference of the first FSA and the second FSA.
 RunnableFSAInterface<L> FSAs.differenceSymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the symmetric difference of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.differenceSymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the symmetric difference of the given FSAs.
 RunnableFSAInterface<L> FSAs.intersect(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the intersection of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.intersect(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the intersection of the given FSAs.
 RunnableFSAInterface<L> Minimizer.minimize(RunnableFSAInterface<L> inFsa)
          Performs DFA minimization on the inFsa, and stores the result in the outFsa.
 RunnableFSAInterface<L> FSAs.minimize(RunnableFSAInterface<L> fsa)
          Returns the minimal deterministic FSA that corresponds to the given FSA.
abstract  RunnableFSAInterface<L> AbstractFSAs.minimize(RunnableFSAInterface<L> fsa)
          Returns the minimal deterministic FSA that corresponds to the given FSA.
 RunnableFSAInterface<L> Minimizer.minimize(RunnableFSAInterface<L> inFsa, FSAFactoryInterface<L> dfaFactory)
          Performs DFA minimization on the inFsa, and stores the result in the outFsa.
protected  RunnableFSAInterface<L> UnionComposer.preprocess(RunnableFSAInterface<L> fsa, java.util.Set<L> labels)
          Preprocesses the given FSA.
 RunnableFSAInterface<L> FSAs.product(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the product of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.product(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the product of the given FSAs.
 RunnableFSAInterface<L> FSAs.union(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the union of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.union(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the union of the given FSAs.
 

Methods in laser.regularlanguage.fsa.util with parameters of type RunnableFSAInterface
 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.
 RunnableFSAInterface<L> NFAtoDFAConverter.convert(RunnableFSAInterface<L> nfa)
          Converts an NFA to a DFA.
 RunnableFSAInterface<L> NFAtoDFAConverter.convert(RunnableFSAInterface<L> nfa, FSAFactoryInterface<L> dfaFactory)
          Converts an NFA to a DFA.
 RunnableFSAInterface<L> FSAs.convertFSAtoDFA(RunnableFSAInterface<L> fsa)
          Converts from the given FSA into the corresponding DFA.
abstract  RunnableFSAInterface<L> AbstractFSAs.convertFSAtoDFA(RunnableFSAInterface<L> fsa)
          Converts from the given FSA into the corresponding DFA.
 RunnableFSAInterface<L> FSAs.determinize(RunnableFSAInterface<L> fsa)
          Returns a determinisitic FSA that corresponds to the given FSA.
abstract  RunnableFSAInterface<L> AbstractFSAs.determinize(RunnableFSAInterface<L> fsa)
          Returns a determinisitic FSA that corresponds to the given FSA.
 RunnableFSAInterface<L> FSAs.differenceAsymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the asymmetric difference of the first FSA and the second FSA.
 RunnableFSAInterface<L> FSAs.differenceAsymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the asymmetric difference of the first FSA and the second FSA.
abstract  RunnableFSAInterface<L> AbstractFSAs.differenceAsymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the asymmetric difference of the first FSA and the second FSA.
abstract  RunnableFSAInterface<L> AbstractFSAs.differenceAsymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the asymmetric difference of the first FSA and the second FSA.
 RunnableFSAInterface<L> FSAs.differenceSymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the symmetric difference of the given FSAs.
 RunnableFSAInterface<L> FSAs.differenceSymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the symmetric difference of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.differenceSymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the symmetric difference of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.differenceSymmetric(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the symmetric difference of the given FSAs.
 java.util.Set<L> UnionComposer.getLabels(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Gets the Set of labels for which transitions should be added.
 java.util.Set<L> UnionComposer.getLabels(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Gets the Set of labels for which transitions should be added.
 java.util.Set<L> ProductComposer.getLabels(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Gets the Set of labels for which transitions should be added.
 java.util.Set<L> ProductComposer.getLabels(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Gets the Set of labels for which transitions should be added.
 java.util.Set<L> IntersectionComposer.getLabels(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Gets the Set of labels for which transitions should be added.
 java.util.Set<L> IntersectionComposer.getLabels(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Gets the Set of labels for which transitions should be added.
abstract  java.util.Set<L> AbstractComposer.getLabels(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Gets the Set of labels for which transitions should be added.
abstract  java.util.Set<L> AbstractComposer.getLabels(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Gets the Set of labels for which transitions should be added.
 RunnableFSAInterface<L> FSAs.intersect(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the intersection of the given FSAs.
 RunnableFSAInterface<L> FSAs.intersect(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the intersection of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.intersect(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the intersection of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.intersect(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the intersection of the given FSAs.
 boolean FSAs.isEmpty(RunnableFSAInterface<L> fsa)
          Returns true if this FSA accepts no input strings (including the empty string), false otherwise.
abstract  boolean AbstractFSAs.isEmpty(RunnableFSAInterface<L> fsa)
          Returns true if the given FSA accepts no input strings (including the empty string), false otherwise.
 boolean FSAs.isEquivalent(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns true if the specified FSA accepts the same set of input strings as this FSA, false otherwise.
 boolean FSAs.isEquivalent(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns true if the specified FSA accepts the same set of input strings as this FSA, false otherwise.
abstract  boolean AbstractFSAs.isEquivalent(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns true if the first FSA accepts the same set of input strings as the second FSA, false otherwise.
abstract  boolean AbstractFSAs.isEquivalent(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns true if the first FSA accepts the same set of input strings as the second FSA, false otherwise.
 RunnableFSAInterface<L> Minimizer.minimize(RunnableFSAInterface<L> inFsa)
          Performs DFA minimization on the inFsa, and stores the result in the outFsa.
 RunnableFSAInterface<L> FSAs.minimize(RunnableFSAInterface<L> fsa)
          Returns the minimal deterministic FSA that corresponds to the given FSA.
abstract  RunnableFSAInterface<L> AbstractFSAs.minimize(RunnableFSAInterface<L> fsa)
          Returns the minimal deterministic FSA that corresponds to the given FSA.
 RunnableFSAInterface<L> Minimizer.minimize(RunnableFSAInterface<L> inFsa, FSAFactoryInterface<L> dfaFactory)
          Performs DFA minimization on the inFsa, and stores the result in the outFsa.
 FSAPair<L> UnionComposer.preprocess(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Performs any necessary preprocessing before composing the given FSAs.
 FSAPair<L> UnionComposer.preprocess(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Performs any necessary preprocessing before composing the given FSAs.
 FSAPair<L> ProductComposer.preprocess(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Performs any necessary preprocessing before composing the given FSAs.
 FSAPair<L> ProductComposer.preprocess(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Performs any necessary preprocessing before composing the given FSAs.
 FSAPair<L> IntersectionComposer.preprocess(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Performs any necessary preprocessing before composing the given FSAs.
 FSAPair<L> IntersectionComposer.preprocess(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Performs any necessary preprocessing before composing the given FSAs.
abstract  FSAPair<L> AbstractComposer.preprocess(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Performs any necessary preprocessing before composing the given FSAs.
abstract  FSAPair<L> AbstractComposer.preprocess(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Performs any necessary preprocessing before composing the given FSAs.
protected  RunnableFSAInterface<L> UnionComposer.preprocess(RunnableFSAInterface<L> fsa, java.util.Set<L> labels)
          Preprocesses the given FSA.
 RunnableFSAInterface<L> FSAs.product(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the product of the given FSAs.
 RunnableFSAInterface<L> FSAs.product(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the product of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.product(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the product of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.product(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the product of the given FSAs.
 RunnableFSAInterface<L> FSAs.union(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the union of the given FSAs.
 RunnableFSAInterface<L> FSAs.union(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the union of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.union(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the union of the given FSAs.
abstract  RunnableFSAInterface<L> AbstractFSAs.union(RunnableFSAInterface<L> fsa1, RunnableFSAInterface<L> fsa2)
          Returns an FSA that is the union of the given FSAs.
 

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

Methods in laser.regularlanguage.fsa.util.test that return RunnableFSAInterface
protected  RunnableFSAInterface<L> FSAsTests.getRunnableEmptyFSA()
          Returns an empty FSA.
protected  RunnableFSAInterface<L> FSAsTests.getRunnableEpsilonFSA()
          Returns an epsilon FSA.
protected  RunnableFSAInterface<L> FSAsTests.getRunnableFSA(MutableFSAInterface<L> mFSA)
          Converts from the given mutable FSA into the corresponding runnable FSA.
protected  RunnableFSAInterface<L> FSAsTests.getRunnableLabelFSA()
          Returns a label FSA.
protected  RunnableFSAInterface<L> FSAsTests.getRunnableStarFSA()
          Returns a star FSA.
 

Uses of RunnableFSAInterface in laser.regularlanguage.util
 

Fields in laser.regularlanguage.util declared as RunnableFSAInterface
protected  RunnableFSAInterface<L> GNFA.fsa_
          The FSA to be converted to a GNFA
 

Methods in laser.regularlanguage.util with parameters of type RunnableFSAInterface
 RE<L> FSAtoREConverter.convert(RunnableFSAInterface<L> theFSA)
          Converts from the given FSA to the corresponding RE.
 RE<L> AbstractRegularLanguages.convertDFAtoRE(RunnableFSAInterface<L> theDFA)
          Converts from the given DFA to its corresponding RE.
 RE<L> RegularLanguages.convertFSAtoRE(RunnableFSAInterface<L> theFSA)
          Converts from the given FSA to its corresponding RE.
abstract  RE<L> AbstractRegularLanguages.convertFSAtoRE(RunnableFSAInterface<L> theFSA)
          Converts from the given FSA to its corresponding RE.
protected  GNFA<L> FSAtoREConverter.createGNFA(RunnableFSAInterface<L> theFSA)
          Converts the given FSA into the corresponding GNFA.
 

Constructors in laser.regularlanguage.util with parameters of type RunnableFSAInterface
GNFA(RunnableFSAInterface<L> fsa, REFactory<L> reFactory, RLFactory<L> rlFactory)
          Creates the GNFA that corresponds to the given FSA.
 

Uses of RunnableFSAInterface in laser.regularlanguage.util.test
 

Methods in laser.regularlanguage.util.test that return RunnableFSAInterface
protected abstract  RunnableFSAInterface<L> RegularLanguagesTests.getRunnableFSA(MutableFSAInterface<L> mFSA)
           
protected  RunnableFSAInterface<StringLabel> StringRegularLanguagesTests.getRunnableFSA(MutableFSAInterface<StringLabel> mFSA)
           
 

Methods in laser.regularlanguage.util.test with parameters of type RunnableFSAInterface
protected  void RegularLanguagesTests.testConvertDFAtoRE(RunnableFSAInterface<L> theFSA)
           
protected  void RegularLanguagesTests.testConvertFSAtoRE(RunnableFSAInterface<L> theFSA)