choco.cp.solver
Class CPModelToCPSolver
java.lang.Object
choco.cp.solver.CPModelToCPSolver
- Direct Known Subclasses:
- PPModelToCPSolver
public class CPModelToCPSolver
- extends Object
User: charles
Date: 31 mars 2008
Main and unique class for constraint programming transposition from Model to Solver.
(Well, it creates CPSolver objects from CPModel objects declare by the users).
It is separeted into 2 big parts: variables transposition and constraints transposition.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LOGGER
protected static final Logger LOGGER
cpsolver
protected final CPSolver cpsolver
CPModelToCPSolver
public CPModelToCPSolver(CPSolver cpsolver)
clear
public void clear()
- Clear datastructures for safe reuses
readVariables
public void readVariables(CPModel model)
- Read variable from the model, transpose it into Solver variables,
adding it to the Solver directly.
- Parameters:
model
- to read
readIntegerVariables
public void readIntegerVariables(CPModel model)
readRealVariables
public void readRealVariables(CPModel model)
readSetVariables
public void readSetVariables(CPModel model)
readConstants
public void readConstants(CPModel model)
readMultipleVariables
public void readMultipleVariables(CPModel model)
readModelVariable
public Var readModelVariable(Variable v)
readDecisionVariables
protected void readDecisionVariables()
- Read the decision variables declared in the model
readConstraints
public void readConstraints(CPModel model)
readConstraint
public void readConstraint(Constraint ic,
Boolean decomp,
boolean dynamic)
makeSConstraint
public SConstraint makeSConstraint(Constraint ic,
Boolean decomp)
makeSConstraint
public SConstraint makeSConstraint(Constraint ic)
makeSConstraintAndOpposite
public SConstraint[] makeSConstraintAndOpposite(Constraint ic,
Boolean decomp)
makeSConstraintAndOpposite
public SConstraint[] makeSConstraintAndOpposite(Constraint ic)
integerVariableToIntDomainVar
protected IntDomainVar[][] integerVariableToIntDomainVar(Variable[][] tab)
createMetaConstraint
protected SConstraint createMetaConstraint(Constraint ic,
Boolean decomp)
buildBoolNode
protected BoolNode buildBoolNode(Constraint ic)
createGenericMetaConstraint
protected SConstraint createGenericMetaConstraint(MetaConstraint mc,
Boolean decomp)
Copyright © 2012. All Rights Reserved.