nfa

Class FilterEdge

java.lang.Object

org.jgrapht.graph.DefaultEdge

nfa.NFAEdge

nfa.FilterEdge

All Implemented Interfaces:

Serializable, Cloneable, Comparable<NFAEdge>

public class FilterEdge
extends NFAEdge

An NFA edge specifically used in the Mohri Filter.

Author:

N. H. Weideman

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
NFAEdge	copy()
boolean	equals(Object o)
TransitionLabel	getOutGoingTransitionCharacter()
int	hashCode()
boolean	isTransitionFor(String word)
boolean	isTransitionFor(TransitionLabel tl)
void	setOutGoingTransitionCharacter(String outGoingTransitionCharacter)
String	toString()

Methods inherited from class nfa.NFAEdge

compareTo, getATransitionCharacter, getIsEpsilonTransition, getNumParallel, getSourceVertex, getTargetVertex, getTransitionLabel, getTransitionType, incNumParallel, setNumParallel, setTransitionLabel, setTransitionLabel

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

FilterEdge

public FilterEdge(NFAVertexND sourceVertex,
                  NFAVertexND targetVertex,
                  String transitionCharacter,
                  String outGoingTransitionCharacter)
           throws EmptyTransitionLabelException

Throws:

EmptyTransitionLabelException

FilterEdge

public FilterEdge(NFAVertexND sourceVertex,
                  NFAVertexND targetVertex,
                  TransitionLabel transitionCharacter,
                  TransitionLabel outGoingTransitionCharacter)

Method Detail

getOutGoingTransitionCharacter

public TransitionLabel getOutGoingTransitionCharacter()

setOutGoingTransitionCharacter

public void setOutGoingTransitionCharacter(String outGoingTransitionCharacter)

copy

public NFAEdge copy()

Overrides:

copy in class NFAEdge

Returns:

A new instance of an NFAEdge equal to this instance.

isTransitionFor

public boolean isTransitionFor(String word)

Overrides:

isTransitionFor in class NFAEdge

isTransitionFor

public boolean isTransitionFor(TransitionLabel tl)

Overrides:

isTransitionFor in class NFAEdge

equals

public boolean equals(Object o)

Overrides:

equals in class NFAEdge

toString

public String toString()

Overrides:

toString in class NFAEdge

hashCode

public int hashCode()

Overrides:

hashCode in class NFAEdge