org.jbpt.petri.untangling

Class TreeStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

java.lang.Object

org.jbpt.petri.untangling.TreeStep<F,N,P,T,M>

public class TreeStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends Object

Constructor Summary

Constructors

Constructor and Description
TreeStep(INetSystem<F,N,P,T,M> system, TreeStep<F,N,P,T,M> parent, M inputMarking, T transition, M outputMarking, int position)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
IMarking<F,N,P,T>	getInputMarking()
IMarking<F,N,P,T>	getOutputMarking()
TreeStep<F,N,P,T,M>	getParent()
int	getPosition()
Set<TreeStep<F,N,P,T,M>>	getPossibleExtensions()
T	getTransition()
int	hashCode()
boolean	isSafe()
boolean	isSignificant()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TreeStep

public TreeStep(INetSystem<F,N,P,T,M> system,
        TreeStep<F,N,P,T,M> parent,
        M inputMarking,
        T transition,
        M outputMarking,
        int position)

Method Detail

isSafe

public boolean isSafe()

getPosition

public int getPosition()

getParent

public TreeStep<F,N,P,T,M> getParent()

getInputMarking

public IMarking<F,N,P,T> getInputMarking()

getOutputMarking

public IMarking<F,N,P,T> getOutputMarking()

getTransition

public T getTransition()

isSignificant

public boolean isSignificant()

getPossibleExtensions

public Set<TreeStep<F,N,P,T,M>> getPossibleExtensions()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object