choco.cp.solver.preprocessor
Class PPModelToCPSolver

java.lang.Object
  extended by choco.cp.solver.CPModelToCPSolver
      extended by 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
 
Fields inherited from class choco.cp.solver.CPModelToCPSolver
cpsolver, LOGGER
 
Constructor Summary
PPModelToCPSolver(CPSolver cpsolver)
           
 
Method Summary
 BoolNode buildNode(Constraint ic)
           
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.
protected  void readBBDecisionVariables()
           
 void storeExpressionSConstraint(Constraint c, ExpressionSConstraint ic)
           
 
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
 

Field Detail

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

Constructor Detail

PPModelToCPSolver

public PPModelToCPSolver(CPSolver cpsolver)
Method Detail

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.