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 _

S

savePreviousState(StoredBool, boolean, int) - Method in class choco.mem.StoredBoolTrail

Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.

savePreviousState(StoredFloat, double, int) - Method in class choco.mem.StoredFloatTrail

Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.

savePreviousState(StoredInt, int, int) - Method in class choco.mem.StoredIntTrail

Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.

savePreviousState(StoredIntVector, int, int, int) - Method in class choco.mem.StoredIntVectorTrail

Reacts on the modification of an element in a stored search vector.

savePreviousState(StoredLong, long, int) - Method in class choco.mem.StoredLongTrail

Reacts when a StoredInt is modified: push the former value & timestamp on the stacks.

savePreviousState(StoredVector, int, Object, int) - Method in class choco.mem.StoredVectorTrail

Reacts on the modification of an element in a stored search vector.

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

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

Building a term from a scalar product of coefficients and variables

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

Building a term from a scalar product of coefficients and variables

scalar(int[], IntVar[]) - Method in interface choco.IntModeler

Building a term from a scalar product of coefficients and variables

scalar(IntVar[], int[]) - Method in interface choco.IntModeler

Building a term from a scalar product of coefficients and variables

SEARCH - Static variable in class choco.Solver

SearchInfo - Interface in choco.palm.dbt.explain

Information concerning constraints that can be learned during the search A Comparator has to be designed according to the searchInfo to compare.

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

Deprecated.

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

the second search explores (DFS) the inverse of the reduced graph

secondHalf(RealInterval) - Static method in class choco.real.RealMath

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

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

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

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

selectBranchingObject() - Method in interface choco.branch.Branching

selecting the object under scrutiny (that object on which an alternative will be set)

selectBranchingObject() - Method in class choco.palm.dbt.search.PalmAssignVar

Selects an item to branch on.

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

Returns the next variable to split.

selectBranchingObject() - Method in class choco.real.search.AssignInterval

selectBranchingObject() - Method in class choco.search.AssignVar

selecting the object under scrutiny (that object on which an alternative will be set)

selectBranchingObject() - Method in class choco.set.search.AssignSetVar

selectDecisionToUndo(PalmExplanation) - Method in class choco.palm.dbt.search.PalmRepair

Selects a decision to undo for repairing a contradiction.

selectDecisionToUndo(PalmExplanation) - Method in class choco.palm.dbt.search.PalmUnsureRepair

selectFirstBranch(Object) - Method in interface choco.branch.ObjectBranching

Computes decisions that can be taken on the specified item by the solver.

selectFirstBranch(Object) - Method in class choco.palm.dbt.search.PalmAssignVar

Returns a decision to take on the choosen item.

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

Returns the decision constraint to add (w.r.t. a specified variable).

selectIntVar() - Method in class choco.integer.search.DomOverDeg

the IIntVarSelector can be asked to return an IntDomainVarImpl

selectIntVar() - Method in interface choco.integer.search.IIntVarSelector

the IIntVarSelector can be asked to return an IntDomainVarImpl

selectIntVar() - Method in class choco.integer.search.MinDomain

the IIntVarSelector can be asked to return an IntDomainVarImpl

selectIntVar() - Method in class choco.integer.search.MostConstrained

Searches for a non instantiated variable with as much constraints posted on it as possible.

selectIntVar() - Method in class choco.integer.search.RandomIntVarSelector

selectIntVar() - Method in class choco.integer.search.StaticVarOrder

selectRealVar() - Method in class choco.real.search.CyclicRealVarSelector

selectRealVar() - Method in interface choco.real.search.RealVarSelector

selectSetVar() - Method in class choco.set.search.MinDomSet

selectSetVar() - Method in interface choco.set.search.SetVarSelector

the SetVarSelector can be asked to return a set variable

selectSetVar() - Method in class choco.set.search.StaticSetVarOrder

selectVar() - Method in class choco.integer.search.AbstractIntVarSelector

the IVarSelector can be asked to return a variable

selectVar() - Method in class choco.real.search.AbstractRealVarSelector

selectVar() - Method in interface choco.search.IVarSelector

the IVarSelector can be asked to return a variable

selectVar() - Method in class choco.set.search.AbstractSetVarSelector

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

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

Allows to get an explanation for the domain or a bound of the variable.

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

Allows to get an explanation for a value removal from the variable.

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

Allows to get an explanation for the domain or a bound of the variable.

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

Allows to get an explanation for a value removal from the variable.

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

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

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

Computes the explain associated to this constraint: either this constraint itself if direct, or the addingExplanation if indirect.

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

Allows to get an explanation for the domain or a bound of the variable.

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

Allows to get an explanation for a value removal from the variable.

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

Allows to get an explanation for the domain or a bound of the variable.

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

