samples.rackconfig
Class RackConfig
java.lang.Object
choco.cp.model.CPModel
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
Fields inherited from class choco.cp.model.CPModel |
_iterator, clausesStore, constantVars, constraints, defDecExp, expVars, floatVars, intVars, LOGGER, nbBoolVar, properties, setVars, storedMultipleVariables |
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 |
RackConfig
public RackConfig(int instIdx)
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.