net.ericaro.neobin

Class BinGrex

java.lang.Object

net.ericaro.neogrex.Grex<State,Transition>

net.ericaro.neobin.BinGrex

public class BinGrex
extends net.ericaro.neogrex.Grex<State,Transition>

Field Summary

Fields inherited from class net.ericaro.neogrex.Grex

g, in, outs

Constructor Summary

Constructors

Constructor and Description
BinGrex()
BinGrex(Transition t, State src, State target)

Method Summary

Methods

Modifier and Type	Method and Description
protected Transition	cloneTransition(Transition t)
State	getDest(Transition edge)
Collection<Transition>	getOutEdges(State current)
State	getSource(Transition edge)
State	getStartState()
Collection<State>	getStates()
Collection<Transition>	getTransitions()
boolean	isOutputState(State state)
protected BinGrex	newInstance()
protected State	newState()

Methods inherited from class net.ericaro.neogrex.Grex

opt, plus, sel, seq, star

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BinGrex

public BinGrex()

BinGrex

public BinGrex(Transition t,
       State src,
       State target)

Method Detail

newState

protected State newState()

Specified by:

newState in class net.ericaro.neogrex.Grex<State,Transition>

cloneTransition

protected Transition cloneTransition(Transition t)

Specified by:

cloneTransition in class net.ericaro.neogrex.Grex<State,Transition>

newInstance

protected BinGrex newInstance()

Specified by:

newInstance in class net.ericaro.neogrex.Grex<State,Transition>

getTransitions

public Collection<Transition> getTransitions()

getStates

public Collection<State> getStates()

getSource

public State getSource(Transition edge)

getDest

public State getDest(Transition edge)

getStartState

public State getStartState()

isOutputState

public boolean isOutputState(State state)

getOutEdges

public Collection<Transition> getOutEdges(State current)