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 _

D

date - Variable in class choco.global.Cumulative.Event

deactivateListener() - Method in class choco.palm.cbj.explain.JumpConstraintPlugin

deactivateListener() - Method in class choco.palm.dbt.explain.PalmConstraintPlugin

Reacts when this listener is deactivated.

deactivateListener(int) - Method in class choco.palm.search.AbstractDecision

deactivateListener() - Method in class choco.palm.search.AbstractDecision

deactivateListener() - Method in interface choco.prop.ConstraintPlugin

debug - Static variable in class choco.global.Cumulative

DecisionConstraint - Interface in choco.palm.dbt.search

An enumeration constraint like instantiation.

decisionConstraints - Variable in class choco.palm.cbj.explain.JumpExplanation

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

Decision constraints on the variable for branching purpose.

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

Decision constraints on the variable for branching purpose.

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

All active decision constraints on this variable (except the last one).

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

Objective function formulated as a specific relation

decPendingInitConstAwakeEvent() - Method in class choco.prop.ChocEngine

Decrements the number of init constraint awake events.

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

updates the matching size when the matching is rebuilt

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

updates the matching size when one more left vertex is de-matched with j

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

Matching size has been decrease by 1.

DecreasingDomain - Class in choco.integer.search

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

decrementNbSupportV0(int) - Method in class choco.integer.constraints.extension.AC4BinConstraint

decrement the number of values b that support the assignment v1=x ie: b such that v1=x, v2=b is a feasible pair When this count reaches 0, discard the value x from the domain of v1.

decrementNbSupportV1(int) - Method in class choco.integer.constraints.extension.AC4BinConstraint

DECSUP - Static variable in class choco.integer.var.IntVarEvent

Constants for the eventType bitvector: index of bit for updates to upper bound of IntVars

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

DECSUPbitvector - Static variable in class choco.integer.var.IntVarEvent

Constants for the eventType bitvector: value of bitvector for updates to upper bound of IntVars

DecSupExplanation - Class in choco.palm.dbt.integer.explain

DecSupExplanation(AbstractProblem, BitSet, int, PalmIntVar) - Constructor for class choco.palm.dbt.integer.explain.DecSupExplanation

delete() - Method in class choco.AbstractConstraint

Removes a constraint from the network.

delete(Propagator) - Method in interface choco.ConstraintCollection

Deletes a constraint from the explain.

delete(int) - Method in class choco.global.Cumulative.IntList

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

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

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

Deletes a constraint from the explain.

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

delete() - Method in interface choco.Propagator

Removes a constraint from the network.

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

two methods used for detecting that an edge should be removed from the bipartite assignment graph deleteMatch -> removes it from the graph data strutures deleteEdgeAndPublish -> same + publishes the information outside the constraint

deleteEdgeAndPublish(int, int) - Method in class choco.global.matching.AllDifferent

when an edge is definitely removed from the bipartite assignment graph.

deleteEdgeAndPublish(int, int) - Method in class choco.global.matching.GlobalCardinality

implement one of the two main events: when an edge is definitely removed from the bipartite assignment graph

deleteEdgeAndPublish(int, int) - Method in class choco.palm.global.matching.PalmAllDifferent

deleteEdgeAndPublish(int, int) - Method in class choco.palm.global.matching.PalmCardinality

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

remove the assignment of j to the ith variable

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

removing the arc i-j from the reference matching & update matchingSize

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

Removing the arc i-j from the reference matching.

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

States if the constraint is depending, that is depends on the validity of other constraints.

discardCurrentSolution() - Method in class choco.palm.dbt.search.PalmState

Discards the current solutions in order to find the next one : it raises a fake contradiction and tries repairing the state.

Disjoint - Class in choco.set.constraint

A constraint stating that two sets have to be disjoint : It is based on two propagation rules : Env(v1) disjoint Ker(v2) Env(v2) disjoint Ker(v1)

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

displayRelease - Static variable in class choco.palm.JumpProblem

States if the release information should be displayed during the next problem instantiation.

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

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

DOM - Static variable in interface choco.palm.dbt.integer.PalmIntDomain

DOM - Static variable in interface choco.palm.integer.ExplainedIntDomain

DOM - Static variable in interface choco.palm.real.PalmRealInterval

Constant for selecting all domain when asking explanations.

domain - Variable in class choco.integer.var.AbstractIntDomain.IntDomainIterator

domain - Variable in class choco.integer.var.BitSetIntDomain.DeltaIntDomainIterator

domain - Variable in class choco.integer.var.IntDomainVarImpl

The backtrackable domain of the variable.

domain - Variable in class choco.palm.dbt.integer.PalmBitSetIntDomain.RepairIntDomainIterator

domain - Variable in class choco.real.var.RealVarImpl

domain - Variable in class choco.set.var.BitSetEnumeratedDomain.DeltaDomainIterator

domain - Variable in class choco.set.var.SetDomainImpl.SetDomainIterator

domain - Variable in class choco.set.var.SetVarImpl

domainList() - Method in class choco.palm.dbt.integer.BitVectorIntDomain

domainSet() - Method in class choco.palm.dbt.integer.BitVectorIntDomain

doMaximize - Variable in class choco.AbstractModel

Maximization / Minimization problem

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

a boolean indicating whether we want to maximize (true) or minize (false) the objective variable

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

a boolean indicating whether we want to maximize (true) or minize (false) the objective variable

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

a boolean indicating whether we want to maximize (true) or minize (false) the objective variable

doMaximize - Variable in class choco.search.AbstractOptimize

a boolean indicating whether we want to maximize (true) or minize (false) the objective variable

doMaximize - Variable in class choco.Solver

Maximization / Minimization problem

DomOverDeg - Class in choco.integer.search

A heuristic selecting the IntDomainVarImpl with smallest ration (domainSize / degree) (the degree of a variable is the number of constraints linked to it)

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

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

DOWN_BRANCH - Static variable in class choco.search.AbstractGlobalSearchSolver

durations - Variable in class choco.global.Cumulative

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

Dynamic cut constraints.