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 _

R

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

Throws a contradiction without cause.

raiseContradiction(Entity) - Method in class choco.prop.ChocEngine

Throws a contradiction with the specified cause.

raiseContradiction() - Method in interface choco.prop.PropagationEngine

Raising a contradiction with no cause.

raiseContradiction(Entity) - Method in interface choco.prop.PropagationEngine

Raising a contradiction with a cause.

raisePalmContradiction(Var) - Method in class choco.palm.dbt.prop.PalmEngine

Raises a Palm Contradiction caused by the specified variable.

raisePalmFakeContradiction(PalmExplanation) - Method in class choco.palm.dbt.prop.PalmEngine

Raises a fake Contradiction with the specified explain.

raiseSystemContradiction() - Method in class choco.palm.dbt.prop.PalmEngine

Raise a System Contradiction, that is a Choco Contradiction, that means that no solution can be found anymore without removing constraint with a level upper that PalmProblem.MAX_RELAX_LEVEL.

random - Variable in class choco.integer.search.RandomIntValSelector

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

random - Static variable in class choco.integer.var.BitSetIntDomain

A random generator for random value from the domain

random - Static variable in class choco.integer.var.IntervalIntDomain

A random generator for random value from the domain

RandomIntValSelector - Class in choco.integer.search

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

Default constructor for a random value selector for banching.

RandomIntValSelector(long) - Constructor for class choco.integer.search.RandomIntValSelector

Constructs a random value selector for branching with a specified seed.

RandomIntVarSelector - Class in choco.integer.search

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

Creates a new random-based integer domain variable selector

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

RandomIntVarSelector(AbstractProblem, long) - Constructor for class choco.integer.search.RandomIntVarSelector

Creates a new random-based integer domain variable selector with the specified seed (to make the experiment determinist)

reactOnInfAndEnvEvents(int) - Method in class choco.set.constraint.SetCard

reactOnSupAndKerEvents(int) - Method in class choco.set.constraint.SetCard

read() - Method in class choco.global.Cumulative.IntList

Read the next element wihtout incrementing

RealBoundExplanation - Interface in choco.palm.real.explain

RealBranchAndBound - Class in choco.real.search

J-CHOCO Copyright (C) F.

RealBranchAndBound(RealVar, boolean) - Constructor for class choco.real.search.RealBranchAndBound

RealConstraint - Interface in choco.real.constraint

An interface for float constraints.

RealCos - Class in choco.real.exp

Expression evaluatiing the cos of its only one sub-expression.

RealCos(AbstractProblem, RealExp) - Constructor for class choco.real.exp.RealCos

RealDecSupExplanation - Class in choco.palm.real.explain

Implements an explanation for upper bound decrease.

RealDecSupExplanation(AbstractProblem, BitSet, double, PalmRealVar) - Constructor for class choco.palm.real.explain.RealDecSupExplanation

Creates such an explanation with all constraints contained in the explanation parameter, with the specified previous value of the bound, and for the specified touched variable.

RealDomain - Interface in choco.real.var

An interface for real variable domains.

RealDomainImpl - Class in choco.real.var

An implmentation of real variable domains using two stored floats for storing bounds.

RealDomainImpl(RealVar, double, double) - Constructor for class choco.real.var.RealDomainImpl

RealExp - Interface in choco.real

An interface for real expressions.

RealIncInfExplanation - Class in choco.palm.real.explain

Implements an explanation for lower bound increase.

RealIncInfExplanation(AbstractProblem, BitSet, double, PalmRealVar) - Constructor for class choco.palm.real.explain.RealIncInfExplanation

Creates such an explanation with all constraints contained in the explanation parameter, with the specified previous value of the bound, and for the specified touched variable.

RealIncreasingDomain - Class in choco.real.search

J-CHOCO Copyright (C) F.

RealIncreasingDomain() - Constructor for class choco.real.search.RealIncreasingDomain

RealIntegerPower - Class in choco.real.exp

RealIntegerPower(AbstractProblem, RealExp, int) - Constructor for class choco.real.exp.RealIntegerPower

RealInterval - Interface in choco.real

An interface for real intervals.

RealIntervalConstant - Class in choco.real.exp

A constant real interval.

RealIntervalConstant(RealInterval) - Constructor for class choco.real.exp.RealIntervalConstant

RealIntervalConstant(double, double) - Constructor for class choco.real.exp.RealIntervalConstant

