org.jbpt.petri.unfolding

Class Event

java.lang.Object

org.jbpt.hypergraph.abs.GObject

org.jbpt.hypergraph.abs.Vertex

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

org.jbpt.petri.unfolding.AbstractEvent<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.unfolding.Event

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IEntity, IGObject, IVertex, IBPNode<Node>, IEvent<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

public class Event
extends AbstractEvent<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

Field Summary

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

ID

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Event()
	Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)

Method Summary

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

equals, getLocalConfiguration, getName, getPetriNetNode, getPostConditions, getPreConditions, getTransition, hashCode, isCondition, isEvent, setCompletePrefixUnfolding, setPostConditions, setPreConditions, setTransition, 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

Event

protected Event()

Event

public Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu,
     Transition transition,
     ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)