Package org.processmining.models.graphbased.directed.transitionsystem

Interface TransitionSystem

All Superinterfaces:

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

All Known Implementing Classes:

CoverabilityGraph, EventPayloadTransitionSystem, PayloadTransitionSystem, ReachabilityGraph, TransitionSystemImpl, TSMinerTransitionSystem

public interface TransitionSystem
extends org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>

Method Summary

Modifier and Type	Method	Description
boolean	addState(java.lang.Object identifier)
boolean	addTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
Transition	findTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
java.util.Collection<Transition>	getEdges(java.lang.Object identifier)
java.lang.String	getLabel()
State	getNode(java.lang.Object identifier)
java.util.Collection<? extends java.lang.Object>	getStates()
java.util.Collection<java.lang.Object>	getTransitions()
java.lang.Object	removeState(java.lang.Object identifier)
java.lang.Object	removeTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)

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

getAttributeMap

Methods inherited from interface java.lang.Comparable

compareTo

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

getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode

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

equals, getGraph, hashCode

Method Detail

getLabel

java.lang.String getLabel()

Specified by:

getLabel in interface org.processmining.models.graphbased.directed.DirectedGraphElement

addTransition

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

removeTransition

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

getTransitions

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

getEdges

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

addState

boolean addState(java.lang.Object identifier)

removeState

java.lang.Object removeState(java.lang.Object identifier)

getStates

java.util.Collection<? extends java.lang.Object> getStates()

getNode

State getNode(java.lang.Object identifier)

findTransition

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