public class SlackBasedFilterHybridILPDecoratorImpl<T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>> extends HybridILPDecoratorImpl<T>
varMap
configuration, constraintBody, constraintIndex, logAbstraction, numConstraints
computationTime, engine
Constructor and Description |
---|
SlackBasedFilterHybridILPDecoratorImpl(T varMap,
HybridILPMinerParametersImpl configuration,
LPLogAbstraction<?> logAbstraction,
double threshold) |
Modifier and Type | Method and Description |
---|---|
protected void |
addEmptyAfterCompletionConstraints() |
protected void |
addSlackBasedFilterConstraint() |
protected org.processmining.framework.util.Pair<double[],java.lang.Double> |
emptyAfterCaseCompletionConstraint(int[] abstraction,
java.util.Set<int[]> prefixes) |
protected void |
setupConstraints() |
protected org.processmining.lpengines.interfaces.LPEngine |
setupEngine() |
protected void |
setupVariables() |
protected org.processmining.framework.util.Pair<double[],java.lang.Double> |
theoryOfRegionsConstraint(int[] w) |
protected double[] |
weightedAbsoluteParikhObjective() |
protected double[] |
weightedRelativeParikhObjective() |
emptyAfterCompletionConstraint, minimizeArcsObjective, setOfObjectBasedVariablesConstraint, unweightedParikhObjective
addConstraint, addTheoryOfRegionsConstraints, calculateConstraintBody, calculateUnusedEvents, disableUnusedEvents, estimateNumberOfConstraints, setupObjective
computationTimeMs, engine, getInvalidActivityIndices, run
public SlackBasedFilterHybridILPDecoratorImpl(T varMap, HybridILPMinerParametersImpl configuration, LPLogAbstraction<?> logAbstraction, double threshold)
protected void addSlackBasedFilterConstraint()
protected void setupConstraints()
setupConstraints
in class AbstractLPLogAbstractionBasedLPDecorator
protected org.processmining.lpengines.interfaces.LPEngine setupEngine()
setupEngine
in class HybridLPDecoratorImpl<T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>>
protected void setupVariables()
setupVariables
in class HybridILPDecoratorImpl<T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>>
protected double[] weightedAbsoluteParikhObjective()
weightedAbsoluteParikhObjective
in class HybridLPDecoratorImpl<T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>>
protected double[] weightedRelativeParikhObjective()
weightedRelativeParikhObjective
in class HybridLPDecoratorImpl<T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>>
protected org.processmining.framework.util.Pair<double[],java.lang.Double> theoryOfRegionsConstraint(int[] w)
theoryOfRegionsConstraint
in class HybridLPDecoratorImpl<T extends SlackBasedFilterHybridVariableMapping<java.lang.Integer,int[]>>
protected void addEmptyAfterCompletionConstraints()
addEmptyAfterCompletionConstraints
in class AbstractLPLogAbstractionBasedLPDecorator
protected org.processmining.framework.util.Pair<double[],java.lang.Double> emptyAfterCaseCompletionConstraint(int[] abstraction, java.util.Set<int[]> prefixes)