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