nfa

Class NFAEdge

java.lang.Object

org.jgrapht.graph.DefaultEdge

nfa.NFAEdge

All Implemented Interfaces:

Serializable, Cloneable, Comparable<NFAEdge>

Direct Known Subclasses:

FilterEdge

public class NFAEdge
extends org.jgrapht.graph.DefaultEdge
implements Comparable<NFAEdge>

An edge used to represent one of the transitions in an NFA.

Author:

N. H. Weideman

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NFAEdge(NFAVertexND sourceVertex, NFAVertexND targetVertex, String transitionLabelString)
NFAEdge(NFAVertexND sourceVertex, NFAVertexND targetVertex, TransitionLabel transitionLabel)

Method Summary

Modifier and Type	Method and Description
int	compareTo(NFAEdge o)
NFAEdge	copy()
boolean	equals(Object o)
String	getATransitionCharacter()
boolean	getIsEpsilonTransition()
int	getNumParallel()
NFAVertexND	getSourceVertex()
NFAVertexND	getTargetVertex()
TransitionLabel	getTransitionLabel()
TransitionLabel.TransitionType	getTransitionType()
int	hashCode()
void	incNumParallel()
boolean	isTransitionFor(String word)
boolean	isTransitionFor(TransitionLabel tl)
void	setNumParallel(int numParallel)
void	setTransitionLabel(String transitionLabelString)
void	setTransitionLabel(TransitionLabel transitionLabel)
String	toString()

Methods inherited from class org.jgrapht.graph.DefaultEdge

getSource, getTarget

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NFAEdge

public NFAEdge(NFAVertexND sourceVertex,
               NFAVertexND targetVertex,
               String transitionLabelString)
        throws EmptyTransitionLabelException

Throws:

EmptyTransitionLabelException

NFAEdge

public NFAEdge(NFAVertexND sourceVertex,
               NFAVertexND targetVertex,
               TransitionLabel transitionLabel)

Method Detail

getSourceVertex

public NFAVertexND getSourceVertex()

getTargetVertex

public NFAVertexND getTargetVertex()

getNumParallel

public int getNumParallel()

setNumParallel

public void setNumParallel(int numParallel)

incNumParallel

public void incNumParallel()

getTransitionLabel

public TransitionLabel getTransitionLabel()

getATransitionCharacter

public String getATransitionCharacter()

setTransitionLabel

public void setTransitionLabel(String transitionLabelString)

setTransitionLabel

public void setTransitionLabel(TransitionLabel transitionLabel)

getIsEpsilonTransition

public boolean getIsEpsilonTransition()

getTransitionType

public TransitionLabel.TransitionType getTransitionType()

copy

public NFAEdge copy()

Returns:

A new instance of an NFAEdge equal to this instance.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class org.jgrapht.graph.DefaultEdge

isTransitionFor

public boolean isTransitionFor(String word)

isTransitionFor

public boolean isTransitionFor(TransitionLabel tl)

compareTo

public int compareTo(NFAEdge o)

Specified by:

compareTo in interface Comparable<NFAEdge>