me.jaimegarza.syntax.model.graph

Class DfaNode

java.lang.Object

me.jaimegarza.syntax.model.graph.Node

me.jaimegarza.syntax.model.graph.DfaNode

public class DfaNode
extends Node

A node for a dfa

Author:

jgarza

Field Summary

Fields inherited from class me.jaimegarza.syntax.model.graph.Node

accept, graph, id, index, starting, transitions, x, y

Constructor Summary

Constructors

Constructor and Description
DfaNode(Dfa graph, Set<NfaNode> closure) Constructor including precomputed ε-closure

Method Summary

Modifier and Type	Method and Description
Set<NfaNode>	eclosure() ε-closure is defined as the node, plus all other nodes that are reachable from this node with an ε transition, recursively.
boolean	equals(Object o)
int	getEdgeIndex()
Set<NfaNode>	getNfaTransitions(RegexSymbol symbol) Given a symbol, what nfa nodes are being transitioned to
Set<RegexSymbol>	getTransitionSymbols() Get all symbols transitioning out given the ε-closure
int	hashCode()
static void	reset() Needed for test cases
void	setEdgeIndex(int edgeIndex) Setter for the edge index
int	sizeof()

Methods inherited from class me.jaimegarza.syntax.model.graph.Node

addTransition, getCodeTransitions, getGraph, getId, getIndex, getTransitions, getX, getY, isAccept, isStarting, removeTransition, setAccept, setIndex, setStarting, setX, setY, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DfaNode

public DfaNode(Dfa graph,
               Set<NfaNode> closure)

Constructor including precomputed ε-closure

Parameters:

graph - the source graph

closure - the Nfa closure

Method Detail

eclosure

public Set<NfaNode> eclosure()

Description copied from class: Node

ε-closure is defined as the node, plus all other nodes that are reachable from this node with an ε transition, recursively.

Specified by:

eclosure in class Node

Returns:

the e-closure

getTransitionSymbols

public Set<RegexSymbol> getTransitionSymbols()

Get all symbols transitioning out given the ε-closure

Returns:

the set of symbols

getNfaTransitions

public Set<NfaNode> getNfaTransitions(RegexSymbol symbol)

Given a symbol, what nfa nodes are being transitioned to

Parameters:

symbol - is the symbol being checked

Returns:

the set of nfa nodes

sizeof

public int sizeof()

Returns:

the size of this node in the table

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

setEdgeIndex

public void setEdgeIndex(int edgeIndex)

Setter for the edge index

Parameters:

edgeIndex - is the index of the edge

getEdgeIndex

public int getEdgeIndex()

Returns:

the edgeIndex

reset

public static void reset()

Needed for test cases