Allows to get an explanation for a value removal from the variable.

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

Allows to get an explanation for the domain or a bound of the variable.

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

Allows to get an explanation for a value removal from the variable.

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

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

self_explain(Explanation) - Method in interface choco.palm.ExplainedConstraintPlugin

Computes the explain associated to this constraint.

self_explain(int, Explanation) - Method in interface choco.palm.ExplainedDomain

self_explain(int, Explanation) - Method in interface choco.palm.ExplainedVar

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

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

self_explain(int, Explanation) - Method in class choco.palm.real.exp.AbstractPalmRealBinTerm

Explains the state of this expression (lower/upper bounds or all domain).

self_explain(int, ConstraintCollection) - Method in class choco.palm.real.exp.AbstractPalmRealUnTerm

Explains the state of this expression (lower/upper bounds or all domain)

self_explain(int, Explanation) - Method in class choco.palm.real.exp.PalmRealIntervalConstant

Explains the values of the constant.

self_explain(int, Explanation) - Method in class choco.palm.real.PalmRealDomainImpl

Explains the state of this domain

self_explain(int, Explanation) - Method in interface choco.palm.real.PalmRealInterval

Merge explanation of the specified part of the domain to a constraint collection.

self_explain(int, Explanation) - Method in class choco.palm.real.PalmRealVarImpl

Merge explanation of the specified part of the domain to a constraint collection.

set(boolean) - Method in interface choco.mem.IStateBool

Modifies the value and stores if needed the former value on the trailing stack.

set(int) - Method in interface choco.mem.IStateInt

Modifies the value and stores if needed the former value on the trailing stack.

set(int, int) - Method in interface choco.mem.IStateIntVector

Assigns a new value val to the element index.

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

Puts the specified bit on.

set(int, boolean) - Method in class choco.mem.StoredBitSet

set(boolean) - Method in class choco.mem.StoredBool

Modifies the value and stores if needed the former value on the trailing stack.

set(double) - Method in class choco.mem.StoredFloat

Modifies the value and stores if needed the former value on the trailing stack.

set(int) - Method in class choco.mem.StoredInt

Modifies the value and stores if needed the former value on the trailing stack.

set(int, int) - Method in class choco.mem.StoredIntVector

Assigns a new value val to the element index.

set(long) - Method in class choco.mem.StoredLong

Modifies the value and stores if needed the former value on the trailing stack.

set(int, Object) - Method in class choco.mem.StoredVector

Assigns a new value val to the element index.

set(int, int) - Method in class choco.mem.TwoStateIntVector

Assigns a new value val to the element index.

set(float) - Method in class choco.palm.dbt.search.pathrepair.PathRepairSearchInfo

setActive() - Method in class choco.AbstractConstraint

Un-freezing a constraint (this is useful for mimicking dynamic constraint posts...).

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

setActive() - Method in interface choco.prop.VarEventListener

Propagation: un-freezes a constraint [a constraint is active if it is connected to the network and if it does propagate]

setApproximatedStructure() - Method in class choco.palm.BendersProblem

precise that the structures used as subproblems is not ideal but has week relationships WARNING : it can only be used in case of satisfaction problem.

setBit(int, int) - Static method in class choco.util.BitSet

sets the i-th bit of an search (does nothing if it is already on)

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

resetting the optimization bounds

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

resetting the optimization bounds

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

resetting the optimization bounds

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

resetting the optimization bounds

setBranchIndex(int) - Method in class choco.search.IntBranchingTrace

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

Sets the branching used by this extension.

setBranching(IntBranching) - Method in class choco.search.IntBranchingTrace

setBranchingObject(Object) - Method in class choco.search.IntBranchingTrace

SetCard - Class in choco.set.constraint

SetCard(SetVar, IntDomainVar, boolean, boolean) - Constructor for class choco.set.constraint.SetCard

setCoefficient(int, int) - Method in class choco.integer.var.IntTerm

sets the i-th coefficient

setConstant(int) - Method in class choco.integer.var.IntTerm

sets the integer constant involved in the linear term

SetConstraint - Interface in choco.set

Created by IntelliJ IDEA.

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

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

Sets the constraint number during the post of teh variable.

setConstraintIndex(int, int) - Method in class choco.bool.AbstractBinCompositeConstraint

Sets the constraint index according to the variable i.

setConstraintIndex(int, int) - Method in class choco.bool.AbstractLargeCompositeConstraint

setConstraintIndex(int, int) - Method in class choco.bool.ConstantConstraint

setConstraintIndex(int, int) - Method in interface choco.Constraint

Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx.

setConstraintIndex(int, int) - Method in class choco.Formula

setConstraintIndex(int, int) - Method in class choco.integer.constraints.AbstractBinIntConstraint

