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

W

whyIsFalse() - Method in class choco.palm.global.matching.PalmAllDifferent

whyIsFalse() - Method in class choco.palm.global.matching.PalmCardinality

whyIsFalse() - Method in class choco.palm.global.matching.PalmOccurence

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmElt

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmElt2D

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmEqualXC

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmEqualXYC

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmGreaterOrEqualXC

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmGreaterOrEqualXYC

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmIntLinComb

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmLessOrEqualXC

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmNotEqualXC

whyIsFalse() - Method in class choco.palm.integer.constraints.PalmNotEqualXYC

whyIsFalse() - Method in interface choco.palm.integer.PalmIntVarListener

When all variables are instantiated, explains why the wonstraint is false.

whyIsFalse() - Method in class choco.palm.real.constraints.PalmMixedCstElt

whyIsFalse() - Method in class choco.palm.real.constraints.PalmMixedEqXY

whyIsFalse() - Method in class choco.palm.search.NogoodConstraint

whyIsTrue() - Method in class choco.palm.global.matching.PalmAllDifferent

whyIsTrue() - Method in class choco.palm.global.matching.PalmCardinality

whyIsTrue() - Method in class choco.palm.global.matching.PalmOccurence

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmElt

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmElt2D

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmEqualXC

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmEqualXYC

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmGreaterOrEqualXC

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmGreaterOrEqualXYC

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmIntLinComb

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmLessOrEqualXC

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmNotEqualXC

whyIsTrue() - Method in class choco.palm.integer.constraints.PalmNotEqualXYC

whyIsTrue() - Method in interface choco.palm.integer.PalmIntVarListener

When all variables are instantiated, explains why the wonstraint is true.

whyIsTrue() - Method in class choco.palm.real.constraints.PalmMixedCstElt

whyIsTrue() - Method in class choco.palm.real.constraints.PalmMixedEqXY

whyIsTrue() - Method in class choco.palm.search.NogoodConstraint

wipeOut() - Method in interface choco.integer.IntDomainVar

Public user API: Propagation events wiping out the domain of the variable (removing all values) and throwing a contradiction

wipeOut() - Method in class choco.integer.var.IntDomainVarImpl

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

Accepts all modifications since the previous choice point in the search tree.

worldCommit() - Method in interface choco.mem.ITrailStorage

Comitting the current world: merging it with the previous one.

worldCommit() - Method in class choco.mem.StoredBoolTrail

Comits a world: merging it with the previous one.

worldCommit() - Method in class choco.mem.StoredFloatTrail

Comits a world: merging it with the previous one.

worldCommit() - Method in class choco.mem.StoredIntTrail

Comits a world: merging it with the previous one.

worldCommit() - Method in class choco.mem.StoredIntVectorTrail

Comits a world: merging it with the previous one.

worldCommit() - Method in class choco.mem.StoredLongTrail

Comits a world: merging it with the previous one.

worldCommit() - Method in class choco.mem.StoredVectorTrail

Comits a world: merging it with the previous one.

worldPop() - Method in class choco.AbstractProblem

pushing one world on the stack

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

Backtracks to the previous choice point in the search tree.

worldPop() - Method in interface choco.mem.ITrailStorage

Moving down to the previous world.

worldPop() - Method in class choco.mem.StoredBoolTrail

Moving down to the previous world.

worldPop() - Method in class choco.mem.StoredFloatTrail

Moving down to the previous world.

worldPop() - Method in class choco.mem.StoredIntTrail

Moving down to the previous world.

worldPop() - Method in class choco.mem.StoredIntVectorTrail

Moving down to the previous world.

worldPop() - Method in class choco.mem.StoredLongTrail

Moving down to the previous world.

worldPop() - Method in class choco.mem.StoredVectorTrail

Moving down to the previous world.

worldPop() - Method in class choco.Problem

popping one world from the stack: overrides AbstractProblem.worldPop because the Problem class adds the notion of static constraints that need be repropagated upon backtracking

worldPopUntil(int) - Method in class choco.AbstractProblem

Backtracks to a given level in the search tree.

worldPush() - Method in class choco.AbstractProblem

pushing one world on the stack

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

Starts a new branch in the search tree.

worldPush() - Method in interface choco.mem.ITrailStorage

Moving up to the next world.

worldPush() - Method in class choco.mem.StoredBoolTrail

Moving up to the next world.

worldPush() - Method in class choco.mem.StoredFloatTrail

Moving up to the next world.

worldPush() - Method in class choco.mem.StoredIntTrail

Moving up to the next world.

worldPush() - Method in class choco.mem.StoredIntVectorTrail

Moving up to the next world.

worldPush() - Method in class choco.mem.StoredLongTrail

Moving up to the next world.

worldPush() - Method in class choco.mem.StoredVectorTrail

Moving up to the next world.

wrapper - Variable in class choco.palm.dbt.search.PalmAssignVar

wrapper - Variable in class choco.search.AssignVar