A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _

M

mainGoal - Variable in class choco.search.AbstractGlobalSearchSolver

/** the goal that needs be solved to drive the exploration

makeBitSet(int) - Method in class choco.mem.Environment

Factory pattern: new StoredBitSetVector objects are created by the environment

makeBitSet(int[]) - Method in class choco.mem.Environment

makeBool(boolean) - Method in class choco.mem.Environment

Factory pattern: new IStateBool objects are created by the environment

makeBoundIntVar(String, int, int) - Method in class choco.AbstractModel

Creates a new search variable with an interval domain

makeBoundIntVar(String, int, int, boolean) - Method in class choco.AbstractModel

makeBoundIntVar(String, int, int) - Method in interface choco.IntModeler

Creates a new search variable with an interval domain

makeBoundIntVarArray(String, int, int, int) - Method in class choco.AbstractModel

Creates a one dimensional array of integer variables

makeBoundIntVarArray(String, int, int, int, int) - Method in class choco.AbstractModel

Creates a one dimensional array of integer variables

makeBoundIntVarArray(String, int, int, int) - Method in interface choco.IntModeler

Creates a one dimensional array of integer variables

makeBoundIntVarArray(String, int, int, int, int) - Method in interface choco.IntModeler

Creates a one dimensional array of integer variables

makeConjunction(Constraint[]) - Method in class choco.AbstractModel

makeConstantIntVar(String, int) - Method in class choco.AbstractModel

makeConstantIntVar(int) - Method in class choco.AbstractModel

makeConstantIntVar(String, int) - Method in interface choco.IntModeler

Creates an instantiated variable

makeConstantIntVar(int) - Method in interface choco.IntModeler

Creates an unnamed instantiated variable

makeConstraintPlugin(AbstractConstraint) - Method in interface choco.palm.ExplainedProblem

Factory to create a constraint plugin

makeConstraintPlugin(AbstractConstraint) - Method in class choco.palm.JumpProblem

makeConstraintPlugin(AbstractConstraint) - Method in class choco.palm.PalmProblem

makeDecSupExplanation(int, PalmIntVar) - Method in class choco.palm.dbt.explain.GenericExplanation

Makes a DecSupExplanation from the current explain by adding dependencies.

makeDecSupExplanation(double, PalmRealVar) - Method in class choco.palm.dbt.explain.GenericExplanation

Makes a DecSupExplanation from the current explain by adding dependencies.

makeDecSupExplanation(int, PalmIntVar) - Method in interface choco.palm.dbt.explain.PalmExplanation

Makes a DecSupExplanation from the current explain by adding dependencies.

makeDecSupExplanation(double, PalmRealVar) - Method in interface choco.palm.dbt.explain.PalmExplanation

Makes a DecSupExplanation from the current explain by adding dependencies.

makeDisjunction(Constraint[]) - Method in class choco.AbstractModel

makeEnumIntVar(String, int, int) - Method in class choco.AbstractModel

Creates a new search variable with an enumerated domain

makeEnumIntVar(String, int[]) - Method in class choco.AbstractModel

Creates a new search variable with an enumerated domain

makeEnumIntVar(String, int, int) - Method in interface choco.IntModeler

Creates a new search variable with an enumerated domain

makeEnumIntVarArray(String, int, int, int) - Method in class choco.AbstractModel

Creates a one dimensional array of integer variables

makeEnumIntVarArray(String, int, int, int, int) - Method in class choco.AbstractModel

Creates a one dimensional array of integer variables

makeEquation(RealExp, RealIntervalConstant) - Method in class choco.AbstractModel

Makes an equation from an expression and a constantt interval.

makeEquation(RealExp, RealIntervalConstant) - Method in class choco.palm.real.PalmRealModeler

Makes an equation from an expression and a constantt interval.

makeEquation(RealExp, RealIntervalConstant) - Method in class choco.real.RealModeler

Makes an equation from an expression and a constantt interval.

makeExplanation() - Method in class choco.palm.BendersProblem

factory to build explanation within the Benders Framework

makeExplanation(int) - Method in class choco.palm.BendersProblem

factory to build an explanation at a given level within the Benders Framework

makeExplanation() - Method in interface choco.palm.ExplainedProblem

Factory to create explanation.

makeExplanation() - Method in class choco.palm.JumpProblem

Factory to create explanation.

makeExplanation(int) - Method in class choco.palm.JumpProblem

Factory to create explanation.

makeExplanation() - Method in class choco.palm.PalmProblem

Factory to create explanation.

makeFloat() - Method in class choco.mem.Environment

Factory pattern: new IStateFloat objects are created by the environment (no initial value is assigned to the backtrackable search)

makeFloat(double) - Method in class choco.mem.Environment

Factory pattern: new IStateFloat objects are created by the environment

makeIncInfExplanation(int, PalmIntVar) - Method in class choco.palm.dbt.explain.GenericExplanation

Makes an IncInfExplanation from the current explain by adding dependencies.

makeIncInfExplanation(double, PalmRealVar) - Method in class choco.palm.dbt.explain.GenericExplanation

Makes an IncInfExplanation from the current explain by adding dependencies.

makeIncInfExplanation(int, PalmIntVar) - Method in interface choco.palm.dbt.explain.PalmExplanation

Makes an IncInfExplanation from the current explain by adding dependencies.

makeIncInfExplanation(double, PalmRealVar) - Method in interface choco.palm.dbt.explain.PalmExplanation

Makes an IncInfExplanation from the current explain by adding dependencies.

makeInt() - Method in class choco.mem.Environment

Factory pattern: new IStateInt objects are created by the environment (no initial value is assigned to the backtrackable search)

makeInt(int) - Method in class choco.mem.Environment

Factory pattern: new IStateInt objects are created by the environment

makeIntLinComb(IntVar[], int[], int, int) - Method in class choco.AbstractModel

makeIntVector() - Method in class choco.mem.Environment

Factory pattern: new IStateIntVector objects are created by the environment.

makeIntVector(int, int) - Method in class choco.mem.Environment

Factory pattern: new IStateIntVector objects are created by the environment

makeIntVector(int[]) - Method in class choco.mem.Environment

Factory pattern: new IStateIntVector objects are created by the environment

makeOccurrence(IntVar[], IntVar, int, boolean, boolean) - Method in class choco.AbstractModel

makePairAC(IntVar, IntVar, ArrayList, boolean, int) - Method in class choco.AbstractModel

makePairAC(IntVar, IntVar, boolean[][], boolean, int) - Method in class choco.AbstractModel

makePartiallyStoredIntVector() - Method in class choco.mem.Environment

makePartiallyStoredVector() - Method in class choco.mem.Environment

makeRealVar(String, double, double) - Method in class choco.AbstractModel

Creates a real variable.

makeRealVar(double, double) - Method in class choco.AbstractModel

Creates an anonymous real variable.

makeRealVar(String) - Method in class choco.AbstractModel

Creates an unbounded real variable.

makeRealVar(String, double, double) - Method in class choco.real.RealModeler

Builds an interval variable.

makeRealVar(double, double) - Method in class choco.real.RealModeler

Builds an anonnymous interval variable

makeRealVar(String) - Method in class choco.real.RealModeler

Builds an interval variable without any information about bounds

makeRemovalExplanation(int, PalmIntVar) - Method in class choco.palm.dbt.explain.GenericExplanation

Makes a RemovalExplanation from the current explain by adding dependencies.

makeRemovalExplanation(int, PalmIntVar) - Method in interface choco.palm.dbt.explain.PalmExplanation

Makes a RemovalExplanation from the current explain by adding dependencies.

makeSetVar(String, int, int) - Method in class choco.AbstractModel

Creates a set variable.

makeSolutionFromCurrentState() - Method in class choco.AbstractSolver

makeSolutionFromCurrentState() - Method in class choco.palm.benders.search.MasterSlaveOptimizer

makeTupleFC(IntVar[], ArrayList, boolean) - Method in class choco.AbstractModel

manageCuts() - Method in class choco.palm.benders.search.MasterGlobalSearchSolver

compute the global cut using the MasterSlavesRelation and add the cut the nogood constraint managing BendersCut

manageCuts() - Method in class choco.palm.benders.search.MasterSlaveOptimizer

manager - Variable in class choco.branch.AbstractBranching

the main control object (responsible for the whole exploration, while the branching object is responsible only at the choice point level

manager - Variable in class choco.palm.dbt.search.PalmAbstractSolverTool

master - Variable in class choco.palm.benders.search.MasterGlobalSearchSolver

A search solver corresponding to the master

MasterGlobalSearchSolver - Class in choco.palm.benders.search

Default implementation of Benders search (used for P_{0}) basis for {P'_{0},P_{y}, and P_{xy}

MasterGlobalSearchSolver(AbstractProblem, int, MasterSlavesRelation) - Constructor for class choco.palm.benders.search.MasterGlobalSearchSolver

MasterGlobalSearchSolver(AbstractProblem, int) - Constructor for class choco.palm.benders.search.MasterGlobalSearchSolver

MasterOptimizer - Class in choco.palm.benders.search

Benders search in case of problem of the form P_{y} ( an optimization function on the variable of the master)

MasterOptimizer(IntDomainVar, int, MasterSlavesRelation) - Constructor for class choco.palm.benders.search.MasterOptimizer

MasterOptimizer(IntDomainVar, int, boolean) - Constructor for class choco.palm.benders.search.MasterOptimizer

MasterSlaveOptimizer - Class in choco.palm.benders.search

Benders search in case of problem of the form P_{xy} ( an optimization function on the variable of the master AND slaves) assuming that the master provide a relaxation of the whole problem

MasterSlaveOptimizer(IntDomainVar, IntDomainVar[], boolean, MasterSlavesRelation) - Constructor for class choco.palm.benders.search.MasterSlaveOptimizer

MasterSlavesRelation - Class in choco.palm.benders

A Class for describing the objective function among variables of the master and subproblems

MasterSlavesRelation() - Constructor for class choco.palm.benders.MasterSlavesRelation

masterVariables - Variable in class choco.palm.BendersProblem

List of the Master variables.

masterWorld - Variable in class choco.palm.benders.search.MasterGlobalSearchSolver

match(int) - Method in class choco.global.matching.AbstractBipartiteGraph

matchingSize - Variable in class choco.global.matching.AbstractBipartiteGraph

max(int, int) - Static method in class choco.util.Arithm

maxFlow - Variable in class choco.global.matching.AbstractBipartiteFlow

maximize(Var, boolean) - Method in class choco.AbstractProblem

resolution: Searches for the solution maximizing the objective criterion.

maximize - Variable in class choco.palm.benders.search.MasterOptimizer

maximize or minimize the objective function

maximize(IntDomainVar, IntDomainVar[], MasterSlavesRelation) - Method in class choco.palm.BendersProblem

maximize an objective function over both the master and sub-problems.

maximize(IntDomainVar) - Method in class choco.palm.BendersProblem

minimize an objective function only including variables of the master.

maximize(Var, boolean) - Method in class choco.palm.PalmProblem

Maximize an objective variable with a PalmBranchAndBound

maximize(Var, boolean) - Method in class choco.Problem

resolution: Searches for the solution maximizing the objective criterion.

maximizing - Variable in class choco.palm.dbt.search.PalmAbstractBranchAndBound

States if the solver is maximizing (or minimizing).

MAXINT - Static variable in interface choco.mem.IStateInt

Maximum value an integer can be equal to.

maxMoves - Variable in class choco.palm.dbt.search.PalmRepairLearn

maxNbSolutionStored - Variable in class choco.AbstractSolver

capacity of the history record (keeping solutions)

maxRelaxLevel - Variable in class choco.palm.JumpProblem

Maximum relaxation level acceptable without user interaction.

maxSize - Variable in class choco.palm.dbt.search.PalmRepairLearn

maxSize - Variable in class choco.palm.dbt.search.pathrepair.PathRepairLearn

MaxVal - Class in choco.integer.search

MaxVal() - Constructor for class choco.integer.search.MaxVal

maxValue - Variable in class choco.global.matching.AbstractBipartiteGraph

mayDiminishFlowBetween(int, int) - Method in class choco.global.matching.AbstractBipartiteGraph

whether the flow from j (a right vertex) to i (a left vertex) may be increased

mayDiminishFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteFlow

check unassignement

mayDiminishFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteGraph

whether the flow from the source to j (a right vertex) may be decreased

mayDiminishFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteMatching

Checks if the flow can be decreased between source and a vertex.

mayGrowFlowBetween(int, int) - Method in class choco.global.matching.AbstractBipartiteGraph

whether the flow from j (a right vertex) to i (a left vertex) may be increased (the additional flow is able to arrive to j, we don't care yet whether it will be able to leave i)

mayGrowFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteFlow

check assignement

mayGrowFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteGraph

whether the flow from the source to j (a right vertex) may be increased

mayGrowFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteMatching

Checks if the flow can be increased between source and a vertex.

mayGrowFlowToSink(int) - Method in class choco.global.matching.AbstractBipartiteGraph

whether the flow from i (a left vertex) to the sink may be increased

mayInverseMatch(int) - Method in class choco.global.matching.AbstractBipartiteGraph

reverse, access from the right vertex set: iterating over the variables (left vertex set) and reading their domains TODO abstract in claire ice

mayMatch(int) - Method in class choco.global.matching.AbstractBipartiteGraph

Accessing the edges of the bipartite graph access from the left vertex set: reading domains of modeling variables TODO abstract in claire ice

member(int, SetVar) - Method in class choco.AbstractModel

member(SetVar, int) - Method in class choco.AbstractModel

member(SetVar, IntVar) - Method in class choco.AbstractModel

member(IntVar, SetVar) - Method in class choco.AbstractModel

MemberX - Class in choco.set.constraint

Enforce a value to belong to a setVar

MemberX(SetVar, int) - Constructor for class choco.set.constraint.MemberX

MemberXY - Class in choco.set.constraint

Ensure that an int variable belongs to a set variable

MemberXY(SetVar, IntDomainVar) - Constructor for class choco.set.constraint.MemberXY

merge(ConstraintCollection) - Method in interface choco.ConstraintCollection

Merges an explain with the current one.

merge(ConstraintCollection) - Method in class choco.palm.cbj.explain.JumpExplanation

merge(ConstraintCollection) - Method in class choco.palm.dbt.explain.GenericExplanation

Merges an explain in the current one.

MidVal - Class in choco.integer.search

MidVal() - Constructor for class choco.integer.search.MidVal

min(int, int) - Static method in class choco.util.Arithm

MIN_CAPACITY - Static variable in interface choco.mem.IStateIntVector

Minimal capacity of a vector

MIN_CAPACITY - Static variable in class choco.mem.StoredIntVector

Minimal capacity of a vector

MIN_CAPACITY - Static variable in class choco.mem.StoredVector

Minimal capacity of a vector

MIN_CAPACITY - Static variable in class choco.mem.TwoStateIntVector

Minimal capacity of a vector

MinDomain - Class in choco.integer.search

MinDomain(AbstractProblem) - Constructor for class choco.integer.search.MinDomain

MinDomain(AbstractProblem, IntDomainVar[]) - Constructor for class choco.integer.search.MinDomain

MinDomSet - Class in choco.set.search

MinDomSet(AbstractProblem, SetVar[]) - Constructor for class choco.set.search.MinDomSet

MinDomSet(AbstractProblem) - Constructor for class choco.set.search.MinDomSet

MinEnv - Class in choco.set.search

MinEnv(AbstractProblem) - Constructor for class choco.set.search.MinEnv

minFlow - Variable in class choco.global.matching.AbstractBipartiteFlow

minimize(Var, boolean) - Method in class choco.AbstractProblem

Resolution: Searches for the solution minimizing the objective criterion.

minimize(IntDomainVar, IntDomainVar[], MasterSlavesRelation) - Method in class choco.palm.BendersProblem

minimize an objective function over both the master and sub-problems.

minimize(IntDomainVar) - Method in class choco.palm.BendersProblem

minimize an objective function only including variables of the master.

minimize(Var, boolean) - Method in class choco.palm.PalmProblem

Minimize an objective variable with a PalmBranchAndBound

minimize(Var, boolean) - Method in class choco.Problem

Resolution: Searches for the solution minimizing the objective criterion.

MININT - Static variable in interface choco.mem.IStateInt

Minimum value an integer can be equal to.

minus(IntExp, IntExp) - Method in class choco.AbstractModel

Subtracting two terms one from another

minus(IntExp, int) - Method in class choco.AbstractModel

minus(int, IntExp) - Method in class choco.AbstractModel

minus(RealExp, RealExp) - Method in class choco.AbstractModel

Substraction of two expressions.

minus(IntExp, IntExp) - Method in interface choco.IntModeler

Subtracting two search expressions one from another

minus(IntExp, int) - Method in interface choco.IntModeler

Subtracting an search constant from an expression

minus(int, IntExp) - Method in interface choco.IntModeler

Subtracting an expression from an search

minus(RealExp, RealExp) - Method in class choco.palm.real.PalmRealModeler

Substraction of two expressions.

minus(RealExp, RealExp) - Method in class choco.real.RealModeler

Substraction of two expressions.

MinVal - Class in choco.integer.search

MinVal() - Constructor for class choco.integer.search.MinVal

minValue - Variable in class choco.global.matching.AbstractBipartiteGraph

MixedConstraint - Interface in choco.real.constraint

An interface for mixed constraint : interger and flot variables.

MixedCstElt - Class in choco.real.constraint

Let x be an integer variable with n values and v be a real variable.

MixedCstElt(RealVar, IntDomainVar, double[]) - Constructor for class choco.real.constraint.MixedCstElt

MixedEqXY - Class in choco.real.constraint

MixedEqXY(RealVar, IntDomainVar) - Constructor for class choco.real.constraint.MixedEqXY

modifiedVar - Variable in class choco.prop.VarEvent

The touched variable.

MostConstrained - Class in choco.integer.search

An heuristic to first instantiating most constrained variables.

MostConstrained(Problem) - Constructor for class choco.integer.search.MostConstrained

Builds the heuristic for the given problem.

MostConstrained(Problem, IntDomainVar[]) - Constructor for class choco.integer.search.MostConstrained

Builds the heuristic for the given problem.

moveAllLeft() - Method in class choco.util.BipartiteSet

Moves all the objects to the left part.

moveAllRight() - Method in class choco.util.BipartiteSet

Moves all the objects to the right part.

moveLastLeft() - Method in class choco.util.BipartiteSet

Move the last element in the left part to the right part.

moveLeft(Object) - Method in class choco.util.BipartiteSet

Moves the object the left part of the set if needed.

moveRight(Object) - Method in class choco.util.BipartiteSet

Moves the object the right part of the set if needed.

msol - Variable in class choco.palm.benders.search.SubOptimizer

Master solution

mul(PalmProblem, RealInterval, RealInterval) - Static method in class choco.palm.real.PalmRealMath

mul(RealInterval, RealInterval) - Static method in class choco.real.RealMath

mult(int, IntExp) - Method in class choco.AbstractModel

Creates a simple linear term from one coefficient and one variable

mult(RealExp, RealExp) - Method in class choco.AbstractModel

Multiplication of two expressions.

mult(int, IntExp) - Method in interface choco.IntModeler

Creates a simple linear term from one coefficient and one variable

mult(RealExp, RealExp) - Method in class choco.palm.real.PalmRealModeler

Multiplication of two expressions.

mult(RealExp, RealExp) - Method in class choco.real.RealModeler

Multiplication of two expressions.

mustGrowFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteFlow

check if j should be assigned to other variables

mustGrowFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteGraph

whether the flow from the source to j (a right vertex) must be increased in order to get a maximal (sink/left vertex set saturating) flow

mustGrowFlowFromSource(int) - Method in class choco.global.matching.AbstractBipartiteMatching

Checks if the flow must be increased between the source and a vertex.