Let v be the i-th var of c, records that c is the n-th constraint involving v.

setConstraintIndex(int, int) - Method in class choco.integer.constraints.AbstractLargeIntConstraint

Let v be the i-th var of c, records that c is the n-th constraint involving v.

setConstraintIndex(int, int) - Method in class choco.integer.constraints.AbstractTernIntConstraint

Let v be the i-th var of c, records that c is the constraint n according to v.

setConstraintIndex(int, int) - Method in class choco.integer.constraints.AbstractUnIntConstraint

Let v be the i-th var of c, records that c is the n-th constraint involving v.

setConstraintIndex(int, int) - Method in interface choco.integer.var.IntVarEventListener

Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx.

setConstraintIndex(int, int) - Method in interface choco.palm.PalmVarListener

Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx.

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

setConstraintIndex(int, int) - Method in class choco.real.constraint.AbstractBinRealIntConstraint

setConstraintIndex(int, int) - Method in class choco.real.constraint.AbstractLargeRealConstraint

Sets this constraint index according to the variable i.

setConstraintIndex(int, int) - Method in class choco.real.constraint.AbstractUnRealConstraint

Let v0 be the i-th var of c, records that c is the idx-th constraint involving v0.

setConstraintIndex(int, int) - Method in interface choco.real.constraint.RealListener

Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx.

setConstraintIndex(int, int) - Method in class choco.set.constraint.AbstractBinSetConstraint

Let v be the i-th var of c, records that c is the n-th constraint involving v.

setConstraintIndex(int, int) - Method in class choco.set.constraint.AbstractBinSetIntConstraint

Let v be the i-th var of c, records that c is the n-th constraint involving v.

setConstraintIndex(int, int) - Method in class choco.set.constraint.AbstractTernSetConstraint

Let v be the i-th var of c, records that c is the n-th constraint involving v.

setConstraintIndex(int, int) - Method in class choco.set.constraint.AbstractUnSetConstraint

Let v be the i-th var of c, records that c is the n-th constraint involving v.

setConstraintIndex(int, int) - Method in interface choco.set.var.SetVarEventListener

Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx.

setContradictionCause(Entity) - Method in class choco.prop.AbstractPropagationEngine

Store the cause of the last contradiction.

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

Recording the cause of the last contradiction.

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

set an explanation to know why the problem is over-constrained.

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

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

Sets if a contradiciton has been reached.

setCouple(int, int) - Method in class choco.integer.constraints.extension.CouplesTable

setCouple(int[]) - Method in class choco.integer.constraints.extension.TuplesTable

setCoupleWithoutOffset(int, int) - Method in class choco.integer.constraints.extension.CouplesTable

setCurrentFail(Explanation) - Method in class choco.palm.benders.search.SubSearchSolver

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

set the way BendersCut are managed

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

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

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

Sets the constraint depending.

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

Sets the constraint direct.

setDisjoint(SetVar, SetVar) - Method in class choco.AbstractModel

SetDomain - Interface in choco.set.var

Created by IntelliJ IDEA.

SetDomainImpl - Class in choco.set.var

Created by IntelliJ IDEA.

SetDomainImpl(SetVar, int, int) - Constructor for class choco.set.var.SetDomainImpl

SetDomainImpl.SetDomainIterator - Class in choco.set.var

SetDomainImpl.SetOpenDomainIterator - Class in choco.set.var

setDoMaximize(boolean) - Method in class choco.Solver

a boolean indicating if the solver minize or maximize the objective function

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

when an edge is definitely chosen in the bipartite assignment graph.

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

implement the other main event: when an edge is definitely set in the bipartite assignment graph

setEntailed() - Method in class choco.AbstractConstraint

records that a constraint is now entailed (therefore it is now useless to propagate it again)

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

setEventType(int) - Method in class choco.integer.var.IntVarEvent

records the event type

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

Sets the extender which uses this branching.

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

Sets if the solver has finished searching a solution.

setFirstSolution(boolean) - Method in class choco.Solver

Sets wether only the first solution must be found

setInCycle(int) - Method in class choco.util.StoredPointerCycle

Deprecated. Sets the index into the cycle.

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

Sets the constraint indirect.

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

Public user API: Propagation events updating the lower bound of a variable (ie: removing all value strictly below the new lower bound from the domain).

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

Sets the minimum value.

setInitialized(boolean) - Method in class choco.prop.ConstraintEvent

Sets if the constraint is initialized.

setInter(SetVar, SetVar, SetVar) - Method in class choco.AbstractModel

Enforce a set to be the intersection of two others.

SetIntersection - Class in choco.set.constraint

