Package | Description |
---|---|
org.processmining.models.graphbased.directed.transitionsystem |
Modifier and Type | Method and Description |
---|---|
static ReachabilityGraph |
TransitionSystemFactory.cloneReachabilityGraph(ReachabilityGraph ts) |
static ReachabilityGraph |
TransitionSystemFactory.newReachabilityGraph(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
static ReachabilityGraph |
TransitionSystemFactory.cloneReachabilityGraph(ReachabilityGraph ts) |
static CoverabilityGraph |
TransitionSystemFactory.toCoverabilityGraph(ReachabilityGraph ts) |