org.jbpt.petri.unfolding

Class AbstractCondition<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,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.hypergraph.abs.GObject

org.jbpt.hypergraph.abs.Vertex

org.jbpt.petri.unfolding.AbstractBPNode<N>

org.jbpt.petri.unfolding.AbstractCondition<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IEntity, IGObject, IVertex, IBPNode<N>, ICondition<BPN,C,E,F,N,P,T,M>

Direct Known Subclasses:

Condition

public abstract class AbstractCondition<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends AbstractBPNode<N>
implements ICondition<BPN,C,E,F,N,P,T,M>

Field Summary

Fields inherited from class org.jbpt.petri.unfolding.AbstractBPNode

ID

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractCondition()
	AbstractCondition(P place, E event)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object that)
String	getName()
N	getPetriNetNode() Get a Petri net node associated with this node of a branching process.
P	getPlace() Get the place in the originative net system which this condition represents.
E	getPreEvent() Get the event in the preset of this condition.
int	hashCode()
boolean	isCondition() Check if this node is condition.
boolean	isEvent() Check if this node is event.
void	setPlace(P place)
void	setPreEvent(E event)
String	toString()

Methods inherited from class org.jbpt.petri.unfolding.AbstractBPNode

getLabel

Methods inherited from class org.jbpt.hypergraph.abs.Vertex

getHeight, getWidth, getX, getY, setHeight, setLayout, setLocation, setSize, setWidth, setX, setY

Methods inherited from class org.jbpt.hypergraph.abs.GObject

clone, compareTo, getDescription, getId, getTag, setDescription, setId, setName, setTag

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jbpt.hypergraph.abs.IVertex

getHeight, getWidth, getX, getY, setHeight, setLayout, setLocation, setSize, setWidth, setX, setY

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.jbpt.hypergraph.abs.IEntity

clone, getLabel

Constructor Detail

AbstractCondition

protected AbstractCondition()

AbstractCondition

public AbstractCondition(P place,
                 E event)

Method Detail

getPlace

public P getPlace()

Description copied from interface: ICondition

Get the place in the originative net system which this condition represents.

Specified by:

getPlace in interface ICondition<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Returns:

Corresponding place in the originative net system.

getPreEvent

public E getPreEvent()

Description copied from interface: ICondition

Get the event in the preset of this condition.

Specified by:

getPreEvent in interface ICondition<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Returns:

Event in the preset of this condition.

setPlace

public void setPlace(P place)

Specified by:

setPlace in interface ICondition<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

toString

public String toString()

Overrides:

toString in class GObject

getName

public String getName()

Specified by:

getName in interface IGObject

Overrides:

getName in class GObject

equals

public boolean equals(Object that)

Overrides:

equals in class GObject

hashCode

public int hashCode()

Overrides:

hashCode in class GObject

getPetriNetNode

public N getPetriNetNode()

Description copied from interface: IBPNode

Get a Petri net node associated with this node of a branching process.

Specified by:

getPetriNetNode in interface IBPNode<N extends INode>

Returns:

A Petri net node of the originative net system associated with this node in the given branching process.

isEvent

public boolean isEvent()

Description copied from interface: IBPNode

Check if this node is event.

Specified by:

isEvent in interface IBPNode<N extends INode>

Returns:

true if this node is event; otherwise false.

isCondition

public boolean isCondition()

Description copied from interface: IBPNode

Check if this node is condition.

Specified by:

isCondition in interface IBPNode<N extends INode>

Returns:

true if this node is condition; otherwise false.

setPreEvent

public void setPreEvent(E event)

Specified by:

setPreEvent in interface ICondition<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>