A constraint stating that a set is the intersection of two others There are seven propagation rules for the constraint sv3 = intersection(sv1, sv2) Ker(sv1) contains Ker(sv3) Ker(sv2) contains Ker(sv3) Ker(sv3) contains (Ker(sv1) inter Ker(sv2)) Env(v3) disjoint Complement(Env(v1)) Env(v3) disjoint Complement(Env(v2)) Env(v2) disjoint Ker(v1) inter Complement(Env(v3)) Env(v1) disjoint Ker(v2) inter Complement(Env(v3))

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

setLoggingMaxDepth(int) - Method in class choco.search.AbstractGlobalSearchSolver

count of the backtracks made during search

setLoggingMaxDepth(int) - Method in class choco.Solver

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

set the branching of the master solver

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

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

match the ith variable to value j

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

adding the arc i-j in the reference matching & update matchingSize

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

Adding the arc i-j in the reference matching.

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

Deprecated. replaced by setMax

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

Deprecated. replaced by setSup

setMaximizationObjective(IntVar) - Method in class choco.AbstractModel

setMaximizationObjective(IntVar) - Method in interface choco.IntModeler

sets the optimization mode to maximization and sets the objective function

setMaxRelaxLevel(int) - Method in class choco.palm.PalmProblem

Sets the maximum level the solver can relax without user interaction (default value is 0, that is only decision constraints).

setMemory(NogoodConstraint) - Method in class choco.palm.dbt.search.pathrepair.PathRepairLearn

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

Deprecated. replaced by setInf

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

Deprecated. replaced by setInf

setMinimizationObjective(IntVar) - Method in class choco.AbstractModel

setMinimizationObjective(IntVar) - Method in interface choco.IntModeler

sets the optimization mode to minimization and sets the objective function

setNbMax(int) - Method in class choco.search.AbstractGlobalSearchLimit

Sets the limits

setNextBranching(AbstractBranching) - Method in class choco.branch.AbstractBranching

Sets the next branching.

setNoContradictionCause() - Method in class choco.prop.AbstractPropagationEngine

Erase the cause of the last contradiction.

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

Recording that there was no known cause for the last contradiction.

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

setNodeLimit(int) - Method in class choco.Solver

Sets the node limit i.e. the maximal number of nodes explored by the search algorithm

setObjective(Var) - Method in class choco.Solver

Set the variable to optimize

setObjectives(IntDomainVar[]) - Method in class choco.palm.benders.BendersSolver

setOutOfCycle(int) - Method in class choco.util.StoredPointerCycle

Deprecated. Sets the index into the cycle.

setPalmExtender(PalmExtend) - Method in class choco.palm.dbt.PalmSolver

Sets a custom extender to attach to the generated solver.

setPalmLearner(PalmLearn) - Method in class choco.palm.dbt.PalmSolver

Sets a custom learner to attach to the generated solver.

setPalmRepairer(PalmRepair) - Method in class choco.palm.dbt.PalmSolver

Sets a custom repairer to attach to the generated solver.

setPalmState(PalmState) - Method in class choco.palm.dbt.PalmSolver

Sets a custom state to attach to the generated solver.

setPassive() - Method in class choco.AbstractConstraint

Freezing a constraint (this is useful for backtracking when mimicking dynamic constraint posts...).

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

setPassive() - Method in interface choco.prop.VarEventListener

Propagation: freezes a constraint [a constraint is active if it is connected to the network and if it does propagate]

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

setPathRepairValues(int, int) - Method in class choco.palm.dbt.PalmSolver

Decision Repair Sets the maximal number of explanations stored and the maximal moves without improvement of the decision repair algorithm.

setPlugIn(ConstraintPlugin) - Method in class choco.AbstractConstraint

Set the ConstraintPlugin of the constraint.

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

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

setPopping(boolean) - Method in class choco.palm.real.PalmRealVarEvent

Specifies if this event is being popped.

setPrecision(double) - Method in class choco.AbstractProblem

setReduction(double) - Method in class choco.AbstractProblem

setRelation(MasterSlavesRelation) - Method in class choco.palm.benders.BendersSolver

setRestart(boolean) - Method in class choco.Solver

set the optimization strategy: - restart or not after each solution found

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

setSolver(AbstractGlobalSearchSolver) - Method in class choco.branch.AbstractBranching

setStatus(int, boolean) - Method in class choco.bool.AbstractBinBoolConstraint

setStatus(int, boolean) - Method in class choco.bool.AbstractLargeBoolConstraint

setStatus(int, boolean) - Method in interface choco.bool.BoolConstraint

updates the status of one of its subconstraints

setSubConstraintStatus(Constraint, boolean, int) - Method in class choco.bool.AbstractBinBoolConstraint

setSubConstraintStatus(Constraint, boolean, int) - Method in class choco.bool.AbstractBinBoolConstraintWithCounterOpposite

