samples.rackconfig
Class RackConfig

java.lang.Object
  extended by choco.cp.model.CPModel
      extended by samples.rackconfig.RackConfig
All Implemented Interfaces:
IPretty, Model, Serializable

public class RackConfig
extends CPModel

Created by IntelliJ IDEA. User: julien Mail: julien.menana{at}emn.fr Date: Nov 24, 2009 Time: 1:37:18 PM

See Also:
Serialized Form

Field Summary
 
Fields inherited from class choco.cp.model.CPModel
_iterator, clausesStore, constantVars, constraints, defDecExp, expVars, floatVars, intVars, LOGGER, nbBoolVar, properties, setVars, storedMultipleVariables
 
Constructor Summary
RackConfig(int instIdx)
           
 
Method Summary
 void addBasicConstraints()
           
 void addRedondantModel()
           
 void addSymmetryBreak()
           
static void main(String[] args)
           
 void printSolution(CPSolver s)
           
 void solve()
           
static IntegerVariable[] subset(IntegerVariable[] tab, int start, int end)
           
 
Methods inherited from class choco.cp.model.CPModel
addConstraint, addConstraint, addConstraint, addConstraint, addConstraints, addConstraints, addOptions, addVariable, addVariable, addVariable, addVariable, addVariables, addVariables, constraintsToString, contains, getConstantVar, getConstraint, getConstraintByType, getConstraintIterator, getConstVarIterator, getDefaultExpressionDecomposition, getExprVarIterator, getIntConstraintIterator, getIntVar, getIntVarIndex, getIntVarIndex, getIntVarIterator, getMultipleVarIterator, getNbBoolVar, getNbConstantVars, getNbConstraintByType, getNbConstraints, getNbIntVars, getNbRealVars, getNbSetVars, getNbStoredMultipleVars, getNbTotVars, getRealVar, getRealVarIterator, getSetVar, getSetVarIterator, getStoredMultipleVar, pretty, readFromFile, remove, removeConstraint, removeConstraints, removeVariable, removeVariable, removeVariable, removeVariables, remVariable, setDefaultExpressionDecomposition, solutionToString, varsToString, writeInFile, writeInFile
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RackConfig

public RackConfig(int instIdx)
Method Detail

addBasicConstraints

public void addBasicConstraints()

addRedondantModel

public void addRedondantModel()

addSymmetryBreak

public void addSymmetryBreak()

solve

public void solve()

subset

public static IntegerVariable[] subset(IntegerVariable[] tab,
                                       int start,
                                       int end)

printSolution

public void printSolution(CPSolver s)

main

public static void main(String[] args)


Copyright © 2012. All Rights Reserved.