Uses of Class
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph

Packages that use ReachabilityGraph

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

Uses of ReachabilityGraph in org.processmining.models.graphbased.directed.transitionsystem

Methods in org.processmining.models.graphbased.directed.transitionsystem that return ReachabilityGraph

Modifier and Type	Method and Description
static ReachabilityGraph	TransitionSystemFactory.cloneReachabilityGraph(ReachabilityGraph ts)
static ReachabilityGraph	TransitionSystemFactory.newReachabilityGraph(java.lang.String label)

Methods in org.processmining.models.graphbased.directed.transitionsystem with parameters of type ReachabilityGraph

Modifier and Type	Method and Description
static ReachabilityGraph	TransitionSystemFactory.cloneReachabilityGraph(ReachabilityGraph ts)
static CoverabilityGraph	TransitionSystemFactory.toCoverabilityGraph(ReachabilityGraph ts)