setSubConstraintStatus(Constraint, boolean, int) - Method in class choco.bool.AbstractLargeBoolConstraint

setSubConstraintStatus(Constraint, boolean, int) - Method in class choco.bool.AbstractLargeBoolConstraintWithCounterOpposite

setSubConstraintStatus(Constraint, boolean, int) - Method in interface choco.bool.BoolConstraint

records that the status of a subConstraint is now true

setSubGoal(int, AbstractIntBranching) - Method in class choco.palm.benders.search.MasterGlobalSearchSolver

set the branching of subproblem number i

setSubValIterator(int, IValIterator) - Method in class choco.palm.benders.BendersSolver

Sets the value iterator the search should use

setSubValSelector(int, IValSelector) - Method in class choco.palm.benders.BendersSolver

Sets the value selector the search should use

setSubVarSelector(int, IVarSelector) - Method in class choco.palm.benders.BendersSolver

Sets the variable selector the search solver should use.

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

Public user API: Propagation events updating the upper bound of a variable (ie: removing all value strictly above the new upper bound from the domain).

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

Sets the maximal value.

setSupport(int, int, int[]) - Method in class choco.integer.constraints.extension.GAC2001LargeConstraint

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

resetting the values of the target bounds (bounds for the remaining search)

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

resetting the values of the target bounds (bounds for the remaining search)

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

resetting the values of the target bounds (bounds for the remaining search)

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

resetting the values of the target bounds (bounds for the remaining search)

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

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

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

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

setTargetStatus(int, boolean) - Method in class choco.bool.AbstractBinBoolConstraint

setTargetStatus(int, boolean) - Method in class choco.bool.AbstractLargeBoolConstraint

setTargetStatus(int, boolean) - Method in interface choco.bool.BoolConstraint

updates the target status of one of its subconstraints

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

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

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

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

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

setTimeLimit(int) - Method in class choco.Solver

Sets the time limit i.e. the maximal time before stopping the search algorithm

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

Public user API: Propagation events assigning a value to a variable (ie: removing all other values from its domain).

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

Instantiates the variable.

setVal(int[]) - Method in interface choco.set.SetVar

set the value of the variable to the set val.

setVal(int[]) - Method in class choco.set.var.SetVarImpl

setValIn(int) - Method in interface choco.set.SetVar

Public user API: setting a value to the kernel of a set variable

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

setValIterator(IValIterator) - Method in class choco.Solver

Sets the value iterator the search should use

setValOut(int) - Method in interface choco.set.SetVar

Public user API: removing a value from the Enveloppe of a set variable.

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

SetValSelector - Interface in choco.set.search

An interface for control objects that model a binary choice to an search value

setValSelector(IValSelector) - Method in class choco.Solver

Sets the value selector the search should use

setVar(int, Var) - Method in class choco.bool.AbstractBinCompositeConstraint

Sets the variable i.

setVar(int, Var) - Method in class choco.bool.AbstractLargeCompositeConstraint

setVar(int, Var) - Method in class choco.bool.ConstantConstraint

setVar(int, Var) - Method in interface choco.Constraint

Network management: Setting (or overwriting) the ith variable of a constraint.

setVar(int, Var) - Method in class choco.Formula

setVar(int, Var) - Method in class choco.integer.constraints.AbstractBinIntConstraint

setVar(int, Var) - Method in class choco.integer.constraints.AbstractLargeIntConstraint

setVar(int, Var) - Method in class choco.integer.constraints.AbstractTernIntConstraint

Sets the association between variable and index of this variable.

setVar(int, Var) - Method in class choco.integer.constraints.AbstractUnIntConstraint

setVar(int, Var) - Method in class choco.palm.search.Assignment

setVar(int, Var) - Method in class choco.real.constraint.AbstractBinRealIntConstraint

setVar(int, Var) - Method in class choco.real.constraint.AbstractLargeRealConstraint

Sets a variable involved by the constraint.

setVar(int, Var) - Method in class choco.real.constraint.AbstractUnRealConstraint

setVar(int, Var) - Method in class choco.set.constraint.AbstractBinSetConstraint

setVar(int, Var) - Method in class choco.set.constraint.AbstractBinSetIntConstraint

setVar(int, Var) - Method in class choco.set.constraint.AbstractTernSetConstraint

setVar(int, Var) - Method in class choco.set.constraint.AbstractUnSetConstraint

SetVar - Interface in choco.set

Created by IntelliJ IDEA.

SetVarEvent - Class in choco.set.var

Created by IntelliJ IDEA.

SetVarEvent(AbstractVar) - Constructor for class choco.set.var.SetVarEvent

SetVarEventListener - Interface in choco.set.var

Created by IntelliJ IDEA.

