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

Type Parameters:
L - The type of Label associated with the FSA that contains this transition.
All Superinterfaces:
Annotatable, java.lang.Comparable<FSATransitionInterface<L>>, FSATransitionInterface<L>, java.io.Serializable
All Known Implementing Classes:
FSALabelPatternTransition

public interface FSALabelPatternTransitionInterface<L extends LabelInterface>
extends FSATransitionInterface<L>

Classes implementing this interface represent transitions on a LabelPattern in FSAs of type MutableFSAInterface.

More formally, a transition t on label pattern p represents a set of transitions T' on labels from the alphabet Σ of the FSA that label pattern p matches.

T' = { t' | source(t') = source(t) ∧ target(t') = target(t) ∧ label(t') ∈ p.getMatchingLabels(Σ) }

Author:
Nathan Jokel (laser-software@cs.umass.edu)
See Also:
FSATransitionInterface, MutableFSAInterface.replaceLabelPatternTransitionsWithLabelTransitions(), laser.alphabetinterface.labelpatterninterface.LabelPatternInterface

Method Summary
 LabelPatternInterface<L> getLabelPattern()
          Returns a copy of the LabelPattern of this transition.
 
Methods inherited from interface laser.regularlanguage.fsa.FSATransitionInterface
getFSA, getID, getSource, getTarget
 
Methods inherited from interface laser.util.Annotatable
addAnnotation, addAnnotations, copyAnnotations, getAnnotationClasses, getAnnotationClasses, getAnnotationFilters, getAnnotations, getAnnotations, removeAnnotation, removeAnnotations, removeAnnotations, removeAnnotations, setAnnotationFilters
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Method Detail

getLabelPattern

LabelPatternInterface<L> getLabelPattern()
Returns a copy of the LabelPattern of this transition. No references are maintained between the returned LabelPattern and the LabelPattern on the transition, thus modifying the returned LabelPattern has no effect on the LabelPattern of the transition and vice versa.

Returns:
A copy of the LabelPattern of this transition.