org.processmining.models.graphbased.directed.transitionsystem

Class TransitionSystemImpl

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

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

Direct Known Subclasses:

CoverabilityGraph, PayloadTransitionSystem, ReachabilityGraph

public class TransitionSystemImpl
extends org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition>
implements TransitionSystem

Field Summary

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

id

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	addProxyMap(TransitionSystemImpl ts)
boolean	addState(java.lang.Object identifier)
boolean	addTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement>	cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<State,Transition> graph) The returned mapping satisfies: map.keySet().containsAll(graph.getNodes()) and map.keySet().containsAll(graph.getEdges())
Transition	findTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
java.util.Set<Transition>	getEdges()
java.util.Collection<Transition>	getEdges(java.lang.Object identifier)
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition>	getEmptyClone()
State	getNode(java.lang.Object identifier)
java.util.Set<State>	getNodes()
java.util.Collection<?>	getStates()
java.util.Collection<java.lang.Object>	getTransitions()
void	putProxy(java.lang.Object obj, java.lang.Object proxy)
void	removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge) Removes the given edge from the graph.
void	removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node)
java.lang.Object	removeState(java.lang.Object state)
java.lang.Object	removeTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)

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, 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

TransitionSystemImpl

public TransitionSystemImpl(java.lang.String label)

Method Detail

cloneFrom

protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<State,Transition> graph)

Description copied from class: org.processmining.models.graphbased.directed.AbstractDirectedGraph

The returned mapping satisfies: map.keySet().containsAll(graph.getNodes()) and map.keySet().containsAll(graph.getEdges())

Specified by:

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

Returns:

getEmptyClone

protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition> getEmptyClone()

Specified by:

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

removeEdge

public void removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)

Description copied from interface: org.processmining.models.graphbased.directed.DirectedGraph

Removes the given edge from the graph.

Specified by:

removeEdge in interface org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>

Specified by:

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

removeNode

public void removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node)

Specified by:

removeNode in interface org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>

getTransitions

public java.util.Collection<java.lang.Object> getTransitions()

Specified by:

getTransitions in interface TransitionSystem

getEdges

public java.util.Set<Transition> getEdges()

Specified by:

getEdges in interface org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>

getNodes

public java.util.Set<State> getNodes()

Specified by:

getNodes in interface org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>

addState

public boolean addState(java.lang.Object identifier)

Specified by:

addState in interface TransitionSystem

addTransition

public boolean addTransition(java.lang.Object fromState,
                    java.lang.Object toState,
                    java.lang.Object identifier)

Specified by:

addTransition in interface TransitionSystem

getStates

public java.util.Collection<?> getStates()

Specified by:

getStates in interface TransitionSystem

removeState

public java.lang.Object removeState(java.lang.Object state)

Specified by:

removeState in interface TransitionSystem

getNode

public State getNode(java.lang.Object identifier)

Specified by:

getNode in interface TransitionSystem

findTransition

public Transition findTransition(java.lang.Object fromState,
                        java.lang.Object toState,
                        java.lang.Object identifier)

Specified by:

findTransition in interface TransitionSystem

removeTransition

public java.lang.Object removeTransition(java.lang.Object fromState,
                                java.lang.Object toState,
                                java.lang.Object identifier)

Specified by:

removeTransition in interface TransitionSystem

getEdges

public java.util.Collection<Transition> getEdges(java.lang.Object identifier)

Specified by:

getEdges in interface TransitionSystem

putProxy

public void putProxy(java.lang.Object obj,
            java.lang.Object proxy)

addProxyMap

public void addProxyMap(TransitionSystemImpl ts)