choco.cp.solver.preprocessor
Class PPModelToCPSolver
java.lang.Object
choco.cp.solver.CPModelToCPSolver
choco.cp.solver.preprocessor.PPModelToCPSolver
public class PPModelToCPSolver
- extends CPModelToCPSolver
Field Summary |
protected gnu.trove.TLongObjectHashMap<ExpressionSConstraint> |
knownExpressionCts
store if an expression constraint has already be been built for
a model constraint. |
protected int |
nbHeavyBin
The number of heavy extensional constraint posted
using an expression |
Methods inherited from class choco.cp.solver.CPModelToCPSolver |
buildBoolNode, clear, createGenericMetaConstraint, integerVariableToIntDomainVar, makeSConstraint, makeSConstraint, makeSConstraintAndOpposite, makeSConstraintAndOpposite, readConstants, readConstraint, readConstraints, readDecisionVariables, readIntegerVariables, readModelVariable, readMultipleVariables, readRealVariables, readSetVariables, readVariables |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
knownExpressionCts
protected gnu.trove.TLongObjectHashMap<ExpressionSConstraint> knownExpressionCts
- store if an expression constraint has already be been built for
a model constraint.
nbHeavyBin
protected int nbHeavyBin
- The number of heavy extensional constraint posted
using an expression
PPModelToCPSolver
public PPModelToCPSolver(CPSolver cpsolver)
storeExpressionSConstraint
public void storeExpressionSConstraint(Constraint c,
ExpressionSConstraint ic)
createMetaConstraint
protected SConstraint createMetaConstraint(Constraint ic,
Boolean decomp)
- Override the creation of Expression Constraint as in the preprocessing
they might have been built earlier or identified as an intensional
constraint.
- Overrides:
createMetaConstraint
in class CPModelToCPSolver
- Parameters:
ic
- decomp
-
- Returns:
buildNode
public BoolNode buildNode(Constraint ic)
readBBDecisionVariables
protected void readBBDecisionVariables()
Copyright © 2012. All Rights Reserved.