Uses of Interface
nfa.transitionlabel.TransitionLabel

Packages that use TransitionLabel

Package	Description
analysis
nfa
nfa.transitionlabel

Uses of TransitionLabel in analysis

Classes in analysis that implement TransitionLabel

Modifier and Type	Class and Description
static class	NFAAnalyser.IdaSpecialTransitionLabel

Methods in analysis that return TransitionLabel

Modifier and Type	Method and Description
TransitionLabel	NFAAnalyser.IdaSpecialTransitionLabel.complement()
TransitionLabel	NFAAnalyser.IdaSpecialTransitionLabel.copy()
TransitionLabel	NFAAnalyser.IdaSpecialTransitionLabel.intersection(TransitionLabel tl)
TransitionLabel	NFAAnalyser.IdaSpecialTransitionLabel.union(TransitionLabel tl)

Methods in analysis that return types with arguments of type TransitionLabel

Modifier and Type	Method and Description
static Set<TransitionLabel>	NFAAnalysisTools.getAlphabet(NFAGraph n)
LinkedList<TransitionLabel>	NFAAnalyser.IdaSpecialTransitionLabel.getTransitionLabels()

Methods in analysis with parameters of type TransitionLabel

Modifier and Type	Method and Description
TransitionLabel	NFAAnalyser.IdaSpecialTransitionLabel.intersection(TransitionLabel tl)
boolean	NFAAnalyser.IdaSpecialTransitionLabel.matches(TransitionLabel tl)
TransitionLabel	NFAAnalyser.IdaSpecialTransitionLabel.union(TransitionLabel tl)

Method parameters in analysis with type arguments of type TransitionLabel

Modifier and Type	Method and Description
static NFAGraph	NFAAnalysisTools.determinize(NFAGraph input, Set<NFAVertexND> reachableFromStart, Set<TransitionLabel> alphabet)
static NFAGraph	NFAAnalysisTools.productConstruction(NFAGraph m1, NFAGraph m2, HashMap<NFAEdge,TransitionLabel> originalWords)

Constructor parameters in analysis with type arguments of type TransitionLabel

Constructor and Description
IdaSpecialTransitionLabel(LinkedList<TransitionLabel> transitionLabels)

Uses of TransitionLabel in nfa

Methods in nfa that return TransitionLabel

Modifier and Type	Method and Description
TransitionLabel	FilterEdge.getOutGoingTransitionCharacter()
TransitionLabel	NFAEdge.getTransitionLabel()

Methods in nfa with parameters of type TransitionLabel

Modifier and Type	Method and Description
boolean	NFAEdge.isTransitionFor(TransitionLabel tl)
boolean	FilterEdge.isTransitionFor(TransitionLabel tl)
void	NFAEdge.setTransitionLabel(TransitionLabel transitionLabel)

Constructors in nfa with parameters of type TransitionLabel

Constructor and Description
FilterEdge(NFAVertexND sourceVertex, NFAVertexND targetVertex, TransitionLabel transitionCharacter, TransitionLabel outGoingTransitionCharacter)
NFAEdge(NFAVertexND sourceVertex, NFAVertexND targetVertex, TransitionLabel transitionLabel)

Uses of TransitionLabel in nfa.transitionlabel

Classes in nfa.transitionlabel that implement TransitionLabel

Modifier and Type	Class and Description
class	CharacterClassTransitionLabel
class	EpsilonTransitionLabel

Methods in nfa.transitionlabel that return TransitionLabel

Modifier and Type	Method and Description
TransitionLabel	TransitionLabel.complement()
TransitionLabel	EpsilonTransitionLabel.complement()
TransitionLabel	CharacterClassTransitionLabel.complement()
TransitionLabel	TransitionLabel.copy()
TransitionLabel	EpsilonTransitionLabel.copy()
TransitionLabel	CharacterClassTransitionLabel.copy()
TransitionLabel	TransitionLabel.intersection(TransitionLabel tl)
TransitionLabel	EpsilonTransitionLabel.intersection(TransitionLabel tl)
TransitionLabel	CharacterClassTransitionLabel.intersection(TransitionLabel tl)
TransitionLabel	TransitionLabelParserRecursive.parseTransitionLabel()
TransitionLabel	TransitionLabel.union(TransitionLabel tl)
TransitionLabel	EpsilonTransitionLabel.union(TransitionLabel tl)
TransitionLabel	CharacterClassTransitionLabel.union(TransitionLabel tl)

Methods in nfa.transitionlabel with parameters of type TransitionLabel

Modifier and Type	Method and Description
TransitionLabel	TransitionLabel.intersection(TransitionLabel tl)
TransitionLabel	EpsilonTransitionLabel.intersection(TransitionLabel tl)
TransitionLabel	CharacterClassTransitionLabel.intersection(TransitionLabel tl)
boolean	TransitionLabel.matches(TransitionLabel tl)
boolean	EpsilonTransitionLabel.matches(TransitionLabel tl)
boolean	CharacterClassTransitionLabel.matches(TransitionLabel tl)
TransitionLabel	TransitionLabel.union(TransitionLabel tl)
TransitionLabel	EpsilonTransitionLabel.union(TransitionLabel tl)
TransitionLabel	CharacterClassTransitionLabel.union(TransitionLabel tl)