public class ExtendedCoverabilityGraph
extends org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph
Constructor and Description |
---|
ExtendedCoverabilityGraph(java.lang.String label,
int costActivityNotInProcess) |
Modifier and Type | Method and Description |
---|---|
int |
getCostActivityNotInProcess() |
addProxyMap, addState, addTransition, cloneFrom, findTransition, getEdges, getEdges, getEmptyClone, getNode, getNodes, getStates, getTransitionObjects, getTransitions, putProxy, removeEdge, removeNode, removeState, removeTransition
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
getLabel
getInEdges, getOutEdges
equals, getGraph, hashCode