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

Class CoverabilityGraphConnection

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

All Implemented Interfaces:

org.processmining.framework.connections.Connection

public class CoverabilityGraphConnection
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
CoverabilityGraphConnection(PetrinetGraph net, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem coverabilityGraph, Marking marking, 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

CoverabilityGraphConnection

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