|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.AbstractModel
choco.AbstractProblem
choco.Problem
Magic.ProblemClass.ProblemExt
public class ProblemExt
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 |
---|
public ProblemExt()
Method Detail |
---|
public choco.integer.IntExp sumC(choco.integer.IntExp[][] lv, int colonne, int n)
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é.
public choco.integer.IntVar[] colonne(ProblemExt pb, choco.integer.IntVar[][] lv, int colonne, int n)
lv
- Matrice dont on veut la colonne.colonne
- la colonne dont de la matrice lv.n
- taille de la matrice carré.
public choco.integer.IntExp sumCP(choco.integer.IntExp[][] lv, int colonne, int i, int j)
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.
public choco.integer.IntExp sumDD(choco.integer.IntExp[][] lv, int i, int j)
lv
- Matrice dont on veut la somme d'une colonne.i
- position de départ.j
- position de fin.
public choco.integer.IntExp sumL(choco.integer.IntExp[] lv, int i, int j)
lv
- Matrice dont on veut la somme d'une ligne.i
- position de départ.j
- position de fin.
public choco.integer.IntExp sumDI(choco.integer.IntExp[][] lv, int n)
public choco.integer.IntExp sumU(choco.integer.IntExp[][] lv, int n)
public choco.integer.IntExp sumD(choco.integer.IntExp[][] lv, int n)
public choco.integer.IntExp sumT(choco.integer.IntExp[][] lv, int n)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |