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 _

E

Element - Class in choco.integer.constraints

Element(IntDomainVar, int[], IntDomainVar, int) - Constructor for class choco.integer.constraints.Element

Element(IntDomainVar, int[], IntDomainVar) - Constructor for class choco.integer.constraints.Element

ElementV - Class in choco.integer.constraints

A class implementing the constraint A[I] == X, with I and X being IntVars and A an array of IntVars

ElementV(IntDomainVar[], int) - Constructor for class choco.integer.constraints.ElementV

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

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

Clears the constraint set.

empties() - Method in interface choco.palm.Explanation

Removes all constraints from this explanation.

EMPTYEVENT - Static variable in class choco.prop.VarEvent

empty bitvector for the event type.

EMPTYEVENT - Static variable in class choco.real.var.RealVarEvent

encounteredLimit - Variable in class choco.search.AbstractGlobalSearchSolver

indicates whether a limit was encountered in the alst incremental search

endComp - Variable in class choco.global.Cumulative

endLoop() - Method in class choco.search.OptimizeWithRestarts

endNode(AbstractGlobalSearchSolver) - Method in class choco.palm.dbt.search.PalmTimeLimit

endNode(AbstractGlobalSearchSolver) - Method in interface choco.search.IGlobalSearchLimit

notify the limit object whenever the search closes a node in the search tree

endNode(AbstractGlobalSearchSolver) - Method in class choco.search.NodeLimit

endNode(AbstractGlobalSearchSolver) - Method in class choco.search.TimeLimit

ends - Variable in class choco.global.Cumulative

endTreeNode() - Method in class choco.search.AbstractGlobalSearchSolver

called after a node is expanded in the search tree (choice point creation)

endTreeSearch() - Method in class choco.palm.cbj.search.JumpBranchAndBoundOptimizer

endTreeSearch() - Method in class choco.palm.cbj.search.JumpRestartOptimizer

called before a new search tree is explored

endTreeSearch() - Method in class choco.palm.dbt.search.PalmGlobalSearchSolver

endTreeSearch() - Method in class choco.real.search.RealBranchAndBound

endTreeSearch() - Method in class choco.real.search.RealOptimizeWithRestarts

called before a new search tree is explored

endTreeSearch() - Method in class choco.search.AbstractGlobalSearchSolver

called before a new search tree is explored

endTreeSearch() - Method in class choco.search.BranchAndBound

Called when a new search tree has been completely browsed.

ensureCapacity(int) - Method in class choco.mem.StoredBitSet

ensureCapacity(int) - Method in class choco.mem.StoredIntVector

Checks if the capacity is great enough, else the capacity is extended.

ensureCapacity(int) - Method in class choco.mem.StoredVector

Checks if the capacity is great enough, else the capacity is extended.

ensureStaticCapacity(int) - Method in class choco.mem.PartiallyStoredIntVector

ensureStaticCapacity(int) - Method in class choco.mem.PartiallyStoredVector

ensureStoredCapacity(int) - Method in class choco.mem.PartiallyStoredIntVector

ensureStoredCapacity(int) - Method in class choco.mem.PartiallyStoredVector

ensureUpToDateExplanations() - Method in class choco.palm.cbj.integer.JumpIntervalIntDomain

entailed - Variable in class choco.global.Lex

Entity - Interface in choco

An interface for all objects from constraint programs.

envdomain - Variable in class choco.set.var.SetDomainImpl.SetOpenDomainIterator

ENVEVENT - Static variable in class choco.set.var.SetVarEvent

environment - Variable in class choco.AbstractProblem

The environment managing the backtrackable data.

Environment - Class in choco.mem

The root class for managing memory and sessions.

Environment() - Constructor for class choco.mem.Environment

Constructs a new Environment with the default stack sizes : 50000 and 1000.

ephemeral - Variable in class choco.palm.dbt.explain.PalmConstraintPlugin

States if the constraint is ephemeral (that is must be erased as soon a removed from the constraint net).

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

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

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

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

Eqality constraint.

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

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

EQ - Static variable in class choco.integer.constraints.IntLinComb

Constant, to be assigned to op, representing linear equalities.

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

Creates a constraint by stating that a term is equal than a constant

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

Creates a constraint by stating that a term is equal than a constant

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

Creates a constraint by stating that a term is equal than a constant

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

Eqality constraint.

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

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

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

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

EQUAL_XC - Static variable in class choco.Formula

possible static values for the constraintOperator field

EQUAL_XYC - Static variable in class choco.Formula

equalityBehaviour() - Method in class choco.integer.constraints.ElementV

equals(Assignment) - Method in class choco.palm.search.Assignment

equals(Object) - Method in class choco.util.PriorityQueue

Checks if the queue is equals to another one.

EqualXC - Class in choco.integer.constraints

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

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

Constructs the constraint with the specified variables and constant.

EqualXYC - Class in choco.integer.constraints

Implements a constraint X == Y + C, with X and Y two variables and C a constant.

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

Constructs the constraint with the specified variables and constant.

Equation - Class in choco.real.constraint