RealIntervalImpl - Class in choco.real.exp

Deprecated.

RealIntervalImpl(double, double) - Constructor for class choco.real.exp.RealIntervalImpl

Deprecated.

RealIntervalImpl() - Constructor for class choco.real.exp.RealIntervalImpl

Deprecated.

RealIntervalImpl(RealInterval) - Constructor for class choco.real.exp.RealIntervalImpl

Deprecated.

RealListener - Interface in choco.real.constraint

An interface for real event listener (like real constraints for instance).

RealMath - Class in choco.real

Some tools for float computing.

RealMath() - Constructor for class choco.real.RealMath

RealMinus - Class in choco.real.exp

An expression modelling a substraction.

RealMinus(AbstractProblem, RealExp, RealExp) - Constructor for class choco.real.exp.RealMinus

RealModeler - Class in choco.real

Modeler for real expressions.

RealModeler(Problem) - Constructor for class choco.real.RealModeler

Builds a modeler for the specified problem.

RealMult - Class in choco.real.exp

An expression modelling a multiplication.

RealMult(AbstractProblem, RealExp, RealExp) - Constructor for class choco.real.exp.RealMult

RealOptimizeWithRestarts - Class in choco.real.search

J-CHOCO Copyright (C) F.

RealOptimizeWithRestarts(RealVar, boolean) - Constructor for class choco.real.search.RealOptimizeWithRestarts

RealPlus - Class in choco.real.exp

An expression modelling a real addition.

RealPlus(AbstractProblem, RealExp, RealExp) - Constructor for class choco.real.exp.RealPlus

Builds an addition expression for real constraint modelling.

RealSin - Class in choco.real.exp

Expression evaluatiing the cos of its only one sub-expression.

RealSin(AbstractProblem, RealExp) - Constructor for class choco.real.exp.RealSin

RealValIterator - Interface in choco.real.search

J-CHOCO Copyright (C) F.

RealVar - Interface in choco.real

An interface for a real variable : an expression and a variable with a domain.

RealVarEvent - Class in choco.real.var

An event for real interval variable modifications.

RealVarEvent(AbstractVar) - Constructor for class choco.real.var.RealVarEvent

RealVarImpl - Class in choco.real.var

An implementation of real variables using RealDomain domains.

RealVarImpl(AbstractProblem, String, double, double) - Constructor for class choco.real.var.RealVarImpl

RealVarSelector - Interface in choco.real.search

An interface for selecting a real interval variable to narrow.

realVarValues - Variable in class choco.Solution

recordEventTypeAndCause(int, int) - Method in class choco.prop.VarEvent

recordIntObjective(int) - Method in class choco.Solution

recordIntValue(int, int) - Method in class choco.Solution

recordRealValue(int, RealInterval) - Method in class choco.Solution

recordSetValue(int, int[]) - Method in class choco.Solution

recordSolution() - Method in class choco.AbstractSolver

recording the current state as a solution stores information from the current state in the next solution of the problem note: only instantiated variables are recorded in the Solution object either all variables or a user-defined subset of them are recorded this may erase a soolution that was previously stored in the ith position this may also increase the size of the pb.solutions vector.

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

recordSolution() - Method in class choco.palm.cbj.search.JumpAbstractOptimizer

TODO

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

Stores the current solution.

recordSolution() - Method in class choco.real.search.AbstractRealOptimize

TODO

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

called when a solution is encountered: printing and, if needed, storing the solution

recordSolution() - Method in class choco.search.AbstractOptimize

TODO

recordStatistic(int, int) - Method in class choco.palm.dbt.search.PalmSolution

reduction - Variable in class choco.AbstractProblem

Minimal width reduction between two propagations.

refInverseMatch - Variable in class choco.global.matching.AbstractBipartiteMatching

Vector with the reverse matching.

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

registerEvent(ConstraintEvent) - Method in class choco.prop.ChocEngine

Registers an event in the queue.

registerEvent(ConstraintEvent) - Method in interface choco.prop.PropagationEngine

reInit() - Method in class choco.global.Cumulative.IntList

reinitTimestamp() - Static method in class choco.palm.dbt.explain.GenericExplanation

relation - Variable in class choco.integer.constraints.extension.CspBinConstraint

relation - Variable in class choco.integer.constraints.extension.CspLargeConstraint

relation - Variable in class choco.palm.benders.BendersSolver

Objective function

