Package | Description |
---|---|
org.processmining.streamconformance.local.model | |
org.processmining.streamconformance.utils |
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<DirectFollowingRelation> |
LocalConformanceStatus.observedRelations |
Modifier and Type | Method and Description |
---|---|
org.processmining.framework.util.Pair<java.lang.Integer,java.lang.Integer> |
LocalModelStructure.getMinMaxRelationsBefore(DirectFollowingRelation relation) |
java.lang.Integer |
LocalModelStructure.getMinRelationsAfter(DirectFollowingRelation relation) |
boolean |
LocalModelStructure.isAllowed(DirectFollowingRelation relation)
This method checks if the given relation is allowed by the model or not
|
Modifier and Type | Method and Description |
---|---|
static java.util.List<DirectFollowingRelation> |
TSUtils.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) |