laser.regularlanguage.fsa
Interface MutableDFAInterface<L extends LabelInterface>

Type Parameters:
L - The type of Label associated with this FSA.
All Superinterfaces:
Annotatable, ArtifactInterface, java.lang.Cloneable, DFAInterface<L>, FSAInterface<L>, MutableFSAInterface<L>, Persistent, java.io.Serializable, Visualizable
All Known Implementing Classes:
MutableDFA

public interface MutableDFAInterface<L extends LabelInterface>
extends DFAInterface<L>, MutableFSAInterface<L>

This class represents mutable FSAs that have been explicitly specified as being deterministic.

Author:
Nathan A. Jokel (laser-software@cs.umass.edu)
See Also:
MutableFSAInterface

Field Summary
 
Fields inherited from interface laser.util.Persistent
PER_EXTENSION, READ_PERSISTENT_METHOD_NAME
 
Fields inherited from interface laser.util.Persistent
PER_EXTENSION, READ_PERSISTENT_METHOD_NAME
 
Method Summary
 
Methods inherited from interface laser.regularlanguage.fsa.FSAInterface
checkWellFormed, clone, getAcceptStates, getAlphabet, getDescription, getEpsilonTransition, getFactory, getName, getNonAcceptStates, getStartState, getStates, getStateWithID, getTransition, getTransitions, getTransitions, getTransitionWithID, hasTransitionsOnEpsilon, isDeterministic, isTotal, setDescription, setName, supportsEpsilonTransitions, supportsNondeterminism
 
Methods inherited from interface laser.util.Annotatable
addAnnotation, addAnnotations, copyAnnotations, getAnnotationClasses, getAnnotationClasses, getAnnotationFilters, getAnnotations, getAnnotations, removeAnnotation, removeAnnotations, removeAnnotations, removeAnnotations, setAnnotationFilters
 
Methods inherited from interface laser.util.Persistent
writePersistent, writePersistent
 
Methods inherited from interface laser.util.Visualizable
getVisExtension, visualize, visualize
 
Methods inherited from interface laser.regularlanguage.fsa.MutableFSAInterface
addEpsilonTransition, addLabel, addLabels, addState, addTransition, addTransition, addTransitions, copy, copyFSAAttributes, copyState, copyTransition, deleteDeadStates, deleteUnreachableStates, getLabelPatterns, getRunnableFSA, getTransition, hasTransitionsOnLabelPatterns, makeTotal, removeLabel, removeLabels, removeState, removeTransition, removeTransitions, replaceLabelPatternTransitionsWithLabelTransitions, setAlphabet, setStartState, supportsLabelPatterns
 
Methods inherited from interface laser.regularlanguage.fsa.FSAInterface
checkWellFormed, clone, getAcceptStates, getAlphabet, getDescription, getEpsilonTransition, getFactory, getName, getNonAcceptStates, getStartState, getStates, getStateWithID, getTransition, getTransitions, getTransitions, getTransitionWithID, hasTransitionsOnEpsilon, isDeterministic, isTotal, setDescription, setName, supportsEpsilonTransitions, supportsNondeterminism
 
Methods inherited from interface laser.util.Annotatable
addAnnotation, addAnnotations, copyAnnotations, getAnnotationClasses, getAnnotationClasses, getAnnotationFilters, getAnnotations, getAnnotations, removeAnnotation, removeAnnotations, removeAnnotations, removeAnnotations, setAnnotationFilters
 
Methods inherited from interface laser.util.Persistent
writePersistent, writePersistent
 
Methods inherited from interface laser.util.Visualizable
getVisExtension, visualize, visualize