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