public class HybridILPDecoratorImpl<T extends HybridVariableMapping<java.lang.Integer>> extends HybridLPDecoratorImpl<T>
varMap
configuration, constraintBody, constraintIndex, logAbstraction, numConstraints
computationTime, engine
Constructor and Description |
---|
HybridILPDecoratorImpl(T varMap,
HybridILPMinerParametersImpl configuration,
LPLogAbstraction<?> logAbstraction) |
Modifier and Type | Method and Description |
---|---|
protected void |
setupVariables() |
emptyAfterCompletionConstraint, minimizeArcsObjective, setOfObjectBasedVariablesConstraint, setupEngine, theoryOfRegionsConstraint, unweightedParikhObjective, weightedAbsoluteParikhObjective, weightedRelativeParikhObjective
addConstraint, addEmptyAfterCompletionConstraints, addTheoryOfRegionsConstraints, calculateConstraintBody, calculateUnusedEvents, disableUnusedEvents, estimateNumberOfConstraints, setupConstraints, setupObjective
computationTimeMs, engine, getInvalidActivityIndices, run
public HybridILPDecoratorImpl(T varMap, HybridILPMinerParametersImpl configuration, LPLogAbstraction<?> logAbstraction)
protected void setupVariables()
setupVariables
in class HybridLPDecoratorImpl<T extends HybridVariableMapping<java.lang.Integer>>