setVariable(int, IntVar) - Method in class choco.integer.var.IntTerm

sets the i-th variable

SetVarImpl - Class in choco.set.var

Created by IntelliJ IDEA.

SetVarImpl(AbstractProblem, String, int, int) - Constructor for class choco.set.var.SetVarImpl

setVars - Variable in class choco.AbstractModel

All the set intVars in the problem.

SetVarSelector - Interface in choco.set.search

setVarSelector(IVarSelector) - Method in class choco.Solver

Sets the variable selector the search solver should use.

setVarValues - Variable in class choco.Solution

setVerbosity(int) - Static method in class choco.Solver

setVerbosity(Logger, Level) - Static method in class choco.Solver

Sets the level of log for the Logger and the Handler.

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

Sets the weight of the constraint.

shaveOnX() - Method in class choco.integer.constraints.TimesXYZ

Updating X and Y when Z can be 0

shaveOnXandY() - Method in class choco.integer.constraints.TimesXYZ

shaveOnY() - Method in class choco.integer.constraints.TimesXYZ

shaveOnYandX() - Method in class choco.integer.constraints.TimesXYZ

showSolution() - Method in class choco.AbstractSolver

showing information about the last solution

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

States if modfication should be quiet, that is no PaLM must be created when the bounds are modified.

SILENT - Static variable in class choco.Solver

silentlyAssign(RealInterval) - Method in class choco.palm.real.PalmRealDomainImpl

Quietly assign this domain to the values of the specified interval.

silentlyAssign(RealInterval) - Method in interface choco.real.RealVar

Modifies bounds silently (does not propagate modifications).

silentlyAssign(RealInterval) - Method in interface choco.real.var.RealDomain

silentlyAssign(RealInterval) - Method in class choco.real.var.RealDomainImpl

silentlyAssign(RealInterval) - Method in class choco.real.var.RealVarImpl

sin(RealExp) - Method in class choco.AbstractModel

Sinus of an expression.

sin(RealExp) - Method in class choco.palm.real.PalmRealModeler

Sinus of an expression.

sin(RealInterval) - Static method in class choco.real.RealMath

sin(RealExp) - Method in class choco.real.RealModeler

Sinus of an expression.

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

size() - Method in interface choco.ConstraintCollection

return the size of the bitSet

size - Variable in class choco.global.Cumulative.IntList

size - Variable in class choco.integer.constraints.extension.GAC2001LargeConstraint

size - Variable in class choco.integer.var.BitSetIntDomain

Number of present values.

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

Returns the current size of the stored search vector.

size() - Method in class choco.mem.PartiallyStoredIntVector

size() - Method in class choco.mem.PartiallyStoredVector

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

Returns the current size of the stored search vector.

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

Returns the current size of the stored search vector.

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

Returns the current size of the stored search vector.

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

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

Get the size of the bitSet

size() - Method in class choco.prop.ConstraintEventQueue

size() - Method in interface choco.prop.EventQueue

returns the number of pending events in the queue

size() - Method in class choco.prop.VarEventQueue

size - Variable in class choco.set.var.BitSetEnumeratedDomain

Number of present values.

size() - Method in class choco.util.PriorityQueue

Returns the size of the queue.

size() - Method in class choco.util.StoredPointerCycle

Deprecated. Compute the size of the data structure.

sizes - Variable in class choco.integer.constraints.extension.TuplesTable

domain size of each variable

slave - Variable in class choco.palm.benders.search.SubSearchSolver

Solution - Class in choco

A class storing a state of the problem

Solution(AbstractProblem) - Constructor for class choco.Solution

Constructor

SOLUTION - Static variable in class choco.Solver

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

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

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

solutionFound(IntBranchingTrace) - Method in class choco.palm.benders.search.SubSearchSolver

solutions - Variable in class choco.AbstractSolver

The historical record of solutions that were found

solutionToString() - Method in class choco.AbstractProblem

solve() - Method in class choco.AbstractProblem

solve(boolean) - Method in class choco.AbstractProblem

solve(boolean) - Method in class choco.palm.JumpProblem

solve(boolean) - Method in class choco.palm.PalmProblem

Deprecated.

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

Tries to search the first solution of the problem.

solve(boolean) - Method in class choco.Problem

solve() - Method in class choco.Problem

Solve - Class in choco.search

Solve(AbstractProblem) - Constructor for class choco.search.Solve

solveAll() - Method in class choco.AbstractProblem

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

Tries to find all solutions of the problem.

solveAll() - Method in class choco.Problem

solved - Variable in class choco.AbstractProblem

True if the problem was solved.

solver - Variable in class choco.AbstractProblem

The object controlling the global search exploration

solver - Variable in class choco.search.AbstractGlobalSearchLimit

