Magic.ProblemClass
Class ProblemExt

java.lang.Object
  extended by choco.AbstractModel
      extended by choco.AbstractProblem
          extended by choco.Problem
              extended by Magic.ProblemClass.ProblemExt
All Implemented Interfaces:
choco.BoolModeler, choco.IntModeler

public class ProblemExt
extends choco.Problem


Field Summary
 
Fields inherited from class choco.Problem
DEBUG, indexOfLastInitializedStaticConstraint
 
Fields inherited from class choco.AbstractProblem
environment, feasible, precision, propagationEngine, reduction, solved, solver
 
Fields inherited from class choco.AbstractModel
constraints, doMaximize, FALSE, floatVars, intVars, nbConstraint, objective, setVars, TRUE
 
Constructor Summary
ProblemExt()
           
 
Method Summary
 choco.integer.IntVar[] colonne(ProblemExt pb, choco.integer.IntVar[][] lv, int colonne, int n)
           
 choco.integer.IntExp sumC(choco.integer.IntExp[][] lv, int colonne, int n)
           
 choco.integer.IntExp sumCP(choco.integer.IntExp[][] lv, int colonne, int i, int j)
           
 choco.integer.IntExp sumD(choco.integer.IntExp[][] lv, int n)
           
 choco.integer.IntExp sumDD(choco.integer.IntExp[][] lv, int i, int j)
           
 choco.integer.IntExp sumDI(choco.integer.IntExp[][] lv, int n)
           
 choco.integer.IntExp sumL(choco.integer.IntExp[] lv, int i, int j)
           
 choco.integer.IntExp sumT(choco.integer.IntExp[][] lv, int n)
           
 choco.integer.IntExp sumU(choco.integer.IntExp[][] lv, int n)
           
 
Methods inherited from class choco.Problem
createAC2001BinConstraint, createAC3BinConstraint, createAC4BinConstraint, createAllDifferent, createBinConjunction, createBinDisjunction, createBoolChanneling, createBoundAllDiff, createCardinality, createCspLargeConstraint, createDisjoint, createEqualXC, createEqualXYC, createEquation, createEquiv, createGlobalCardinality, createGreaterOrEqualXC, createGreaterOrEqualXYC, createGuard, createIntLinComb, createIntVar, createIntVar, createInverseChanneling, createLargeConjunction, createLargeDisjunction, createLessOrEqualXC, createMemberX, createMemberXY, createNotEqualXC, createNotEqualXYC, createNotMemberX, createNotMemberXY, createOccurrence, createRealCos, createRealIntegerPower, createRealIntervalConstant, createRealMinus, createRealMult, createRealPlus, createRealSin, createRealVal, createSetCard, createSetIntersection, createSetVar, createSubscript, createSubscript, createTimesXYZ, maximize, minimize, optimize, post, postCut, solve, solve, solveAll, worldPop
 
Methods inherited from class choco.AbstractProblem
constraintsToString, eraseConstraint, getEnvironment, getIntConstraint, getIntConstraintIterator, getIntVarIndex, getNbIntConstraints, getPrecision, getProblem, getPropagationEngine, getReduction, getSolver, getWorldIndex, isConsistent, isFeasible, nextSolution, pretty, printRuntimeSatistics, propagate, setPrecision, setReduction, varsToString, worldPopUntil, worldPush
 
Methods inherited from class choco.AbstractModel
allDifferent, and, and, and, and, around, atleast, atmost, boolChanneling, card, cos, countNonNullCoeffs, cst, cst, eq, eq, eq, eq, eq, eq, eqCard, eqCard, feasPairAC, feasPairAC, feasPairAC, feasPairAC, feasTuple, geq, geq, geq, geq, geq, geq, geqCard, geqCard, getIntVar, getIntVarIndex, getNbIntVars, getNbRealVars, getNbSetVars, getRealVar, getSetVar, globalCardinality, globalCardinality, gt, gt, gt, ifOnlyIf, ifThen, implies, infeasPairAC, infeasPairAC, infeasPairAC, infeasPairAC, infeasTuple, inverseChanneling, leq, leq, leq, leq, leq, leq, leqCard, leqCard, lt, lt, lt, makeBoundIntVar, makeBoundIntVar, makeBoundIntVarArray, makeBoundIntVarArray, makeConjunction, makeConstantIntVar, makeConstantIntVar, makeDisjunction, makeEnumIntVar, makeEnumIntVar, makeEnumIntVarArray, makeEnumIntVarArray, makeEquation, makeIntLinComb, makeOccurrence, makePairAC, makePairAC, makeRealVar, makeRealVar, makeRealVar, makeSetVar, makeTupleFC, member, member, member, member, minus, minus, minus, minus, mult, mult, neq, neq, neq, not, notMember, notMember, notMember, notMember, nth, nth, occurenceMax, occurenceMin, occurrence, or, or, or, or, plus, plus, plus, plus, plus, power, relationPairAC, relationPairAC, relationTuple, scalar, scalar, setDisjoint, setInter, setMaximizationObjective, setMinimizationObjective, sin, sum, times
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProblemExt

public ProblemExt()
Method Detail

sumC

public choco.integer.IntExp sumC(choco.integer.IntExp[][] lv,
                                 int colonne,
                                 int n)
Parameters:
lv - Matrice dont on veut la somme d'une colonne.
colonne - la colonne dont de la matrice lv on veut la somme.
n - taille de la matrice carré.
Returns:
la somme de la colonne de la matrice lv de taille n.

colonne

public choco.integer.IntVar[] colonne(ProblemExt pb,
                                      choco.integer.IntVar[][] lv,
                                      int colonne,
                                      int n)
Parameters:
lv - Matrice dont on veut la colonne.
colonne - la colonne dont de la matrice lv.
n - taille de la matrice carré.
Returns:
la colonne de la matrice lv de taille n.

sumCP

public choco.integer.IntExp sumCP(choco.integer.IntExp[][] lv,
                                  int colonne,
                                  int i,
                                  int j)
Parameters:
lv - Matrice dont on veut la somme d'une colonne compris entre i et j.
colonne - la colonne dont de la matrice lv on veut la somme de i à j.
i - position de départ.
j - position de fin.
Returns:
la somme de la colonne de i à j de la matrice lv de taille n.

sumDD

public choco.integer.IntExp sumDD(choco.integer.IntExp[][] lv,
                                  int i,
                                  int j)
Parameters:
lv - Matrice dont on veut la somme d'une colonne.
i - position de départ.
j - position de fin.
Returns:
la somme de la diagonale de la matrice lv de i à j.

sumL

public choco.integer.IntExp sumL(choco.integer.IntExp[] lv,
                                 int i,
                                 int j)
Parameters:
lv - Matrice dont on veut la somme d'une ligne.
i - position de départ.
j - position de fin.
Returns:
la somme de la ligne de la matrice lv de i à j.

sumDI

public choco.integer.IntExp sumDI(choco.integer.IntExp[][] lv,
                                  int n)

sumU

public choco.integer.IntExp sumU(choco.integer.IntExp[][] lv,
                                 int n)

sumD

public choco.integer.IntExp sumD(choco.integer.IntExp[][] lv,
                                 int n)

sumT

public choco.integer.IntExp sumT(choco.integer.IntExp[][] lv,
                                 int n)