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 _

L

LargeConjunction - Class in choco.bool

LargeConjunction(Constraint[]) - Constructor for class choco.bool.LargeConjunction

LargeDisjunction - Class in choco.bool

LargeDisjunction(Constraint[]) - Constructor for class choco.bool.LargeDisjunction

LargeRelation - Interface in choco.integer.constraints.extension

lastDC - Variable in class choco.palm.real.PalmRealDomainImpl

Last decision constraint.

lastPopped - Variable in class choco.prop.VarEventQueue

The last popped var (may be useful for flushing popping events).

lastSupport(int, int) - Method in class choco.integer.constraints.extension.GAC2001LargeConstraint

launch() - Method in class choco.palm.dbt.PalmSolver

launch() - Method in class choco.Solver

commands the solver to start

learn - Variable in class choco.palm.dbt.PalmSolver

The learning class the generated solver should use to learn forbidden or authorized nodes during search.

learnFromContradiction(PalmExplanation) - Method in class choco.palm.dbt.search.PalmLearn

learnFromContradiction(PalmExplanation) - Method in class choco.palm.dbt.search.pathrepair.PathRepairLearn

learnFromRejection(PalmAbstractBranching, Object, Object) - Method in class choco.palm.dbt.search.PalmUnsureExtend

check if the variable has been emptied

learnFromRejection() - Method in class choco.palm.real.search.PalmCyclicSplit

Learns from rejection: it allows to avoid to fail again for the same reason.

learnFromRemoval(Constraint) - Method in class choco.palm.dbt.search.PalmLearn

learnFromRemoval(AbstractConstraint) - Method in class choco.palm.dbt.search.pathrepair.PathRepairLearn

learning - Variable in class choco.palm.dbt.search.PalmGlobalSearchSolver

Learning algorithms.

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

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

Iterator without a valid remove method !

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

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

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

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

Inferority constraint.

leq(RealExp, double) - Method in class choco.AbstractModel

leq(double, RealExp) - Method in class choco.AbstractModel

leq(IntDomainVar, IntDomainVar) - Method in class choco.global.Lex

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

Creates a constraint by stating that integer expression is less or equal than a constant

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

Creates a constraint by stating that a constant is less or equal than an integer expression

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

Creates a constraint by stating that an integer expression is less or equal than another one

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

Inferority constraint.

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

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

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

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

less(IntDomainVar, IntDomainVar) - Method in class choco.global.Lex

LESS_OR_EQUAL_XC - Static variable in class choco.Formula

LessOrEqualXC - Class in choco.integer.constraints

Implements a constraint X <= C, with X a variable and C a constant.

LessOrEqualXC(IntDomainVar, int) - Constructor for class choco.integer.constraints.LessOrEqualXC

Constructs the constraint with the specified variables and constant.

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

Enforce a strict lexicographic ordering on two vectors of integer variables x <_lex y with x = , and y = .

Lex - Class in choco.global

Enforce a lexicographic ordering on two vectors of integer variables x <_lex y with x = , and y = .

Lex(IntDomainVar[], int, boolean) - Constructor for class choco.global.Lex

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

Enforce a lexicographic ordering on two vectors of integer variables x <_lex y with x = , and y = .

LightFormatter - Class in choco.util

A class for formatting trace messages in the lightest possible mode

LightFormatter() - Constructor for class choco.util.LightFormatter

LIMIT_NODES - Static variable in class choco.palm.dbt.search.PalmGlobalSearchSolver

LIMIT_TIME - Static variable in class choco.palm.dbt.search.PalmGlobalSearchSolver

limits - Variable in class choco.search.AbstractGlobalSearchSolver

A set of limits controlling the exploration

LIST - Static variable in interface choco.integer.IntDomainVar

Public user API: static constants associated to the encoding of the variable domain these constants are passed as parameters to the constructor of IntVars LIST = a chained list of values

