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

Class StateSpaceConnection

java.lang.Object

org.processmining.framework.connections.impl.AbstractConnection

org.processmining.framework.connections.impl.AbstractStrongReferencingConnection

org.processmining.models.connections.petrinets.behavioral.AbstractSemanticConnection

org.processmining.models.connections.petrinets.behavioral.StateSpaceConnection

All Implemented Interfaces:

org.processmining.framework.connections.Connection

public class StateSpaceConnection
extends AbstractSemanticConnection

Field Summary

Fields

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

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

MARKING, NET, SEMANTICS

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

manager

Constructor Summary

Constructors

Constructor	Description
StateSpaceConnection(PetrinetGraph net, Marking marking, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem statespace, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)

Method Summary

Methods inherited from class org.processmining.models.connections.petrinets.behavioral.AbstractSemanticConnection

getSemantics

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

STATEPACE

public static final java.lang.String STATEPACE

See Also:

Constant Field Values

Constructor Detail

StateSpaceConnection

public StateSpaceConnection(PetrinetGraph net,
                            Marking marking,
                            org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem statespace,
                            org.processmining.models.semantics.Semantics<Marking,Transition> semantics)