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

Packages that use CoverabilityGraph

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

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

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

Modifier and Type	Method and Description
static CoverabilityGraph	TransitionSystemFactory.cloneCoverabilityGraph(CoverabilityGraph ts)
static CoverabilityGraph	TransitionSystemFactory.newCoverabilityGraph(java.lang.String label)
static CoverabilityGraph	TransitionSystemFactory.toCoverabilityGraph(ReachabilityGraph ts)

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

Modifier and Type	Method and Description
static CoverabilityGraph	TransitionSystemFactory.cloneCoverabilityGraph(CoverabilityGraph ts)