the solver that delegates the limit checking task to such AbstractGlobalSearchLimit objects

Solver - Class in choco

This class serves both as a factory and as a handler for AbstractGlobalSearchSolvers:

Solver(AbstractProblem) - Constructor for class choco.Solver

solver - Variable in class choco.Solver

The object controlling the global search exploration

solveSubProblems() - Method in class choco.palm.benders.search.ApproximateMaster

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

Main iteration over the subproblems

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

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

sortIt() - Method in class choco.global.BoundAllDiff

sortmax() - Method in class choco.global.BoundAllDiff

sortmin() - Method in class choco.global.BoundAllDiff

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

starth - Variable in class choco.search.TimeLimit

startingZeroCnt(int) - Static method in class choco.mem.StoredBitSet

Counts the number of clear bits starting from the heaviest (leftmost) one assumes val contains some bits that are set.

starts - Variable in class choco.global.Cumulative

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

The state class the generated solver should use to maintain the state of the search.

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

Maintains the state of the search (past branching decisions).

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

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

staticInts - Variable in class choco.mem.PartiallyStoredIntVector

staticObjects - Variable in class choco.mem.PartiallyStoredVector

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

StaticSetVarOrder - Class in choco.set.search

StaticSetVarOrder(SetVar[]) - Constructor for class choco.set.search.StaticSetVarOrder

StaticVarOrder - Class in choco.integer.search

A variable selector selecting the first non instantiated variable according to a given static order

StaticVarOrder(IntDomainVar[]) - Constructor for class choco.integer.search.StaticVarOrder

statusBitVector - Variable in class choco.bool.AbstractBinBoolConstraint

using a bitvector to store four three-valued data (true, false, unknown): status/targetStatus of c.const0/2 Each data is stored on two bits: - the first bit indicates whether the data is known or unknown - the second bit indicates whether the data is true or false Therefore, the second bit is meaningful only when the first one is true.

statusBitVector - Variable in class choco.bool.AbstractLargeBoolConstraint

stComp - Variable in class choco.global.Cumulative

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

stopAtFirstSol - Variable in class choco.search.AbstractGlobalSearchSolver

indicates whether the control should stop after the first solution is found

storeCuts(Explanation, int) - Method in class choco.palm.benders.search.MasterGlobalSearchSolver

STORED_OFFSET - Static variable in class choco.mem.PartiallyStoredIntVector

STORED_OFFSET - Static variable in class choco.mem.PartiallyStoredVector

StoredBitSet - Class in choco.mem

A set of bits (0/1 values) with backtrackable structures.

StoredBitSet(Environment, int) - Constructor for class choco.mem.StoredBitSet

Builds a new stored bit set.

StoredBool - Class in choco.mem

A class implementing backtrackable booleans.

StoredBool(Environment, boolean) - Constructor for class choco.mem.StoredBool

Constructs a stored search with an initial value.

StoredBoolTrail - Class in choco.mem

Implementing storage of historical values for backtrackable integers.

StoredBoolTrail(Environment, int, int) - Constructor for class choco.mem.StoredBoolTrail

Constructs a trail with predefined size.

StoredFloat - Class in choco.mem

A class implementing a backtrackable float variable.

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

Constructs a stored search with an unknown initial value.

StoredFloat(Environment, double) - Constructor for class choco.mem.StoredFloat

Constructs a stored search with an initial value.

StoredFloatTrail - Class in choco.mem

A backtrackable float variable trail storing past values of all the float variables.

StoredFloatTrail(Environment, int, int) - Constructor for class choco.mem.StoredFloatTrail

Constructs a trail with predefined size.

StoredInt - Class in choco.mem

A class implementing backtrackable integers.

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

Constructs a stored search with an unknown initial value.

StoredInt(Environment, int) - Constructor for class choco.mem.StoredInt

Constructs a stored search with an initial value.

storedInts - Variable in class choco.mem.PartiallyStoredIntVector

StoredIntTrail - Class in choco.mem

Implementing storage of historical values for backtrackable integers.

StoredIntTrail(Environment, int, int) - Constructor for class choco.mem.StoredIntTrail

Constructs a trail with predefined size.

StoredIntVector - Class in choco.mem

Implements a backtrackable search vector.

StoredIntVector(Environment, int, int) - Constructor for class choco.mem.StoredIntVector

Constructs a stored search vector with an initial size, and initial values.

StoredIntVector(int[]) - Constructor for class choco.mem.StoredIntVector

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

Constructs an empty stored search vector.

StoredIntVectorTrail - Class in choco.mem

Implements a trail with the history of all the stored search vectors.

StoredIntVectorTrail(Environment, int, int) - Constructor for class choco.mem.StoredIntVectorTrail

Constructs a trail for the specified environment with the specified numbers of updates and worlds.

