org.processmining.models.graphbased.directed.transitionsystem

Class ReachabilityGraph

java.lang.Object

org.processmining.models.graphbased.AbstractGraphElement

org.processmining.models.graphbased.AbstractGraph

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

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

org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph

All Implemented Interfaces:

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

public class ReachabilityGraph
extends TransitionSystemImpl

Field Summary

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

id

Constructor Summary

Constructors

Constructor and Description
ReachabilityGraph(java.lang.String label)

Method Summary

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

addProxyMap, addState, addTransition, cloneFrom, findTransition, getEdges, getEdges, getEmptyClone, getNode, getNodes, getStates, 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, hashCode, 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

ReachabilityGraph

public ReachabilityGraph(java.lang.String label)