public class SequenceEncodingFilterMaxInclusionHybridILPDecoratorImpl<T extends HybridVariableMapping<java.lang.Integer>> extends AbstractSequenceEncodingFilterDecorator<T>
varMapconfiguration, constraintBody, constraintIndex, logAbstraction, numConstraintscomputationTime, engine| Constructor and Description |
|---|
SequenceEncodingFilterMaxInclusionHybridILPDecoratorImpl(T varMap,
HybridILPMinerParametersImpl configuration,
LPLogAbstraction<?> logAbstraction,
double threshold) |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.Set<int[]> |
evaluateFrontCandidates(java.util.Map<int[],java.util.Set<int[]>> candidates) |
calculateConstraintBodysetupVariablesemptyAfterCompletionConstraint, minimizeArcsObjective, setOfObjectBasedVariablesConstraint, setupEngine, theoryOfRegionsConstraint, unweightedParikhObjective, weightedAbsoluteParikhObjective, weightedRelativeParikhObjectiveaddConstraint, addEmptyAfterCompletionConstraints, addTheoryOfRegionsConstraints, calculateUnusedEvents, disableUnusedEvents, estimateNumberOfConstraints, setupConstraints, setupObjectivecomputationTimeMs, engine, getInvalidActivityIndices, runpublic SequenceEncodingFilterMaxInclusionHybridILPDecoratorImpl(T varMap, HybridILPMinerParametersImpl configuration, LPLogAbstraction<?> logAbstraction, double threshold)
protected java.util.Set<int[]> evaluateFrontCandidates(java.util.Map<int[],java.util.Set<int[]>> candidates)
evaluateFrontCandidates in class AbstractSequenceEncodingFilterDecorator<T extends HybridVariableMapping<java.lang.Integer>>