list - Variable in class choco.integer.search.RandomIntVarSelector

LOG_DECISION_MSG - Static variable in class choco.branch.AbstractBranching

LOG_DOWN_MSG - Static variable in class choco.branch.AbstractBranching

LOG_UP_MSG - Static variable in class choco.branch.AbstractBranching

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

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

logDownBranch(Object, int) - Method in class choco.search.AbstractIntBranching

logger - Static variable in class choco.AbstractSolver

an object for logging trace statements

logger - Static variable in class choco.branch.AbstractBranching

an object for logging trace statements

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

logger - Static variable in class choco.integer.constraints.AbstractIntConstraint

Reference to an object for logging trace statements related to constraints over integers (using the java.util.logging package)

logger - Static variable in class choco.integer.var.AbstractIntDomain

Reference to an object for logging trace statements related to domains of search variables (using the java.util.logging package)

logger - Static variable in class choco.integer.var.IntDomainVarImpl

Reference to an object for logging trace statements related to IntDomainVar (using the java.util.logging package)

logger - Static variable in class choco.palm.benders.BendersSolver

logger - Static variable in class choco.palm.benders.search.MasterGlobalSearchSolver

logger - Static variable in class choco.palm.dbt.search.PalmState

logger - Static variable in class choco.palm.JumpProblem

logger - Static variable in class choco.prop.AbstractPropagationEngine

Reference to an object for logging trace statements related to propagation events (using the java.util.logging package)

logger - Static variable in class choco.prop.VarEvent

Reference to the root Logger, an object for logging trace statements related to propagation events (using the java.util.logging package)

logger - Static variable in class choco.set.constraint.AbstractSetConstraint

Reference to an object for logging trace statements related to constraints over set (using the java.util.logging package)

logger - Static variable in class choco.set.var.BitSetEnumeratedDomain

logger - Static variable in class choco.Solution

logger - Static variable in class choco.util.StoredPointerCycle

Deprecated. Reference to the root Logger, an object for logging trace statements related to propagation events (using the java.util.logging package).

loggingMaxDepth - Variable in class choco.search.AbstractGlobalSearchSolver

maximal search depth for logging statements

loggingMaxDepth - Variable in class choco.Solver

maximal search depth for logging statements

logIntermediateSol() - Method in class choco.palm.benders.search.SubOptimizer

logMasterSolution() - Method in class choco.palm.benders.search.MasterOptimizer

logPrefix - Static variable in class choco.util.LightFormatter

prefixes for log statements (visualize search depth)

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

logUpBranch(Object, int) - Method in class choco.search.AbstractIntBranching

LONG_TRAIL - Static variable in class choco.mem.Environment

Index of the StoredLongTrail for storing integer vectors.

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

the lower bound of the objective value.

lowerBound - Variable in class choco.palm.cbj.search.JumpAbstractOptimizer

the lower bound of the objective value.

lowerBound - Variable in class choco.palm.dbt.search.PalmBranchAndBound

Some bounds for search use.

lowerBound - Variable in class choco.palm.real.search.PalmRealBranchAndBound

Some bounds for search use.

lowerBound - Variable in class choco.real.search.AbstractRealOptimize

the lower bound of the objective value.

lowerBound - Variable in class choco.search.AbstractOptimize

the lower bound of the objective value.

lstat - Variable in class choco.palm.dbt.search.PalmSolution

Statistics for this solution (CPU, extensiions...).

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

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

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

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

Creates a constraint by stating that integer expression is strictly less than a constant

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

Creates a constraint by stating that a constant is strictly less than an integer expression

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

Creates a constraint by stating that an integer expression is strictly less than another one

lvals - Variable in class choco.palm.integer.constraints.PalmElt

Values the variable should be equal to.

lvals - Variable in class choco.palm.integer.constraints.PalmElt2D

uses the cste slot: l[i + cste] = x (ex: cste = 1 allows to use and index from 0 to length(l) - 1