@Deprecated public abstract class AbstractSequenceEncodingFilterDecorator<T extends HybridVariableMapping<java.lang.Integer>> extends HybridILPDecoratorImpl<T>
varMap
configuration, constraintBody, constraintIndex, logAbstraction, numConstraints
computationTime, 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.
|
setupVariables
emptyAfterCompletionConstraint, minimizeArcsObjective, setOfObjectBasedVariablesConstraint, setupEngine, theoryOfRegionsConstraint, unweightedParikhObjective, weightedAbsoluteParikhObjective, weightedRelativeParikhObjective
addConstraint, addEmptyAfterCompletionConstraints, addTheoryOfRegionsConstraints, calculateUnusedEvents, disableUnusedEvents, estimateNumberOfConstraints, setupConstraints, setupObjective
computationTimeMs, engine, inivalidEventIndices, run
public AbstractSequenceEncodingFilterDecorator(T varMap, LPMinerConfiguration configuration, LPLogAbstraction<?> logAbstraction)
protected java.util.Set<int[]> calculateConstraintBody()
calculateConstraintBody
in class AbstractLPLogAbstractionBasedLPDecorator
protected abstract java.util.Set<int[]> evaluateFrontCandidates(java.util.Map<int[],java.util.Set<int[]>> candidates)