public class TSUtils
extends java.lang.Object
Constructor and Description |
---|
TSUtils() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.models.graphbased.directed.transitionsystem.Transition |
getConnection(org.processmining.models.graphbased.directed.transitionsystem.State from,
org.processmining.models.graphbased.directed.transitionsystem.State to)
Get one transition connecting the two given states
|
static java.util.Set<org.processmining.models.graphbased.directed.transitionsystem.Transition> |
getIncomingNonTau(org.processmining.models.graphbased.directed.transitionsystem.State s,
java.util.Set<org.processmining.models.graphbased.directed.transitionsystem.Transition> i) |
static java.util.Set<org.processmining.models.graphbased.directed.transitionsystem.Transition> |
getOutgoingNonTau(org.processmining.models.graphbased.directed.transitionsystem.State s,
java.util.Set<org.processmining.models.graphbased.directed.transitionsystem.Transition> i) |
static java.util.List<DirectFollowingRelation> |
getShortestPath(org.processmining.models.graphbased.directed.analysis.ShortestPathInfo<org.processmining.models.graphbased.directed.transitionsystem.State,org.processmining.models.graphbased.directed.transitionsystem.Transition> calculator,
org.processmining.models.graphbased.directed.transitionsystem.State from,
org.processmining.models.graphbased.directed.transitionsystem.State to) |
static java.lang.String |
getTransitionLabel(org.processmining.models.graphbased.directed.transitionsystem.Transition t) |
static boolean |
isTransitionTau(org.processmining.models.graphbased.directed.transitionsystem.Transition transition)
Checks if the given transition is a silent transition
|
public static boolean isTransitionTau(org.processmining.models.graphbased.directed.transitionsystem.Transition transition)
transition
- public static org.processmining.models.graphbased.directed.transitionsystem.Transition getConnection(org.processmining.models.graphbased.directed.transitionsystem.State from, org.processmining.models.graphbased.directed.transitionsystem.State to)
from
- source stateto
- target statepublic static java.util.List<DirectFollowingRelation> getShortestPath(org.processmining.models.graphbased.directed.analysis.ShortestPathInfo<org.processmining.models.graphbased.directed.transitionsystem.State,org.processmining.models.graphbased.directed.transitionsystem.Transition> calculator, org.processmining.models.graphbased.directed.transitionsystem.State from, org.processmining.models.graphbased.directed.transitionsystem.State to)
public static java.lang.String getTransitionLabel(org.processmining.models.graphbased.directed.transitionsystem.Transition t)
public static java.util.Set<org.processmining.models.graphbased.directed.transitionsystem.Transition> getIncomingNonTau(org.processmining.models.graphbased.directed.transitionsystem.State s, java.util.Set<org.processmining.models.graphbased.directed.transitionsystem.Transition> i)
public static java.util.Set<org.processmining.models.graphbased.directed.transitionsystem.Transition> getOutgoingNonTau(org.processmining.models.graphbased.directed.transitionsystem.State s, java.util.Set<org.processmining.models.graphbased.directed.transitionsystem.Transition> i)