relationPairAC(IntVar, IntVar, BinRelation, int) - Method in class choco.AbstractModel

relationPairAC(IntVar, IntVar, BinRelation) - Method in class choco.AbstractModel

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

release() - Method in class choco.integer.var.IntVarEvent

the event had been "frozen", (since the call to freeze), while it was handled by the propagation engine: This meant that the meaning of the event could not be changed: it represented a static set of value removals, during propagation.

release() - Method in class choco.prop.VarEvent

release() - Method in class choco.real.var.RealVarEvent

release() - Method in class choco.set.var.SetVarEvent

releaseDeltaDomain() - Method in class choco.integer.var.AbstractIntDomain

releaseDeltaDomain() - Method in class choco.integer.var.BitSetIntDomain

after an iteration over the delta domain, the delta domain is reopened again.

releaseDeltaDomain() - Method in interface choco.integer.var.IntDomain

after an iteration over the delta domain, the delta domain is reopened again.

releaseDeltaDomain() - Method in interface choco.real.var.RealDomain

releaseDeltaDomain() - Method in class choco.real.var.RealDomainImpl

releaseDeltaDomain() - Method in class choco.set.var.BitSetEnumeratedDomain

after an iteration over the delta domain, the delta domain is reopened again.

ReleaseJumpDisplay() - Static method in class choco.palm.JumpProblem

Displays release information (date, verions, ...).

ReleasePalmDisplay() - Static method in class choco.palm.PalmProblem

Displays release information (date, verions, ...).

releaseRepairDomain() - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

If restoration handling completes, the chain must reinitlized to null.

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

Constants for the eventType bitvector: index of bit for events on SetVars

remFromEnveloppe(int, int) - Method in interface choco.set.SetVar

Propagation events updating the enveloppe of a variable (i.e removing a value)

remFromEnveloppe(int, int) - Method in class choco.set.var.SetDomainImpl

remFromEnveloppe(int, int) - Method in class choco.set.var.SetVarImpl

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

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

remove() - Method in class choco.global.Cumulative.IntList

remove() - Method in class choco.integer.var.AbstractIntDomain.IntDomainIterator

remove() - Method in class choco.integer.var.BitSetIntDomain.DeltaIntDomainIterator

remove(int) - Method in class choco.integer.var.BitSetIntDomain

Removes a value.

remove(int) - Method in interface choco.integer.var.IntDomain

Removing a single value from the domain.

remove(int) - Method in class choco.integer.var.IntervalIntDomain

remove(Object) - Method in class choco.mem.PartiallyStoredVector

remove() - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain.RepairIntDomainIterator

remove(Propagator) - Method in class choco.palm.dbt.prop.PalmEngine

Removes properly a constraint: the constraint is deactivated, and all depending filtering decisions are undone.

remove(Constraint[]) - Method in class choco.palm.dbt.prop.PalmEngine

Removes several constraints.

remove(Propagator) - Method in class choco.palm.PalmProblem

Removes properly a constraint from the problem: the constraint is deactivated and all the depending filtering decisions are undone.

remove(PropagationEvent) - Method in class choco.prop.ConstraintEventQueue

Removes the var from the left part.

remove(PropagationEvent) - Method in interface choco.prop.EventQueue

Removes an event.

remove(PropagationEvent) - Method in class choco.prop.VarEventQueue

Removes an event.

remove() - Method in class choco.set.var.BitSetEnumeratedDomain.DeltaDomainIterator

remove(int) - Method in class choco.set.var.BitSetEnumeratedDomain

Removes a value.

remove() - Method in class choco.set.var.SetDomainImpl.SetDomainIterator

remove() - Method in class choco.set.var.SetDomainImpl.SetOpenDomainIterator

remove() - Method in interface choco.util.IntIterator

Removes from the underlying collection the last element returned by the getIterator (optional operation).

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

Removes the specified object.

removeAll(Collection) - Method in class choco.util.PriorityQueue

Removes all the specified objects.

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

Removes a decision constraint.

removeDecision(AbstractConstraint) - Method in class choco.palm.dbt.search.TraceState

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

Removes indirect dependance of this constraint: it updates the depending constraints list of all the constraints this one depends on.

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

Removes all dependencies except for one constraint.

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

Removes the explain of a depending filtering decision.

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

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

removeInterval(int, int, int) - Method in interface choco.integer.IntDomainVar

Propagation events updating the domain of a variable (by removing an interval, ie, a sequence of consecutive values)

