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

Class TransitionSystemFactory

java.lang.Object

org.processmining.models.graphbased.directed.transitionsystem.TransitionSystemFactory

public class TransitionSystemFactory
extends java.lang.Object

Method Summary

Modifier and Type	Method	Description
static CoverabilityGraph	cloneCoverabilityGraph(CoverabilityGraph ts)
static ReachabilityGraph	cloneReachabilityGraph(ReachabilityGraph ts)
static TransitionSystem	cloneTransitionSystem(TransitionSystem ts)
static CoverabilityGraph	newCoverabilityGraph(java.lang.String label)
static ReachabilityGraph	newReachabilityGraph(java.lang.String label)
static TransitionSystem	newTransitionSystem(java.lang.String label)
static CoverabilityGraph	toCoverabilityGraph(ReachabilityGraph ts)

Methods inherited from class java.lang.Object

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

Method Detail

newTransitionSystem

public static TransitionSystem newTransitionSystem(java.lang.String label)

newReachabilityGraph

public static ReachabilityGraph newReachabilityGraph(java.lang.String label)

newCoverabilityGraph

public static CoverabilityGraph newCoverabilityGraph(java.lang.String label)

cloneTransitionSystem

public static TransitionSystem cloneTransitionSystem(TransitionSystem ts)

cloneReachabilityGraph

public static ReachabilityGraph cloneReachabilityGraph(ReachabilityGraph ts)

cloneCoverabilityGraph

public static CoverabilityGraph cloneCoverabilityGraph(CoverabilityGraph ts)

toCoverabilityGraph

public static CoverabilityGraph toCoverabilityGraph(ReachabilityGraph ts)