org.processmining.streamconformance.regions.plugin.cg

Class ExtendedCoverabilityGraph

java.lang.Object

org.processmining.models.graphbased.AbstractGraphElement

org.processmining.models.graphbased.AbstractGraph

org.processmining.models.graphbased.directed.AbstractDirectedGraph<org.processmining.models.graphbased.directed.transitionsystem.State,org.processmining.models.graphbased.directed.transitionsystem.Transition>

org.processmining.models.graphbased.directed.transitionsystem.TransitionSystemImpl

org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph

org.processmining.streamconformance.regions.plugin.cg.ExtendedCoverabilityGraph

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Comparable<org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.transitionsystem.State,org.processmining.models.graphbased.directed.transitionsystem.Transition>>, org.processmining.models.graphbased.AttributeMapOwner, org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.transitionsystem.State,org.processmining.models.graphbased.directed.transitionsystem.Transition>, org.processmining.models.graphbased.directed.DirectedGraphElement, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem

public class ExtendedCoverabilityGraph
extends org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph

Field Summary

Fields inherited from class org.processmining.models.graphbased.AbstractGraph

id

Constructor Summary

Constructors

Constructor and Description
ExtendedCoverabilityGraph(java.lang.String label, int costActivityNotInProcess)

Method Summary

Modifier and Type	Method and Description
int	getCostActivityNotInProcess()

Methods inherited from class org.processmining.models.graphbased.directed.transitionsystem.TransitionSystemImpl

addProxyMap, addState, addTransition, cloneFrom, findTransition, getEdges, getEdges, getEmptyClone, getNode, getNodes, getStates, getTransitionObjects, getTransitions, putProxy, removeEdge, removeNode, removeState, removeTransition

Methods inherited from class org.processmining.models.graphbased.directed.AbstractDirectedGraph

checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges

Methods inherited from class org.processmining.models.graphbased.AbstractGraph

equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection

Methods inherited from class org.processmining.models.graphbased.AbstractGraphElement

getAttributeMap, getLabel, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem

getLabel

Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraph

getInEdges, getOutEdges

Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphElement

equals, getGraph, hashCode

Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner

getAttributeMap

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

ExtendedCoverabilityGraph

public ExtendedCoverabilityGraph(java.lang.String label,
                                 int costActivityNotInProcess)

Method Detail

getCostActivityNotInProcess

public int getCostActivityNotInProcess()