removeInterval(int, int, int) - Method in class choco.integer.var.AbstractIntDomain

Internal var: remove an interval (a sequence of consecutive values) from the domain of a variable caused by its i-th constraint.

removeInterval(int, int, int) - Method in class choco.integer.var.IntDomainVarImpl

Internal var: remove an interval (a sequence of consecutive values) from the domain of a variable caused by its i-th constraint.

removeLast() - Method in interface choco.mem.IStateIntVector

removes the search at the end of the vector.

removeLast() - Method in class choco.mem.StoredIntVector

removes the search at the end of the vector.

removeLast() - Method in class choco.mem.StoredVector

removes the search at the end of the vector.

removeLast() - Method in class choco.mem.TwoStateIntVector

removes the search at the end of the vector.

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

removeNogood(ConstraintCollection) - Method in class choco.palm.search.NogoodConstraint

removeUselessEdges() - Method in class choco.global.matching.AbstractBipartiteGraph

remove arcs connecting two different strongly connected components the event generated by the flow algorithm: discovering that an edge is no longer valid, and posting this event to the constraint solver: since we are already achieving GAC consistency in one single loop, there is no need to post a constAwake

removeVal(int, int) - Method in interface choco.integer.IntDomainVar

Propagation events updating the domain of a variable (by removing a value)

removeVal(int, int) - Method in class choco.integer.var.AbstractIntDomain

Internal var: update (value removal) on the domain of a variable caused by its i-th constraint.

removeVal(int, int) - Method in class choco.integer.var.IntDomainVarImpl

Internal var: update (value removal) on the domain of a variable caused by its i-th constraint.

removeVal(int, int, Explanation) - Method in class choco.palm.cbj.integer.JumpBitSetIntDomain

Removes a value and posts the event.

removeVal(int, Explanation) - Method in class choco.palm.cbj.integer.JumpBitSetIntDomain

removeVal(int, int, Explanation) - Method in class choco.palm.cbj.integer.JumpIntervalIntDomain

Removes a value and posts the event.

removeVal(int, int, Explanation) - Method in class choco.palm.cbj.integer.JumpIntVar

removeVal(int, int, Explanation) - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

Removes a value and posts the event.

removeVal(int, Explanation) - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

removeVal(int, int, Explanation) - Method in interface choco.palm.dbt.integer.PalmIntDomain

Removes a value and posts the event.

removeVal(int, int, Explanation) - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Removes a value and posts the event.

removeVal(int, int, Explanation) - Method in class choco.palm.dbt.integer.PalmIntVar

removeVal(int, int, Explanation) - Method in interface choco.palm.integer.ExplainedIntDomain

removeVal(int, int, Explanation) - Method in interface choco.palm.integer.ExplainedIntVar

remVal(int) - Method in interface choco.integer.IntDomainVar

Public user API: Propagation events removing a value from the domain of a variable.

remVal(int) - Method in class choco.integer.var.IntDomainVarImpl

Removes a value.

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

Constants for the eventType bitvector: index of bit for holes in the domain of IntVars

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

Constants for the eventType bitvector: value of bitvector for holes in the domain of IntVars

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

The repair class the generated solver should use to choose which decision constraints to remove for repairing.

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

Tries to repair the state for finding a consistent state.

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

Tries to repair the problem after a PalmContradiction thanks to removing a responsible constraint (that is a constraint in the explain of the contradiction).

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

Repairing algorithm.

representedBy - Variable in class choco.mem.StoredBitSet

A stored integer vector containing the bit representation.

reset() - Method in class choco.palm.dbt.prop.PalmIntVarEvent

If a contradiction occurs when the event is handled, the event is reinitialized.

reset() - Method in interface choco.palm.dbt.prop.PalmVarEvent

reset() - Method in class choco.palm.dbt.prop.PalmVarEventQueue

Resets all the events of the queue.

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

Resets the solver (statistics and business data).

reset() - Method in class choco.palm.real.PalmRealVarEvent

Resets this event if interrupted during execution.

reset(boolean) - Method in class choco.search.AbstractGlobalSearchLimit

reset(boolean) - Method in interface choco.search.IGlobalSearchLimit

resets the limit (the counter run from now on)

reset(boolean) - Method in class choco.search.TimeLimit

resetDummyVariable() - Method in class choco.palm.dbt.prop.PalmEngine

Resets the dummy variable.

resetEvents() - Method in class choco.palm.dbt.prop.PalmEngine

