org.processmining.models.connections.petrinets.behavioral
Class CoverabilityGraphConnection

java.lang.Object
  extended by org.processmining.framework.connections.impl.AbstractConnection
      extended by org.processmining.framework.connections.impl.AbstractStrongReferencingConnection
          extended by org.processmining.models.connections.petrinets.behavioral.AbstractSemanticConnection
              extended by org.processmining.models.connections.petrinets.behavioral.CoverabilityGraphConnection
All Implemented Interfaces:
org.processmining.framework.connections.Connection

public class CoverabilityGraphConnection
extends AbstractSemanticConnection


Field Summary
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
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)