choco.cp.solver
Class CPModelToCPSolver

java.lang.Object
  extended by 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.


Field Summary
protected  CPSolver cpsolver
           
protected static Logger LOGGER
           
 
Constructor Summary
CPModelToCPSolver(CPSolver cpsolver)
           
 
Method Summary
protected  BoolNode buildBoolNode(Constraint ic)
           
 void clear()
          Clear datastructures for safe reuses
protected  SConstraint createGenericMetaConstraint(MetaConstraint mc, Boolean decomp)
           
protected  SConstraint createMetaConstraint(Constraint ic, Boolean decomp)
           
protected  IntDomainVar[][] integerVariableToIntDomainVar(Variable[][] tab)
           
 SConstraint makeSConstraint(Constraint ic)
           
 SConstraint makeSConstraint(Constraint ic, Boolean decomp)
           
 SConstraint[] makeSConstraintAndOpposite(Constraint ic)
           
 SConstraint[] makeSConstraintAndOpposite(Constraint ic, Boolean decomp)
           
 void readConstants(CPModel model)
           
 void readConstraint(Constraint ic, Boolean decomp, boolean dynamic)
           
 void readConstraints(CPModel model)
           
protected  void readDecisionVariables()
          Read the decision variables declared in the model
 void readIntegerVariables(CPModel model)
           
 Var readModelVariable(Variable v)
           
 void readMultipleVariables(CPModel model)
           
 void readRealVariables(CPModel model)
           
 void readSetVariables(CPModel model)
           
 void readVariables(CPModel model)
          Read variable from the model, transpose it into Solver variables, adding it to the Solver directly.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LOGGER

protected static final Logger LOGGER

cpsolver

protected final CPSolver cpsolver
Constructor Detail

CPModelToCPSolver

public CPModelToCPSolver(CPSolver cpsolver)
Method Detail

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.