A basic constraint using HC4 algorithm for filtering values with respect to a mathematical equation.

Equation(AbstractProblem, RealVar[], RealExp, RealInterval) - Constructor for class choco.real.constraint.Equation

Equation(AbstractProblem, RealVar[], RealExp) - Constructor for class choco.real.constraint.Equation

Equiv - Class in choco.bool

A class for equivalences (c1 if and only if c2)

Equiv(AbstractConstraint, AbstractConstraint) - Constructor for class choco.bool.Equiv

eraseConstraint(Constraint) - Method in class choco.AbstractProblem

removes (permanently) a constraint from the overall list of constraints of the problem

eraseConstraint(Constraint) - Method in class choco.AbstractVar

Removes (permanently) a constraint from the list of constraints connected to the variable.

erasedCst - Variable in class choco.palm.JumpProblem

Set with last erased constraints (index that can be used for posted constraints)

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

event - Variable in class choco.AbstractVar

The variable var associated to this variable.

EventQueue - Interface in choco.prop

An interface for all the implementations of var queues (Constraint awake, on Variable events for instance).

events - Variable in class choco.global.Cumulative

first data structure of the sweep algorithm event point series : list of Event

eventType - Variable in class choco.prop.VarEvent

stores the type of update performed on the variable

evs - Variable in class choco.global.Cumulative.EndingDateComparator

evtComp - Variable in class choco.global.Cumulative

existsSolution() - Method in class choco.AbstractSolver

exp - Variable in class choco.real.constraint.Equation

exp1 - Variable in class choco.real.exp.AbstractRealBinTerm

exp1 - Variable in class choco.real.exp.AbstractRealUnTerm

exp2 - Variable in class choco.real.exp.AbstractRealBinTerm

ExplainedConstraintPlugin - Interface in choco.palm

ExplainedDomain - Interface in choco.palm

explainedFail(Explanation) - Method in interface choco.palm.ExplainedProblem

throws a contradiction with the corresponding explanation

explainedFail(Explanation) - Method in class choco.palm.JumpProblem

explainedFail(Explanation) - Method in class choco.palm.PalmProblem

ExplainedIntDomain - Interface in choco.palm.integer

ExplainedIntVar - Interface in choco.palm.integer

ExplainedProblem - Interface in choco.palm

ExplainedVar - Interface in choco.palm

explanation - Variable in class choco.palm.dbt.explain.GenericExplanation

Set of all the constraint in the explain.

Explanation - Interface in choco.palm

explanationOnInf - Variable in class choco.palm.cbj.integer.JumpIntervalIntDomain

A stack of explanations for lower bound modifications.

explanationOnInf - Variable in class choco.palm.dbt.integer.PalmIntervalIntDomain

A stack of explanations for lower bound modifications.

explanationOnInf - Variable in class choco.palm.real.exp.AbstractPalmRealBinTerm

Explanation of the last lower bound affectation.

explanationOnInf - Variable in class choco.palm.real.exp.AbstractPalmRealUnTerm

PalmExplanation of the last lower bound affectation.

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

A stack of explanations for lower bound modifications.

explanationOnSup - Variable in class choco.palm.cbj.integer.JumpIntervalIntDomain

A stack of explanations for upper bound modifications.

explanationOnSup - Variable in class choco.palm.dbt.integer.PalmIntervalIntDomain

A stack of explanations for upper bound modifications.

explanationOnSup - Variable in class choco.palm.real.exp.AbstractPalmRealBinTerm

Explanation of the last upper bound affectation.

explanationOnSup - Variable in class choco.palm.real.exp.AbstractPalmRealUnTerm

PalmExplanation of the last upper bound affectation.

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

A stack of explanations for upper bound modifications.

explanationOnVal - Variable in class choco.palm.cbj.integer.JumpBitSetIntDomain

A list of explanations for value withdrawals.

explanationOnVal - Variable in class choco.palm.dbt.integer.PalmBitSetIntDomain

A list of explanations for value withdrawals.

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

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

explore(int) - Method in interface choco.branch.IntBranching

A method launching the exploration of a subtree in order to satisfy the current goal.

explore(PalmAbstractBranching) - Method in class choco.palm.dbt.search.PalmExtend

Extension algorithm.

explore(PalmAbstractBranching) - Method in class choco.palm.dbt.search.PalmUnsureExtend

explore(int) - Method in class choco.search.AbstractBinIntBranching

Deprecated. replaced by the management incremental search (with a stack of BranchingTrace storing the environment (local variables) associated to each choice point

explore(int) - Method in class choco.search.AbstractIntBranching

Deprecated. replaced by the management incremental search (with a stack of BranchingTrace storing the environment (local variables) associated to each choice point

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

The extender class the generated solver should use to choose decision constraints during search.

extend() - Method in class choco.palm.dbt.search.PalmGlobalSearchSolver

Extends the state of the search thanks to the extending algorithm.

extender - Variable in class choco.palm.dbt.search.PalmAbstractBranching

The extender the branching which uses this branching.

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

Extension algrithm using some branching strategies.