Resets all the events in the queue (no cause, and in the queue (no popping events anymore)).

resetExplanationOnInf() - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

When a lower bound is restored, it deletes the explanation associated to the value removal.

resetExplanationOnInf() - Method in interface choco.palm.dbt.integer.PalmIntDomain

When a lower bound is restored, it deletes the explanation associated to the value removal.

resetExplanationOnInf() - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

When a lower bound is restored, it deletes the explanation associated to the value removal.

resetExplanationOnInf() - Method in class choco.palm.dbt.integer.PalmIntVar

resetExplanationOnInf() - Method in interface choco.palm.real.PalmRealDomain

Updates lower bound explanations: removes all explanation that are no up-to-date anymore.

resetExplanationOnInf() - Method in class choco.palm.real.PalmRealDomainImpl

Reset lower bound explanatioins: not up-to-date explanations are removed.

resetExplanationOnInf() - Method in interface choco.palm.real.PalmRealVar

Updates lower bound explanations: it removes not up-to-date explanations.

resetExplanationOnInf() - Method in class choco.palm.real.PalmRealVarImpl

Updates lower bound explanations: it removes not up-to-date explanations.

resetExplanationOnSup() - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

When an upper bound is restored, it deletes the explanation associated to the value removal.

resetExplanationOnSup() - Method in interface choco.palm.dbt.integer.PalmIntDomain

When an upper bound is restored, it deletes the explanation associated to the value removal.

resetExplanationOnSup() - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

When an upper bound is restored, it deletes the explanation associated to the value removal.

resetExplanationOnSup() - Method in class choco.palm.dbt.integer.PalmIntVar

resetExplanationOnSup() - Method in interface choco.palm.real.PalmRealDomain

Updates upper bound explanations: removes all explanation that are no up-to-date anymore.

resetExplanationOnSup() - Method in class choco.palm.real.PalmRealDomainImpl

Reset upper bound explanatioins: not up-to-date explanations are removed.

resetExplanationOnSup() - Method in interface choco.palm.real.PalmRealVar

Updates upper bound explanations: it removes not up-to-date explanations.

resetExplanationOnSup() - Method in class choco.palm.real.PalmRealVarImpl

Updates upper bound explanations: it removes not up-to-date explanations.

resetExplanationOnVal(int) - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

When a value is restored, it deletes the explanation associated to the value removal.

resetExplanationOnVal(int) - Method in interface choco.palm.dbt.integer.PalmIntDomain

When a value is restored, it deletes the explanation associated to the value removal.

resetExplanationOnVal(int) - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

When a value is restored, it deletes the explanation associated to the value removal.

resetExplanationOnVal(int) - Method in class choco.palm.dbt.integer.PalmIntVar

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

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

resetPopping() - Method in class choco.palm.dbt.prop.PalmVarEventQueue

Reset the last event if a contradiction occured when it was handled.

resetQueue(PropagationEngine) - Method in exception choco.palm.dbt.search.PalmContradiction

when a contradiction is thrown, the propagation queue is flushed.

resetRemovalChain() - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

If a contradiction occure during restoration handling, the chain must be reinitialized in the previous state.

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

resizeWorldCapacity(int) - Method in interface choco.mem.ITrailStorage

increase the capacity of the environment to a given number of worlds

resizeWorldCapacity(int) - Method in class choco.mem.StoredBoolTrail

resizeWorldCapacity(int) - Method in class choco.mem.StoredFloatTrail

Resizes the data structure to manage more values.

resizeWorldCapacity(int) - Method in class choco.mem.StoredIntTrail

resizeWorldCapacity(int) - Method in class choco.mem.StoredIntVectorTrail

resizeWorldCapacity(int) - Method in class choco.mem.StoredLongTrail

resizeWorldCapacity(int) - Method in class choco.mem.StoredVectorTrail

restart() - Method in class choco.global.Cumulative.IntList

restart - Variable in class choco.Solver

Do we want to restart a new search after each solution

RESTINF - Static variable in class choco.palm.dbt.prop.PalmIntVarEvent

Constant value associated to the inf bound restoration prop.

RESTINF - Static variable in class choco.palm.real.PalmRealVarEvent

Constant value associated to the inf bound restoration prop.

restore() - Method in class choco.Solution

restoreBestSolution() - Method in class choco.AbstractSolver

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

restoreInf(int) - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

Restores a lower bound and posts the event.

