Package org.processmining.models.connections.petrinets.behavioral

Class ReachabilitySetConnection

java.lang.Object

org.processmining.framework.connections.impl.AbstractConnection

org.processmining.framework.connections.impl.AbstractStrongReferencingConnection

org.processmining.models.connections.petrinets.behavioral.MarkingsetNetConnection

org.processmining.models.connections.petrinets.behavioral.ReachabilitySetConnection

All Implemented Interfaces:

org.processmining.framework.connections.Connection

public class ReachabilitySetConnection
extends MarkingsetNetConnection

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	INITIALMARKING

Fields inherited from class org.processmining.models.connections.petrinets.behavioral.MarkingsetNetConnection

MARKINGS, NET, SEMANTICS

Fields inherited from class org.processmining.framework.connections.impl.AbstractConnection

manager

Constructor Summary

Constructors

Constructor	Description
ReachabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)

Method Summary

Methods inherited from class org.processmining.framework.connections.impl.AbstractStrongReferencingConnection

isRemoved, putStrong

Methods inherited from class org.processmining.framework.connections.impl.AbstractConnection

containsObjects, containsObjects, equals, get, getID, getLabel, getMapping, getObjects, getObjectWithRole, getRoles, hashCode, put, remove, remove, setLabel, setManager, toString, updated

Methods inherited from class java.lang.Object

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

Field Detail

INITIALMARKING

public static final java.lang.String INITIALMARKING

See Also:

Constant Field Values

Constructor Detail

ReachabilitySetConnection

public ReachabilitySetConnection(PetrinetGraph net,
                                 Marking initial,
                                 AbstractMarkingSet<?> marking,
                                 org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
                                 java.lang.String setName)