nfa

Class NFAGraph

java.lang.Object

org.jgrapht.graph.AbstractGraph<V,E>

org.jgrapht.graph.AbstractBaseGraph<V,E>

org.jgrapht.graph.DirectedPseudograph<NFAVertexND,NFAEdge>

nfa.NFAGraph

All Implemented Interfaces:

Serializable, Cloneable, org.jgrapht.Graph<NFAVertexND,NFAEdge>

public class NFAGraph
extends org.jgrapht.graph.DirectedPseudograph<NFAVertexND,NFAEdge>

A graph representing an NFA.

Author:

N. H. Weideman

See Also:

Serialized Form

Field Summary

Fields inherited from interface org.jgrapht.Graph

DEFAULT_EDGE_WEIGHT

Constructor Summary

Constructors

Constructor and Description
NFAGraph()

Method Summary

Modifier and Type	Method and Description
void	addAcceptingState(NFAVertexND acceptingState)
boolean	addEdge(NFAEdge newEdge) Adds a new edge to the NFA graph
boolean	addVertex(NFAVertexND v)
NFAGraph	copy()
boolean	equals(Object o)
Set<NFAVertexND>	getAcceptingStates()
NFAEdge	getEdge(NFAEdge e)
NFAVertexND	getInitialState()
boolean	isAcceptingState(NFAVertexND state)
boolean	isAcceptingState(String stateNumber)
Set<NFAEdge>	outgoingEpsilonEdgesOf(NFAVertexND v) All the edges representing an epsilon transition from a vertex
void	removeAcceptingState(NFAVertexND acceptingState)
NFAGraph	reverse()
void	setInitialState(NFAVertexND initialState)
String	toString()

Methods inherited from class org.jgrapht.graph.DirectedPseudograph

createBuilder, createBuilder

Methods inherited from class org.jgrapht.graph.AbstractBaseGraph

addEdge, addEdge, addVertex, clone, containsEdge, containsVertex, degreeOf, edgeSet, edgesOf, getAllEdges, getEdge, getEdgeSource, getEdgeSupplier, getEdgeTarget, getEdgeWeight, getType, getVertexSupplier, incomingEdgesOf, inDegreeOf, iterables, outDegreeOf, outgoingEdgesOf, removeEdge, removeEdge, removeVertex, setEdgeSupplier, setEdgeWeight, setVertexSupplier, vertexSet

Methods inherited from class org.jgrapht.graph.AbstractGraph

assertVertexExist, containsEdge, hashCode, removeAllEdges, removeAllEdges, removeAllEdges, removeAllVertices, toStringFromSets

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jgrapht.Graph

containsEdge, removeAllEdges, removeAllEdges, removeAllVertices, setEdgeWeight

Constructor Detail

NFAGraph

public NFAGraph()

Method Detail

getInitialState

public NFAVertexND getInitialState()

setInitialState

public void setInitialState(NFAVertexND initialState)

addAcceptingState

public void addAcceptingState(NFAVertexND acceptingState)

isAcceptingState

public boolean isAcceptingState(String stateNumber)

isAcceptingState

public boolean isAcceptingState(NFAVertexND state)

removeAcceptingState

public void removeAcceptingState(NFAVertexND acceptingState)

getAcceptingStates

public Set<NFAVertexND> getAcceptingStates()

copy

public NFAGraph copy()

Returns:

A new instance of a NFAGraph equal to this instance

addEdge

public boolean addEdge(NFAEdge newEdge)

Adds a new edge to the NFA graph

Parameters:

newEdge - The new edge to add

Returns:

true if this graph did not already contain the specified edge

outgoingEpsilonEdgesOf

public Set<NFAEdge> outgoingEpsilonEdgesOf(NFAVertexND v)

All the edges representing an epsilon transition from a vertex

Parameters:

v - The vertex to find the epsilon transitions from.

Returns:

A set of NFA edges representing the epsilon transitions.

addVertex

public boolean addVertex(NFAVertexND v)

Specified by:

addVertex in interface org.jgrapht.Graph<NFAVertexND,NFAEdge>

Overrides:

addVertex in class org.jgrapht.graph.AbstractBaseGraph<NFAVertexND,NFAEdge>

getEdge

public NFAEdge getEdge(NFAEdge e)

equals

public boolean equals(Object o)

Overrides:

equals in class org.jgrapht.graph.AbstractGraph<NFAVertexND,NFAEdge>

reverse

public NFAGraph reverse()

toString

public String toString()

Overrides:

toString in class org.jgrapht.graph.AbstractGraph<NFAVertexND,NFAEdge>