public class LPLogAbstractionUtils
extends java.lang.Object
Constructor and Description |
---|
LPLogAbstractionUtils() |
Modifier and Type | Method and Description |
---|---|
static int[] |
getParent(java.util.Set<int[]> possibleParents,
int[] child) |
static boolean |
isParent(int[] parent,
int[] child) |
static int |
lengthOfCorrespondingSequence(int[] abstraction) |
static <T extends HybridVariableMapping<java.lang.Integer>> |
smallestPossibleSlackValue(int[] sequenceAbstraction,
org.processmining.lpengines.interfaces.LPEngine engine,
T varMap)
Computes the smallest possible slack value to always be able to ignore
all token consumptions possible for a given abstraction.
|
static java.util.List<int[]> |
sortAbstractions(java.util.Collection<int[]> abstractions) |
public static int[] getParent(java.util.Set<int[]> possibleParents, int[] child)
public static boolean isParent(int[] parent, int[] child)
public static int lengthOfCorrespondingSequence(int[] abstraction)
public static <T extends HybridVariableMapping<java.lang.Integer>> double smallestPossibleSlackValue(int[] sequenceAbstraction, org.processmining.lpengines.interfaces.LPEngine engine, T varMap)
sequenceAbstraction
- abstraction of a sequenceengine
- LP engine used, needed to query boundary values of variablesvarMap
- Mapping of integers representing events to integers
representing lp variable indicespublic static java.util.List<int[]> sortAbstractions(java.util.Collection<int[]> abstractions)