laser.regularlanguage.fsa.util
Class StringFSAs

java.lang.Object
  extended by laser.regularlanguage.fsa.util.AbstractFSAs<L>
      extended by laser.regularlanguage.fsa.util.FSAs<StringLabel>
          extended by laser.regularlanguage.fsa.util.StringFSAs

public class StringFSAs
extends FSAs<StringLabel>

The StringFSAs class contains various methods for manipulating finite state automata (FSAs) such as regular operations, set operations, and others.

Author:
Heather M. Conboy (laser-software@cs.umass.edu)

Field Summary
 
Fields inherited from class laser.regularlanguage.fsa.util.FSAs
DESCRIPTION_PREFIX, DESCRIPTION_SEPARATOR, DESCRIPTION_SUFFIX, dfaFactory_, fsaFactory_, NAME_SEPARATOR
 
Constructor Summary
StringFSAs()
          Creates a StringFSAs class.
StringFSAs(FSAFactoryInterface<StringLabel> fsaFactory)
          Creates a StringFSAs class.
StringFSAs(FSAFactoryInterface<StringLabel> fsaFactory, FSAFactoryInterface<StringLabel> dfaFactory)
          Creates a new StringFSAs class.
 
Method Summary
static StringFSAs getStaticInstance()
          Gets the static StringFSAs instance.
 
Methods inherited from class laser.regularlanguage.fsa.util.FSAs
checkClass, checkPreconditions, complement, concatenation, convertFSAtoDFA, convertFSAtoNFA, createDeterminizer, createInflater, createIntersectComposer, createMinimizer, createProductComposer, createUnionComposer, deleteUnnecessaryStates, determinize, differenceAsymmetric, differenceSymmetric, empty, epsilon, getDFAFactory, getFSAFactory, inflateConstructive, inflateDestructive, intersect, isEmpty, isEquivalent, label, minimize, normalize, product, replaceLabelsWithEpsilon, reverse, setFSAAttributes, setFSAAttributes, star, union
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StringFSAs

public StringFSAs()
Creates a StringFSAs class.


StringFSAs

public StringFSAs(FSAFactoryInterface<StringLabel> fsaFactory)
Creates a StringFSAs class.

Parameters:
fsaFactory - The FSAFactoryInterface to be used to create FSAs and DFAs

StringFSAs

public StringFSAs(FSAFactoryInterface<StringLabel> fsaFactory,
                  FSAFactoryInterface<StringLabel> dfaFactory)
Creates a new StringFSAs class.

Parameters:
fsaFactory - The FSAFactoryInterface to be used to create new FSAs
dfaFactory - The FSAFactoryInterface to be used to create new DFAs
Method Detail

getStaticInstance

public static StringFSAs getStaticInstance()
Gets the static StringFSAs instance.

Returns:
The static StringFSAs instance