org.jbpt.petri.unfolding

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>>

All Superinterfaces:

Cloneable, Comparable<IGObject>, IBPNode<N>, IEntity, IGObject, IVertex

All Known Implementing Classes:

AbstractCondition, Condition

public 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>>
extends IBPNode<N>

Interface to a condition of a branching process.

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
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.
void	setPlace(P place)
void	setPreEvent(E event)

Methods inherited from interface org.jbpt.petri.unfolding.IBPNode

getPetriNetNode, isCondition, isEvent

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, getName, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

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

clone, getLabel

Method Detail

getPlace

P getPlace()

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

Returns:

Corresponding place in the originative net system.

getPreEvent

E getPreEvent()

Get the event in the preset of this condition.

Returns:

Event in the preset of this condition.

setPlace

void setPlace(P place)

setPreEvent

void setPreEvent(E event)