restoreInf(int) - Method in interface choco.palm.dbt.integer.PalmIntDomain

Restores a lower bound and posts the event.

restoreInf(int) - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Restores a lower bound and posts the event.

restoreInf(int) - Method in class choco.palm.dbt.integer.PalmIntVar

restoreInf(double) - Method in interface choco.palm.real.PalmRealDomain

Lower bound of the domain should be restored to the specified value.

restoreInf(double) - Method in class choco.palm.real.PalmRealDomainImpl

Restores lower bound to the specified value.

restoreInf(double) - Method in interface choco.palm.real.PalmRealVar

Restores a previous value of the lower bound.

restoreInf(double) - Method in class choco.palm.real.PalmRealVarImpl

Lower bound of the domain should be restored to the specified value.

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

restoreState() - Method in class choco.mem.TwoStateIntVector

restoreSup(int) - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

Restores an upper bound and posts the event.

restoreSup(int) - Method in interface choco.palm.dbt.integer.PalmIntDomain

Restores an upper bound and posts the event.

restoreSup(int) - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Restores an upper bound and posts the event.

restoreSup(int) - Method in class choco.palm.dbt.integer.PalmIntVar

restoreSup(double) - Method in interface choco.palm.real.PalmRealDomain

Upper bound of the domain should be restored to the specified value.

restoreSup(double) - Method in class choco.palm.real.PalmRealDomainImpl

Restores upper bound to the specified value.

restoreSup(double) - Method in interface choco.palm.real.PalmRealVar

Restores a previous value of the upper bound.

restoreSup(double) - Method in class choco.palm.real.PalmRealVarImpl

Upper bound of the domain should be restored to the specified value.

restoreVal(int) - Method in class choco.palm.dbt.integer.PalmBitSetIntDomain

Restores a value and posts the event.

restoreVal(int) - Method in interface choco.palm.dbt.integer.PalmIntDomain

Restores a value and posts the event.

restoreVal(int) - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Restores a value and posts the event.

restoreVal(int) - Method in class choco.palm.dbt.integer.PalmIntVar

restoreVariableExplanation() - Method in class choco.palm.dbt.prop.PalmIntVarEvent

Updates explanations for the variable: when bounds are completely restored, the unrelevant explanations are removed.

restoreVariableExplanation() - Method in interface choco.palm.dbt.prop.PalmVarEvent

restoreVariableExplanation() - Method in class choco.palm.real.PalmRealVarEvent

Updates variable states after restoration (like explanation or decision constraints for instance).

restoreVariableExplanations() - Method in class choco.palm.dbt.prop.PalmVarEventQueue

Updates variable explanations.

restrict(int) - Method in class choco.integer.var.BitSetIntDomain

Removes all the value but the specified one.

restrict(int) - Method in interface choco.integer.var.IntDomain

Restricting the domain to a singleton

restrict(int) - Method in class choco.integer.var.IntervalIntDomain

RESTSUP - Static variable in class choco.palm.dbt.prop.PalmIntVarEvent

Constant value associated to the sup bound restoration prop.

RESTSUP - Static variable in class choco.palm.real.PalmRealVarEvent

Constant value associated to the sup bound restoration prop.

RESTVAL - Static variable in class choco.palm.dbt.prop.PalmIntVarEvent

Constant value associated to the value restoration prop.

retainAll(Collection) - Method in class choco.util.PriorityQueue

Not yet implemented.

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

Reverses a decision constraint.

reviseV0() - Method in class choco.integer.constraints.extension.AC2001BinConstraint

reviseV0() - Method in class choco.integer.constraints.extension.AC3BinConstraint

reviseV1() - Method in class choco.integer.constraints.extension.AC2001BinConstraint

reviseV1() - Method in class choco.integer.constraints.extension.AC3BinConstraint

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

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

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

Iterator without a valid remove method !

run() - Method in class choco.AbstractSolver

main entry point: running the search algorithm controlled the Solver object

run() - Method in class choco.palm.dbt.search.PalmAbstractBranchAndBound

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

Starts solving.

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

Deprecated. replaced by the incrementalRun

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

Deprecated. replaced by incrementalRun

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

Deprecated. replaced by incrementalRun

runonce() - Method in class choco.palm.dbt.search.PalmAbstractBranchAndBound

solving the feasibility problem same code as in run(PalmGlobalSearchSolver) in order to be able to store consecutive solutions ...