org.processmining.hybridilpminer.utils.abstraction

Class LPLogAbstractionUtils

java.lang.Object

org.processmining.hybridilpminer.utils.abstraction.LPLogAbstractionUtils

public class LPLogAbstractionUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
LPLogAbstractionUtils()

Method Summary

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>> double	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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LPLogAbstractionUtils

public LPLogAbstractionUtils()

Method Detail

getParent

public static int[] getParent(java.util.Set<int[]> possibleParents,
                              int[] child)

isParent

public static boolean isParent(int[] parent,
                               int[] child)

lengthOfCorrespondingSequence

public static int lengthOfCorrespondingSequence(int[] abstraction)

smallestPossibleSlackValue

public static <T extends HybridVariableMapping<java.lang.Integer>> double 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. Hence the value depends on the parikh values within the abstraction multiplied by the (minimal in single / maximal in dual) value of a consumption variable.

Parameters:

sequenceAbstraction - abstraction of a sequence

engine - LP engine used, needed to query boundary values of variables

varMap - Mapping of integers representing events to integers representing lp variable indices

Returns:

sortAbstractions

public static java.util.List<int[]> sortAbstractions(java.util.Collection<int[]> abstractions)