StoredLong - Class in choco.mem

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

Constructs a stored search with an unknown initial value.

StoredLong(Environment, long) - Constructor for class choco.mem.StoredLong

Constructs a stored search with an initial value.

StoredLongTrail - Class in choco.mem

StoredLongTrail(Environment, int, int) - Constructor for class choco.mem.StoredLongTrail

Constructs a trail with predefined size.

StoredObject - Class in choco.mem

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

storedObjects - Variable in class choco.mem.PartiallyStoredVector

StoredPointerCycle - Class in choco.util

Deprecated. Not used anymore !

StoredPointerCycle(Environment) - Constructor for class choco.util.StoredPointerCycle

Deprecated. Builds the data structure with the specified environment.

StoredVector - Class in choco.mem

Implements a backtrackable search vector.

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

Constructs a stored search vector with an initial size, and initial values.

StoredVector(int[]) - Constructor for class choco.mem.StoredVector

StoredVectorTrail - Class in choco.mem

Implements a trail with the history of all the stored search vectors.

StoredVectorTrail(Environment, int, int) - Constructor for class choco.mem.StoredVectorTrail

Constructs a trail for the specified environment with the specified numbers of updates and worlds.

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

storePartialSolution(int, int) - Method in class choco.palm.benders.search.ApproximateMaster

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

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

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

storeSolution(Solution) - Method in class choco.AbstractSolver

strict - Variable in class choco.global.Lex

StructureMaintainer - Class in choco.palm.dbt.prop

Created by IntelliJ IDEA.

StructureMaintainer() - Constructor for class choco.palm.dbt.prop.StructureMaintainer

sub(PalmProblem, RealInterval, RealInterval) - Static method in class choco.palm.real.PalmRealMath

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

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

subExps(List) - Method in class choco.real.exp.AbstractRealBinTerm

subExps(List) - Method in class choco.real.exp.AbstractRealUnTerm

subExps(List) - Method in class choco.real.exp.RealIntervalConstant

subExps(List) - Method in interface choco.real.RealExp

Computes recursively the sub expressions (avoids to tighten and project recursively).

subExps(List) - Method in class choco.real.var.RealVarImpl

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

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

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

the goal corresponding to the variables of each subproblems

SubOptimizer - Class in choco.palm.benders.search

A searchsolver for optimization

SubOptimizer(IntDomainVar, boolean, boolean) - Constructor for class choco.palm.benders.search.SubOptimizer

constructor

subOptSol - Variable in class choco.palm.benders.search.MasterSlaveOptimizer

store the optimal solution of each subproblem

subOptVar - Variable in class choco.palm.benders.search.MasterSlaveOptimizer

store the objectives variables of each subproblem

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

A search solver used for the subproblems

SubSearchSolver - Class in choco.palm.benders.search

Created by IntelliJ IDEA.

SubSearchSolver(AbstractProblem) - Constructor for class choco.palm.benders.search.SubSearchSolver

SubSearchSolver(AbstractProblem, boolean) - Constructor for class choco.palm.benders.search.SubSearchSolver

substituteVar(Var, Var) - Method in class choco.AbstractConstraint

substitues all occurrences of a variable in a constraint by another variable

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

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

subvariables - Variable in class choco.palm.BendersProblem

for each subproblems, a table of variables corresponding to the subproblem n°i is stored in subvariables.get(i)

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

Branching heuristics for each sub-problem

sum(IntExp[]) - Method in class choco.AbstractModel

Building a term from a sum of integer expressions

sum(IntExp[]) - Method in interface choco.IntModeler

Building a term from a sum of integer expressions

sum_height - Variable in class choco.global.Cumulative

data structures of the sweep algorithm sweep line status

SumRelation - Class in choco.palm.benders.search

SumRelation() - Constructor for class choco.palm.benders.search.SumRelation

sup - Variable in class choco.integer.var.IntervalIntDomain

The backtrackable maximal value of the variable.

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

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

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

Constant for selecting upper bound when asking explanations.

sup - Variable in class choco.real.exp.AbstractRealCompoundTerm

sup - Variable in class choco.real.exp.RealIntervalConstant

sup - Variable in class choco.real.exp.RealIntervalImpl

Deprecated.

sup - Variable in class choco.real.var.RealDomainImpl

sup - Variable in class choco.set.constraint.SetCard

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

supports - Variable in class choco.integer.constraints.extension.GAC2001LargeConstraint

svs - Variable in class choco.global.Cumulative.StartingDateComparator

sweep() - Method in class choco.global.Cumulative

switchToOppositeRelation() - Method in class choco.integer.constraints.extension.ConsistencyRelation

inverse the feasability of the relation

SymbolicDecision - Interface in choco.palm.search