public abstract class AbstractSequenceEncodingFilterDecorator<T extends HybridVariableMapping<java.lang.Integer>> extends HybridILPDecoratorImpl<T>
varMap
configuration, constraintBody, constraintIndex, logAbstraction, numConstraints
computationTime, 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) |
setupVariables
emptyAfterCompletionConstraint, minimizeArcsObjective, setOfObjectBasedVariablesConstraint, setupEngine, theoryOfRegionsConstraint, unweightedParikhObjective, weightedAbsoluteParikhObjective, weightedRelativeParikhObjective
addConstraint, addEmptyAfterCompletionConstraints, addTheoryOfRegionsConstraints, calculateUnusedEvents, disableUnusedEvents, estimateNumberOfConstraints, setupConstraints, setupObjective
computationTimeMs, engine, getInvalidActivityIndices, run
public AbstractSequenceEncodingFilterDecorator(T varMap, HybridILPMinerParametersImpl 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)