Package | Description |
---|---|
org.processmining.models.graphbased.directed.transitionsystem |
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) |
Modifier and Type | Method and Description |
---|---|
static CoverabilityGraph |
TransitionSystemFactory.cloneCoverabilityGraph(CoverabilityGraph ts) |