org.jbpt.petri.unfolding

Interface IEvent<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:

AbstractEvent, Event

public interface IEvent<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 an event of a branching process.

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
ILocalConfiguration<BPN,C,E,F,N,P,T,M>	getLocalConfiguration()
ICoSet<BPN,C,E,F,N,P,T,M>	getPostConditions() Get post conditions of this event.
ICoSet<BPN,C,E,F,N,P,T,M>	getPreConditions() Get preconditions of this event.
T	getTransition() Get the transition that corresponds to this event.
void	setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpf)
void	setPostConditions(ICoSet<BPN,C,E,F,N,P,T,M> postConditions)
void	setPreConditions(ICoSet<BPN,C,E,F,N,P,T,M> preConditions)
void	setTransition(T transition)

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

getPostConditions

ICoSet<BPN,C,E,F,N,P,T,M> getPostConditions()

Get post conditions of this event.

Returns:

Post conditions.

getTransition

T getTransition()

Get the transition that corresponds to this event.

Returns:

Corresponding transition.

getPreConditions

ICoSet<BPN,C,E,F,N,P,T,M> getPreConditions()

Get preconditions of this event.

Returns:

Preconditions.

setTransition

void setTransition(T transition)

setPreConditions

void setPreConditions(ICoSet<BPN,C,E,F,N,P,T,M> preConditions)

setPostConditions

void setPostConditions(ICoSet<BPN,C,E,F,N,P,T,M> postConditions)

setCompletePrefixUnfolding

void setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpf)

getLocalConfiguration

ILocalConfiguration<BPN,C,E,F,N,P,T,M> getLocalConfiguration()