- p2w - Variable in class org.chocosolver.solver.search.loop.monitors.FailPerPropagator
-
Map (propagator - weight), where weight is the number of times the propagator fails.
- pad(String, int, String) - Static method in class org.chocosolver.util.tools.StringUtils
-
Pads out a string upto padlen with pad chars
- PairProcedure - Interface in org.chocosolver.util.procedure
-
- ParallelPortfolio - Class in org.chocosolver.solver
-
A Portfolio helper.
- ParallelPortfolio(boolean) - Constructor for class org.chocosolver.solver.ParallelPortfolio
-
Creates a new ParallelPortfolio
This class stores the models to be executed in parallel in a
ArrayList
initially empty.
- ParallelPortfolio() - Constructor for class org.chocosolver.solver.ParallelPortfolio
-
Creates a new ParallelPortfolio
This class stores the models to be executed in parallel in a
ArrayList
initially empty.
- parent - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- ParetoOptimizer - Class in org.chocosolver.solver.objective
-
Class to store the pareto front (multi-objective optimization).
- ParetoOptimizer(boolean, IntVar[]) - Constructor for class org.chocosolver.solver.objective.ParetoOptimizer
-
Create an object to compute the Pareto front of a multi-objective problem.
- partition(SetVar[], SetVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint stating that partitions universe into sets:
union(sets) = universe
intersection(sets) = {}
- paRulesClear(int) - Method in class org.chocosolver.solver.explanations.Rules
-
Clear the propagator activation rule associated with 'pid'
- path(IntVar[], IntVar, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a path constraint which ensures that
the elements of vars define a covering path from start to end
where vars[i] = j means that j is the successor of i.
- path(IntVar[], IntVar, IntVar, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a path constraint which ensures that
the elements of vars define a covering path from start to end
where vars[i] = offset+j means that j is the successor of i.
- penalty - Variable in class org.chocosolver.solver.constraints.nary.automata.FA.utils.Bounds.MinMax
-
- penalty(int) - Method in class org.chocosolver.solver.constraints.nary.automata.penalty.AbstractPenaltyFunction
-
- penalty(int) - Method in interface org.chocosolver.solver.constraints.nary.automata.penalty.IPenaltyFunction
-
- penalty(int) - Method in class org.chocosolver.solver.constraints.nary.automata.penalty.IsoPenaltyFunction
-
Deprecated.
- penalty(int) - Method in class org.chocosolver.solver.constraints.nary.automata.penalty.LinearPenaltyFunction
-
Deprecated.
- penalty(int) - Method in class org.chocosolver.solver.constraints.nary.automata.penalty.NullPenaltyFunction
-
Deprecated.
- permutation(int[], T[]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Permutes elements from tab wrt to permutuation: tab[i] = tab[permutation[i]].
- pindices - Variable in class org.chocosolver.solver.variables.impl.AbstractVariable
-
Store the index of this variable in each of its propagators.
- plugMonitor(ISearchMonitor) - Method in class org.chocosolver.solver.Solver
-
Put a search monitor to react on search events (solutions, decisions, fails, ...).
- plus(IntVar, IntVar, IntVar) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
-
Generate valid tuples for plus constraint: VAR1 + VAR2 = RESULT
- plus(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
-
- plus(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
add the value x to all integers stored in this set
- plus(int) - Method in interface org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSet
-
add the value x to all integers stored in this set
- plus(IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
-
- plus(IntIterableRangeSet, IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
-
Set setr to {a + b | a in set1, b in set2}
- plus(IntIterableRangeSet, IntIterableRangeSet, int, int) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
-
Set setr to {a + b | a in set1, b in [l..
- pollFirst() - Method in class org.chocosolver.util.objects.IntCircularQueue
-
This method is the main reason we re-wrote the class.
- pollFirst() - Method in class org.chocosolver.util.objects.queues.CircularQueue
-
Removes the first element of the queue and returns it
This method is the main reason we re-wrote the class.
- pollLast() - Method in class org.chocosolver.util.objects.IntCircularQueue
-
This method is the main reason we re-wrote the class.
- pollLast() - Method in class org.chocosolver.util.objects.queues.CircularQueue
-
Removes the last element of the queue and returns it
This method is the main reason we re-wrote the class.
- PoolManager<E> - Class in org.chocosolver.util
-
- PoolManager() - Constructor for class org.chocosolver.util.PoolManager
-
- PoolManager(int) - Constructor for class org.chocosolver.util.PoolManager
-
- pop() - Method in class org.chocosolver.util.objects.PriorityQueue
-
Returns and removes the element with highest priority (i.e. lowest value) in O(1).
- pos - Variable in class org.chocosolver.solver.constraints.nary.sum.PropSum
-
The position of the last positive coefficient
- position - Variable in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
The position of each element within the list.
- post() - Method in class org.chocosolver.solver.constraints.Constraint
-
Posts the constraint to its model so that the constraint must be satisfied.
- post() - Method in class org.chocosolver.solver.expression.discrete.relational.ReExpression
-
Post the decomposition of this expression in the solver
- post(Constraint...) - Method in class org.chocosolver.solver.Model
-
Posts constraints cs
permanently in the constraints network of this
:
- add them to the data structure,
- set the fixed idx,
- checks for restrictions
- postDynamicCut() - Method in interface org.chocosolver.solver.objective.IObjectiveManager
-
Prevent the model from computing worse quality solutions
- postTemp(Constraint...) - Method in class org.chocosolver.solver.Model
-
Posts constraints cs
temporary, that is, they will be unposted upon backtrack.
- pow(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- pow(CArExpression) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- pow(int) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
-
- pow(ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
-
- pow(int, int) - Static method in class org.chocosolver.util.tools.MathUtils
-
Returns the value of the first argument raised to the power of the
second argument.
- power(IntVar, IntVar, int) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
-
Generate valid tuples for absolute constraint: VAR1 = VAR2^POWER
- precision - Variable in class org.chocosolver.solver.variables.view.RealView
-
- preds - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- prefered - Variable in class org.chocosolver.solver.constraints.nary.automata.FA.utils.Bounds.MinMax
-
- prefilter() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
Performs cost based filtering w.r.t. each cost dimension.
- prepare() - Method in interface org.chocosolver.solver.constraints.nary.nValue.amnv.mis.F
-
Potentially performs some calculation before computing independent sets
- prepare() - Method in class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.MD
-
- prepare() - Method in class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.MDRk
-
- prepare() - Method in class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.Rk
-
- prepare() - Method in class org.chocosolver.solver.constraints.nary.sum.PropScalar
-
- prepare() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
-
Prepare the propagation: compute sumLB, sumUB and I
- prepare() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBool
-
- prepare() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBoolIncr
-
- prepare() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBool
-
- prepare() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBoolIncr
-
- prepare(int...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- prepare(long...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- prepare(float...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- pretty() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
- prevClearBit(int) - Method in interface org.chocosolver.memory.IStateBitSet
-
Returns the index of the first bit that is set to false
that occurs on or before the specified starting index.
- prevClearBit(int) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
-
Returns the index of the nearest bit that is set to false
that occurs on or before the specified starting index.
- prevClearBit(int) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
Returns the index of the nearest bit that is set to false
that occurs on or before the specified starting index.
- prevClearBit(int) - Method in class org.chocosolver.memory.structure.S64BitSet
-
Returns the index of the nearest bit that is set to false
that occurs on or before the specified starting index.
- prevDecision(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
-
Backtrack in the search tree
- previous() - Method in class org.chocosolver.util.iterators.DisposableRangeBoundIterator
-
- previous() - Method in class org.chocosolver.util.iterators.DisposableValueBoundIterator
-
- previous() - Method in interface org.chocosolver.util.iterators.RangeIterator
-
Compute the previous range.
- previous() - Method in interface org.chocosolver.util.iterators.ValueIterator
-
Compute and return the previous value.
- previousValue(int) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
- previousValue(int) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
- previousValue(int) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- previousValue(int) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- previousValue(int) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
- previousValue(int) - Method in interface org.chocosolver.solver.variables.IntVar
-
Returns the previous value just before v in this
.
- previousValue(int) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- previousValue(int) - Method in class org.chocosolver.solver.variables.view.MinusView
-
- previousValue(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
-
- previousValue(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
-
- previousValue(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
-
- previousValue(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
- previousValue(int) - Method in interface org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSet
-
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
- previousValueOut(int) - Method in interface org.chocosolver.solver.variables.IntVar
-
Returns the first value just before v in this
which is out of the domain.
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.view.MinusView
-
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
-
- previousValueOut(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
-
- prevLP - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Nodes
-
- prevLP - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- prevLPI - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- prevSetBit(int) - Method in interface org.chocosolver.memory.IStateBitSet
-
Returns the index of the first bit that is set to true
that occurs on or before the specified starting index.
- prevSetBit(int) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
-
Returns the index of the nearest bit that is set to true
that occurs on or before the specified starting index.
- prevSetBit(int) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
Returns the index of the nearest bit that is set to true
that occurs on or before the specified starting index.
- prevSetBit(int) - Method in class org.chocosolver.memory.structure.S64BitSet
-
Returns the index of the nearest bit that is set to true
that occurs on or before the specified starting index.
- prevSP - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Nodes
-
- prevSP - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- prevSPI - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- print() - Method in interface org.chocosolver.solver.trace.IMessage
-
Define the solution format
- print() - Method in class org.chocosolver.solver.trace.IOutputFactory.DefaultDecisionMessage
-
- print() - Method in class org.chocosolver.solver.trace.IOutputFactory.DefaultSolutionMessage
-
- printCoarseSchedule(Propagator) - Static method in enum org.chocosolver.solver.propagation.IPropagationEngine.Trace
-
- printCSVStatistics() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Output the resolution statistics in a comma-separated single line.
- printFeatures() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Print (succint) features of the solver given in argument
- printFineSchedule(Propagator) - Static method in enum org.chocosolver.solver.propagation.IPropagationEngine.Trace
-
- printFirstPropagation(Propagator) - Static method in enum org.chocosolver.solver.propagation.IPropagationEngine.Trace
-
- printModification(Variable, IEventType, ICause) - Static method in enum org.chocosolver.solver.propagation.IPropagationEngine.Trace
-
- printPropagation(Variable, Propagator) - Static method in enum org.chocosolver.solver.propagation.IPropagationEngine.Trace
-
- printShortFeatures() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Print (succint) features of the solver given in argument in a single line.
- printShortStatistics() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Output the resolution statistics in a single line.
- printStatistics() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Print the resolution statistics.
- printVersion() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Print the version message.
- priority - Variable in class org.chocosolver.solver.constraints.Propagator
-
Priority of this propagator.
- priority - Variable in enum org.chocosolver.solver.constraints.PropagatorPriority
-
- PriorityQueue - Class in org.chocosolver.util.objects
-
- PriorityQueue(int) - Constructor for class org.chocosolver.util.objects.PriorityQueue
-
- Procedure<E> - Interface in org.chocosolver.util.procedure
-
A class that permits to execute a embeded "function"
- PropAbsolute - Class in org.chocosolver.solver.constraints.binary
-
Enforces X = |Y|
- PropAbsolute(IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.binary.PropAbsolute
-
- propagate(int) - Method in class org.chocosolver.sat.PropNogoods
-
- propagate(int, int) - Method in class org.chocosolver.sat.PropNogoods
-
- propagate(int) - Method in class org.chocosolver.sat.PropSat
-
- propagate(int, int) - Method in class org.chocosolver.sat.PropSat
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.element.PropElement
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropAbsolute
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropAbsolute
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_Y
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_Y
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_YC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_YC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualXY_C
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualXY_C
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_Y
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_Y
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_YC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_YC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualXY_C
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualXY_C
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropLessOrEqualXY_C
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropLessOrEqualXY_C
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualX_Y
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualX_YC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualXY_C
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropScale
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC2001
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC2001
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC3
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC3
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC3bitrm
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC3bitrm
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC3rm
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC3rm
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinFC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinFC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropCompactTable
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropCompactTable
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeFC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeFC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001Positive
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001Positive
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rm
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rm
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rmPositive
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rmPositive
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGACSTRPos
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGACSTRPos
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeMDDC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.extension.nary.PropTableStr2
-
- propagate() - Method in class org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffAC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.conditions.PropCondAllDiff_AC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffAC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffAdaptative
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffBC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.among.PropAmongGAC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.among.PropAmongGAC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropCostRegular
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropCostRegular
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropRegular
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropRegular
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.binPacking.PropItemToLoad
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.binPacking.PropItemToLoad
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.binPacking.PropLoadToItem
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.binPacking.PropLoadToItem
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropBitChanneling
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropBitChanneling
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropClauseChanneling
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropClauseChanneling
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropEnumDomainChanneling
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropEnumDomainChanneling
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelAC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelAC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelBC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelBC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropCircuitSCC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropNoSubtour
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropNoSubtour
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropSubcircuit
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropSubcircuit
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropSubcircuitDominatorFilter
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.cnf.PropFalse
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.cnf.PropTrue
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.count.PropCount_AC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.count.PropCount_AC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.count.PropCountVar
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropGraphCumulative
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropGraphCumulative
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.element.PropElementV_fast
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.globalcardinality.PropFastGCC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.lex.PropLex
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.lex.PropLex
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.lex.PropLexChain
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.lex.PropLexChain
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.lex.PropLexInt
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.lex.PropLexInt
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.min_max.PropBoolMax
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.min_max.PropBoolMax
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.min_max.PropBoolMin
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.min_max.PropBoolMin
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.min_max.PropMax
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.min_max.PropMin
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.nValue.PropAMNV
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.nValue.PropAMNV
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.nValue.PropAtLeastNValues
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.nValue.PropAtLeastNValues_AC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.nValue.PropAtLeastNValues_AC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.nValue.PropAtMostNValues
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.nValue.PropAtMostNValues_BC
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.PropDiffN
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.PropDiffN
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.PropIntValuePrecedeChain
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.PropIntValuePrecedeChain
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.PropKLoops
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.PropKLoops
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.PropKnapsack
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.sort.PropKeysorting
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.sort.PropSort
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBoolIncr
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBoolIncr
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBoolIncr
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBoolIncr
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.nary.tree.PropAntiArborescences
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.Propagator
-
Call the main filtering algorithm to apply to the Domain
of the Variable
objects.
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.Propagator
-
Incremental filtering algorithm defined within the Propagator
, called whenever the variable
of index idxVarInProp has changed.
- propagate(int) - Method in class org.chocosolver.solver.constraints.real.RealPropagator
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropConditionnal
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropLocalConDis
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropOpposite
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXeqCReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXeqYReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXgtCReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXinSReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXltCReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXltYCReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXltYReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXneCReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.reification.PropXneYReif
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropAllDiff
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropAllDiff
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropAllDisjoint
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropAllDisjoint
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropAllEqual
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropAllEqual
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropAtMost1Empty
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropAtMost1Empty
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropBoolChannel
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropBoolChannel
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropCardinality
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropElement
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropIntBoundedMemberSet
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropIntChannel
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropIntChannel
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropIntCstMemberSet
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropIntCstNotMemberSet
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropIntEnumMemberSet
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropIntEnumMemberSet
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropIntersection
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropIntersection
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropIntersectionFilterSets
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropIntersectionFilterSets
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropInverse
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropInverse
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropMaxElement
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropMinElement
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropNbEmpty
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropNbEmpty
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropNotEmpty
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropNotMemberIntSet
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropNotMemberIntSet
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropNotMemberSetInt
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropNotMemberSetInt
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropOffSet
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropOffSet
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropSetIntValuesUnion
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropSubsetEq
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropSubsetEq
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropSumOfElements
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropSymmetric
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropSymmetric
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.set.PropUnion
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.set.PropUnion
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.ternary.PropDistanceXYZ
-
- propagate(int, int) - Method in class org.chocosolver.solver.constraints.ternary.PropDistanceXYZ
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.ternary.PropDivXYZ
-
The main propagation method that filters according to the constraint defintion
- propagate(int) - Method in class org.chocosolver.solver.constraints.ternary.PropMaxBC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.ternary.PropMinBC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.ternary.PropTimesNaive
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.ternary.PropXplusYeqZ
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.unary.PropEqualXC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.unary.PropGreaterOrEqualXC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.unary.PropLessOrEqualXC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.unary.PropMemberBound
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.unary.PropMemberEnum
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.unary.PropNotEqualXC
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.unary.PropNotMemberBound
-
- propagate(int) - Method in class org.chocosolver.solver.constraints.unary.PropNotMemberEnum
-
- propagate() - Method in class org.chocosolver.solver.propagation.hardcoded.SevenQueuesPropagatorEngine
-
- propagate() - Method in class org.chocosolver.solver.propagation.hardcoded.TwoBucketPropagationEngine
-
- propagate() - Method in interface org.chocosolver.solver.propagation.IPropagationEngine
-
Launch the proapagation, ie, active propagators if necessary, then reach a fix point
- propagate() - Method in class org.chocosolver.solver.propagation.PropagationTrigger
-
Define a way to initialize the propagation engine.
- Propagate - Interface in org.chocosolver.solver.search.loop.propagate
-
The "Propagate" component
(Inspired from "Unifying search algorithms for CSP" N.
- propagate() - Method in class org.chocosolver.solver.Solver
-
Propagates constraints and related events through the constraint network until a fix point is find,
or a contradiction is detected.
- PropagateBasic - Class in org.chocosolver.solver.search.loop.propagate
-
A basic
Propagate
implementation
Created by cprudhom on 02/09/15.
- PropagateBasic() - Constructor for class org.chocosolver.solver.search.loop.propagate.PropagateBasic
-
- propagateOnBacktrack(Propagator) - Method in class org.chocosolver.solver.propagation.hardcoded.SevenQueuesPropagatorEngine
-
- propagateOnBacktrack(Propagator) - Method in class org.chocosolver.solver.propagation.hardcoded.TwoBucketPropagationEngine
-
- propagateOnBacktrack(Propagator) - Method in interface org.chocosolver.solver.propagation.IPropagationEngine
-
State that the propagator needs to be propagated (coarse event) on backtrack.
- propagateOnBacktrack(Propagator) - Method in class org.chocosolver.solver.propagation.PropagationTrigger
-
- PropagationEngineFactory - Enum in org.chocosolver.solver.propagation
-
A factory to build a propagation engine.
- propagationGuided(IntVar...) - Static method in class org.chocosolver.solver.search.loop.lns.INeighborFactory
-
Create a propagation guided neighborhood fixing variables based on constraint propagation
Based on "Propagation-Guided LNS", Perronn Shaw and Furnon, CP2004
- PropagationGuidedNeighborhood - Class in org.chocosolver.solver.search.loop.lns.neighbors
-
A Propagation Guided LNS
Based on "Propagation Guided Large Neighborhood Search", Perron et al.
- PropagationGuidedNeighborhood(IntVar[], int, int, long) - Constructor for class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
-
Create a propagation-guided neighbor for LNS
- PropagationTrigger - Class in org.chocosolver.solver.propagation
-
A specific propagation engine for initial propagation and dynamic addition of propagators during the resolution.
- PropagationTrigger(IPropagationEngine, Model) - Constructor for class org.chocosolver.solver.propagation.PropagationTrigger
-
- Propagator<V extends Variable> - Class in org.chocosolver.solver.constraints
-
A Propagator
class defines methods to react on a Variable
objects modifications.
- Propagator(V[], PropagatorPriority, boolean, boolean) - Constructor for class org.chocosolver.solver.constraints.Propagator
-
Creates a new propagator to filter the domains of vars.
- Propagator(V[], PropagatorPriority, boolean) - Constructor for class org.chocosolver.solver.constraints.Propagator
-
Creates a new propagator to filter the domains of vars.
- Propagator(V...) - Constructor for class org.chocosolver.solver.constraints.Propagator
-
Creates a non-incremental propagator which does not react to fine events but simply calls a
coarse propagation any time a variable in vars has changed.
- propagator - Variable in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
-
- propagator - Variable in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
-
- propagator - Variable in class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor
-
- propagator - Variable in class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
-
- PropagatorEventType - Enum in org.chocosolver.solver.variables.events
-
An enum defining the propagator event types:
FULL_PROPAGATION
: Propagation from scratch (as in initial propagation),
CUSTOM_PROPAGATION
: custom propagation triggered by the developer (partially incremental propagation)
- PropagatorPriority - Enum in org.chocosolver.solver.constraints
-
- propagators - Variable in class org.chocosolver.solver.constraints.Constraint
-
Propagators of the constraint (they will filter domains and eventually check solutions)
- propagators - Variable in class org.chocosolver.solver.variables.impl.AbstractVariable
-
List of propagators of this variable.
- PropAllDiff - Class in org.chocosolver.solver.constraints.set
-
Ensures that all sets are different
- PropAllDiff(SetVar[]) - Constructor for class org.chocosolver.solver.constraints.set.PropAllDiff
-
Ensures that all sets are different
- PropAllDiffAC - Class in org.chocosolver.solver.constraints.nary.alldifferent
-
Propagator for AllDifferent AC constraint for integer variables
Uses Regin algorithm
Runs in O(m.n) worst case time for the initial propagation
but has a good average behavior in practice
Runs incrementally for maintaining a matching
- PropAllDiffAC(IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffAC
-
AllDifferent constraint for integer variables
enables to control the cardinality of the matching
- PropAllDiffAdaptative - Class in org.chocosolver.solver.constraints.nary.alldifferent
-
Probabilistic Propagator for AllDifferent AC constraint for integer variables introduced
to avoid loosing too much time in AC propagation when BC is sufficientss
The more this propagator triggers filtering and failure, the more likely it will be called
If it does not bring improvement, this propagator will be called less during search
- PropAllDiffAdaptative(IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffAdaptative
-
AllDifferent constraint for integer variables
enables to control the cardinality of the matching
- PropAllDiffBC - Class in org.chocosolver.solver.constraints.nary.alldifferent
-
Based on:
"A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint"
A.
- PropAllDiffBC(IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffBC
-
- PropAllDiffInst - Class in org.chocosolver.solver.constraints.nary.alldifferent
-
Propagator for AllDifferent that only reacts on instantiation
- PropAllDiffInst(IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst
-
AllDifferent constraint for integer variables
enables to control the cardinality of the matching
- PropAllDiffInst.FastResetArrayStack - Class in org.chocosolver.solver.constraints.nary.alldifferent
-
- PropAllDisjoint - Class in org.chocosolver.solver.constraints.set
-
Ensures that all non-empty sets are disjoint
In order to forbid multiple empty set, use propagator PropAtMost1Empty in addition
- PropAllDisjoint(SetVar[]) - Constructor for class org.chocosolver.solver.constraints.set.PropAllDisjoint
-
Ensures that all non-empty sets are disjoint
In order to forbid multiple empty set, use propagator PropAtMost1Empty in addition
- PropAllEqual - Class in org.chocosolver.solver.constraints.set
-
Ensures that all sets are equal
- PropAllEqual(SetVar[]) - Constructor for class org.chocosolver.solver.constraints.set.PropAllEqual
-
Ensures that all sets are equal
- PropAMNV - Class in org.chocosolver.solver.constraints.nary.nValue
-
Propagator for the atMostNValues constraint
The number of distinct values in the set of variables vars is at most equal to nValues
- PropAMNV(IntVar[], IntVar, G, F, R[]) - Constructor for class org.chocosolver.solver.constraints.nary.nValue.PropAMNV
-
Creates a propagator for the atMostNValues constraint
The number of distinct values in X is at most equal to N
- PropAmongGAC - Class in org.chocosolver.solver.constraints.nary.among
-
Incremental propagator for Among Constraint:
Counts the number of decision variables which take a value in the input value set
GCCAT:
NVAR is the number of variables of the collection VARIABLES that take their value in VALUES.
- PropAmongGAC(IntVar[], int[]) - Constructor for class org.chocosolver.solver.constraints.nary.among.PropAmongGAC
-
Creates a propagator for Among:
Counts the number of decision variables which take a value in the input value set
- PropAntiArborescences - Class in org.chocosolver.solver.constraints.nary.tree
-
AntiArborescences propagation (simplification from tree constraint) based on dominators
loops (i.e., variables such that x[i]=i) are considered as roots
Can use the simple LT algorithm which runs in O(m.log(n)) worst case time
Or a slightly more sophisticated one, linear in theory but not necessarily faster in practice
- PropAntiArborescences(IntVar[], int, boolean) - Constructor for class org.chocosolver.solver.constraints.nary.tree.PropAntiArborescences
-
AntiArborescences propagation (simplification from tree constraint) based on dominators
- PropAtLeastNValues - Class in org.chocosolver.solver.constraints.nary.nValue
-
Propagator for the atMostNValues constraint
The number of distinct values in the set of variables vars is at most equal to nValues
No level of consistency but better than BC in general (for enumerated domains with holes)
- PropAtLeastNValues(IntVar[], int[], IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.nValue.PropAtLeastNValues
-
Propagator for the NValues constraint
The number of distinct values among concerned values in the set of variables vars is exactly equal to nValues
No level of consistency for the filtering
- PropAtLeastNValues_AC - Class in org.chocosolver.solver.constraints.nary.nValue
-
AtLeastNValues Propagator (similar to SoftAllDiff)
The number of distinct values in vars is at least nValues
Performs Generalized Arc Consistency based on Maximum Bipartite Matching
The worst case time complexity is O(nm) but this is very pessimistic
In practice it is more like O(m) where m is the number of variable-value pairs
BEWARE UNSAFE : BUG DETECTED THROUGH DOBBLE(3,4,6)
!
- PropAtLeastNValues_AC(IntVar[], int[], IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.nValue.PropAtLeastNValues_AC
-
AtLeastNValues Propagator (similar to SoftAllDiff)
The number of distinct values in vars is at least nValues
Performs Generalized Arc Consistency based on Maximum Bipartite Matching
The worst case time complexity is O(nm) but this is very pessimistic
In practice it is more like O(m) where m is the number of variable-value pairs
- PropAtMost1Empty - Class in org.chocosolver.solver.constraints.set
-
At most one set can be empty
- PropAtMost1Empty(SetVar[]) - Constructor for class org.chocosolver.solver.constraints.set.PropAtMost1Empty
-
At most one set in the array sets can be empty
- PropAtMostNValues - Class in org.chocosolver.solver.constraints.nary.nValue
-
Propagator for the atMostNValues constraint
The number of distinct values in the set of variables vars is at most equal to nValues
No level of consistency but better than BC in general (for enumerated domains with holes)
- PropAtMostNValues(IntVar[], int[], IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.nValue.PropAtMostNValues
-
Propagator for the NValues constraint
The number of distinct values among concerned values in the set of variables vars is exactly equal to nValues
No level of consistency for the filtering
- PropAtMostNValues_BC - Class in org.chocosolver.solver.constraints.nary.nValue
-
Propagator for the atMostNValues constraint
The number of distinct values in the set of variables vars is at most equal to nValues
Performs Bound Consistency in O(n+d) with
n = |vars|
d = maxValue - minValue (from initial domains)
=> very appropriate when d <= n It is indeed much better than the usual time complexity of O(n.log(n))
=> not appropriate when d >> n (you should encode another data structure and a quick sort algorithm)
!
- PropAtMostNValues_BC(IntVar[], IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.nValue.PropAtMostNValues_BC
-
The number of distinct values in vars is at most nValues
Performs Bound Consistency in O(n+d) with
n = |vars|
d = maxValue - minValue (from initial domains)
=> very appropriate when d <= n It is indeed much better than the usual time complexity of O(n.log(n))
=> not appropriate when d >> n (you should encode another data structure and a quick sort algorithm)
- PropBinAC2001 - Class in org.chocosolver.solver.constraints.extension.binary
-
AC2001 algorithm for binary table constraint
- PropBinAC2001(IntVar, IntVar, Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.binary.PropBinAC2001
-
- PropBinAC3 - Class in org.chocosolver.solver.constraints.extension.binary
-
- PropBinAC3(IntVar, IntVar, Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.binary.PropBinAC3
-
- PropBinAC3bitrm - Class in org.chocosolver.solver.constraints.extension.binary
-
AC3 bit rm algorithm for binary table constraint
- PropBinAC3bitrm(IntVar, IntVar, Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.binary.PropBinAC3bitrm
-
- PropBinAC3rm - Class in org.chocosolver.solver.constraints.extension.binary
-
- PropBinAC3rm(IntVar, IntVar, Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.binary.PropBinAC3rm
-
- PropBinCSP - Class in org.chocosolver.solver.constraints.extension.binary
-
- PropBinCSP(IntVar, IntVar, BinRelation) - Constructor for class org.chocosolver.solver.constraints.extension.binary.PropBinCSP
-
- PropBinFC - Class in org.chocosolver.solver.constraints.extension.binary
-
Forward checking algorithm for table constraint
- PropBinFC(IntVar, IntVar, Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.binary.PropBinFC
-
- PropBitChanneling - Class in org.chocosolver.solver.constraints.nary.channeling
-
A propagator which ensures that OCTET = 20*BIT_1 + 21*BIT_2 + ... 2n-1*BIT_n.
- PropBitChanneling(IntVar, BoolVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.channeling.PropBitChanneling
-
- PropBoolChannel - Class in org.chocosolver.solver.constraints.set
-
Channeling between a set variable and boolean variables
- PropBoolChannel(SetVar, BoolVar[], int) - Constructor for class org.chocosolver.solver.constraints.set.PropBoolChannel
-
Channeling between a set variable and boolean variables
i in setVar <=> boolVars[i-offSet] = TRUE
- PropBoolMax - Class in org.chocosolver.solver.constraints.nary.min_max
-
- PropBoolMax(BoolVar[], BoolVar) - Constructor for class org.chocosolver.solver.constraints.nary.min_max.PropBoolMax
-
- PropBoolMin - Class in org.chocosolver.solver.constraints.nary.min_max
-
- PropBoolMin(BoolVar[], BoolVar) - Constructor for class org.chocosolver.solver.constraints.nary.min_max.PropBoolMin
-
- PropCardinality - Class in org.chocosolver.solver.constraints.set
-
A propagator ensuring that |set| = card
- PropCardinality(SetVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.set.PropCardinality
-
Propagator ensuring that |setVar| = cardinality
- PropCircuit_AntiArboFiltering - Class in org.chocosolver.solver.constraints.nary.circuit
-
Propagator for circuit constraint based on dominators
Redundant propagator
- PropCircuit_AntiArboFiltering(IntVar[], int, CircuitConf) - Constructor for class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_AntiArboFiltering
-
- PropCircuit_ArboFiltering - Class in org.chocosolver.solver.constraints.nary.circuit
-
Propagator for sub-circuit constraint based on dominators
Redundant propagator
- PropCircuit_ArboFiltering(IntVar[], int, CircuitConf) - Constructor for class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
-
- PropCircuitSCC - Class in org.chocosolver.solver.constraints.nary.circuit
-
Filters circuit based on strongly connected components
(see the TechReport "Improving the Asymmetric TSP by considering graph structure", Fages & Lorca, 2012)
- PropCircuitSCC(IntVar[], int, CircuitConf) - Constructor for class org.chocosolver.solver.constraints.nary.circuit.PropCircuitSCC
-
- PropClauseChanneling - Class in org.chocosolver.solver.constraints.nary.channeling
-
A propagator which links an IntVar with two arrays of BoolVar, one for EQ relations, the other for LQ relations.
- PropClauseChanneling(IntVar, BoolVar[], BoolVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.channeling.PropClauseChanneling
-
- PropCompactTable - Class in org.chocosolver.solver.constraints.extension.nary
-
Propagator for table constraint based on
"Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets"
Only for feasible Tuples
- PropCompactTable(IntVar[], Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropCompactTable
-
Create a propagator for table constraint
Only for feasible Tuples
- PropCondAllDiff_AC - Class in org.chocosolver.solver.constraints.nary.alldifferent.conditions
-
Propagator for AllDifferent AC constraint for integer variables
subject to conditions (e.g. allDifferent_except_0)
AllDiff only applies on the subset of variables satisfying the given condition
- PropCondAllDiff_AC(IntVar[], Condition) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.conditions.PropCondAllDiff_AC
-
AllDifferent constraint for integer variables
Holds only on the subset of variables satisfying the given condition
- PropCondAllDiffInst - Class in org.chocosolver.solver.constraints.nary.alldifferent.conditions
-
Propagator for ConditionnalAllDifferent that only reacts on instantiation
- PropCondAllDiffInst(IntVar[], Condition, boolean) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.conditions.PropCondAllDiffInst
-
ConditionnalAllDifferent constraint for integer variables
enables to control the cardinality of the matching
IF mode
for all X in vars, condition(X) => X !
- PropConditionnal - Class in org.chocosolver.solver.constraints.reification
-
A specific propagator which posts constraint on condition.
- PropConditionnal(Variable[], Constraint[], Constraint[]) - Constructor for class org.chocosolver.solver.constraints.reification.PropConditionnal
-
- PropCostRegular - Class in org.chocosolver.solver.constraints.nary.automata
-
- PropCostRegular(IntVar[], ICostAutomaton, StoredValuedDirectedMultiGraph) - Constructor for class org.chocosolver.solver.constraints.nary.automata.PropCostRegular
-
- PropCount_AC - Class in org.chocosolver.solver.constraints.nary.count
-
Define a COUNT constraint setting size{forall v in lvars | v = occval} = occVar
assumes the occVar variable to be the last of the variables of the constraint:
vars = [lvars | occVar]
Arc Consistent algorithm
with lvars = list of variables for which the occurrence of occval in their domain is constrained
- PropCount_AC(IntVar[], int, IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.count.PropCount_AC
-
Propagator for Count Constraint for integer variables
Performs Arc Consistency
- PropCountVar - Class in org.chocosolver.solver.constraints.nary.count
-
Define a COUNT constraint setting size{forall v in lvars | v = occval} = occVar
assumes the occVar variable to be the last of the variables of the constraint:
vars = [lvars | occVar]
Arc Consistent algorithm
with lvars = list of variables for which the occurrence of occval in their domain is constrained
- PropCountVar(IntVar[], IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.count.PropCountVar
-
Propagator for Count Constraint for integer variables
Performs Arc Consistency
- PropCumulative - Class in org.chocosolver.solver.constraints.nary.cumulative
-
Cumulative propagator
Performs energy checking and mandatory part based filtering
BEWARE : not idempotent, use two propagators to get the fix point
- PropCumulative(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, boolean, Cumulative.Filter...) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
-
protected constructor, should not be called by a user
- PropCumulative(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, Cumulative.Filter...) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
-
Classical cumulative propagator
- PropDiffN - Class in org.chocosolver.solver.constraints.nary
-
- PropDiffN(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Constructor for class org.chocosolver.solver.constraints.nary.PropDiffN
-
- PropDistanceXYC - Class in org.chocosolver.solver.constraints.binary
-
| X - Y | op C
op = {"==", "<", ">", "=/="}
- PropDistanceXYC(IntVar[], Operator, int) - Constructor for class org.chocosolver.solver.constraints.binary.PropDistanceXYC
-
- PropDistanceXYZ - Class in org.chocosolver.solver.constraints.ternary
-
A constraint to state |x0 - x1| operator x2
where operator can be =, <=, >= and x1, x2, x3 are variables
Warning: only achieves BoundConsistency for the moment !
- PropDistanceXYZ(IntVar[], Operator) - Constructor for class org.chocosolver.solver.constraints.ternary.PropDistanceXYZ
-
Enforces |x0 - x1| op x2
where op can be =, <, >
- PropDivXYZ - Class in org.chocosolver.solver.constraints.ternary
-
X/Y = Z
A propagator for the constraint Z = X / Y where X, Y and Z are integer, possibly negative, variables
The filtering algorithm both supports bounded and enumerated integer variables
- PropDivXYZ(IntVar, IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.ternary.PropDivXYZ
-
- PropElement - Class in org.chocosolver.solver.constraints.binary.element
-
VALUE = TABLE[INDEX-OFFSET], ensuring arc consistency on result and index.
- PropElement(IntVar, int[], IntVar, int) - Constructor for class org.chocosolver.solver.constraints.binary.element.PropElement
-
Create a propagator which ensures that VALUE = TABLE[INDEX-OFFSET] holds.
- PropElement - Class in org.chocosolver.solver.constraints.set
-
Propagator for element constraint over sets
states that
array[index-offSet] = set
- PropElement(IntVar, SetVar[], int, SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropElement
-
Propagator for element constraint over sets
states that array[index-offSet] = set
- PropElementV_fast - Class in org.chocosolver.solver.constraints.nary.element
-
Fast Element constraint
- PropElementV_fast(IntVar, IntVar[], IntVar, int, boolean) - Constructor for class org.chocosolver.solver.constraints.nary.element.PropElementV_fast
-
- PropEnumDomainChanneling - Class in org.chocosolver.solver.constraints.nary.channeling
-
Constraints that map the boolean assignments variables (bvars) with the standard assignment variables (var).
- PropEnumDomainChanneling(BoolVar[], IntVar, int) - Constructor for class org.chocosolver.solver.constraints.nary.channeling.PropEnumDomainChanneling
-
- PropEqualX_Y - Class in org.chocosolver.solver.constraints.binary
-
X = Y
Ensures Arc-Consistency
- PropEqualX_Y(IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.binary.PropEqualX_Y
-
- PropEqualX_YC - Class in org.chocosolver.solver.constraints.binary
-
X = Y + C
- PropEqualX_YC(IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.binary.PropEqualX_YC
-
- PropEqualXC - Class in org.chocosolver.solver.constraints.unary
-
Unary propagator ensuring:
X = C, where X is a variable and C is a constant
- PropEqualXC(IntVar, int) - Constructor for class org.chocosolver.solver.constraints.unary.PropEqualXC
-
- PropEqualXY_C - Class in org.chocosolver.solver.constraints.binary
-
X + Y = C
- PropEqualXY_C(IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.binary.PropEqualXY_C
-
- PropFalse - Class in org.chocosolver.solver.constraints.nary.cnf
-
- PropFalse(BoolVar) - Constructor for class org.chocosolver.solver.constraints.nary.cnf.PropFalse
-
- PropFastGCC - Class in org.chocosolver.solver.constraints.nary.globalcardinality
-
Propagator for Global Cardinality Constraint (GCC) for integer variables
Basic filter: no particular consistency but fast and with a correct checker
- PropFastGCC(IntVar[], int[], TIntIntHashMap, IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.globalcardinality.PropFastGCC
-
Propagator for Global Cardinality Constraint (GCC) for integer variables
Basic filter: no particular consistency but fast and with a correct checker
- PropGraphCumulative - Class in org.chocosolver.solver.constraints.nary.cumulative
-
Graph based cumulative
Maintains incrementally overlapping tasks
Performs energy checking and mandatory part based filtering
BEWARE : not idempotent, use two propagators to get the fix point
- PropGraphCumulative(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, boolean, Cumulative.Filter...) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.PropGraphCumulative
-
Graph-based cumulative propagator:
- only filters over subsets of overlapping tasks
- PropGreaterOrEqualX_Y - Class in org.chocosolver.solver.constraints.binary
-
X >= Y
- PropGreaterOrEqualX_Y(IntVar[]) - Constructor for class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_Y
-
- PropGreaterOrEqualX_YC - Class in org.chocosolver.solver.constraints.binary
-
X >= Y + C
- PropGreaterOrEqualX_YC(IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_YC
-
- PropGreaterOrEqualXC - Class in org.chocosolver.solver.constraints.unary
-
X >= C
- PropGreaterOrEqualXC(IntVar, int) - Constructor for class org.chocosolver.solver.constraints.unary.PropGreaterOrEqualXC
-
- PropGreaterOrEqualXY_C - Class in org.chocosolver.solver.constraints.binary
-
X + Y >= C
- PropGreaterOrEqualXY_C(IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualXY_C
-
- propIni() - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
-
- PropIntBoundedMemberSet - Class in org.chocosolver.solver.constraints.set
-
Propagator for Member constraint: iv is in set
- PropIntBoundedMemberSet(SetVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.set.PropIntBoundedMemberSet
-
Propagator for Member constraint
val(intVar) is in setVar
- PropIntChannel - Class in org.chocosolver.solver.constraints.set
-
Channeling between set variables and integer variables
x in sets[y-offSet1] <=> ints[x-offSet2] = y
- PropIntChannel(SetVar[], IntVar[], int, int) - Constructor for class org.chocosolver.solver.constraints.set.PropIntChannel
-
Channeling between set variables and integer variables
x in sets[y-offSet1] <=> ints[x-offSet2] = y
- PropIntCstMemberSet - Class in org.chocosolver.solver.constraints.set
-
Propagator for Member constraint: int cst is in set
- PropIntCstMemberSet(SetVar, int) - Constructor for class org.chocosolver.solver.constraints.set.PropIntCstMemberSet
-
Propagator for Member constraint: cst is in setVar
- PropIntCstNotMemberSet - Class in org.chocosolver.solver.constraints.set
-
Propagator for Member constraint: int cst is not in set
- PropIntCstNotMemberSet(SetVar, int) - Constructor for class org.chocosolver.solver.constraints.set.PropIntCstNotMemberSet
-
Propagator for Member constraint: cst is not in setVar
- PropIntEnumMemberSet - Class in org.chocosolver.solver.constraints.set
-
Propagator for Member constraint: iv is in set
- PropIntEnumMemberSet(SetVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.set.PropIntEnumMemberSet
-
Propagator for Member constraint
val(intVar) is in setVar
- PropIntersection - Class in org.chocosolver.solver.constraints.set
-
- PropIntersection(SetVar[], SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropIntersection
-
- PropIntersectionFilterSets - Class in org.chocosolver.solver.constraints.set
-
- PropIntersectionFilterSets(SetVar[], SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropIntersectionFilterSets
-
- PropIntValuePrecedeChain - Class in org.chocosolver.solver.constraints.nary
-
A propagator for the IntValuePrecede constraint, based on:
"Y.
- PropIntValuePrecedeChain(IntVar[], int, int) - Constructor for class org.chocosolver.solver.constraints.nary.PropIntValuePrecedeChain
-
- PropInverse - Class in org.chocosolver.solver.constraints.set
-
Inverse set propagator
x in sets[y-offSet1] <=> y in inverses[x-offSet2]
- PropInverse(SetVar[], SetVar[], int, int) - Constructor for class org.chocosolver.solver.constraints.set.PropInverse
-
Inverse set propagator
x in sets[y-offSet1] <=> y in inverses[x-offSet2]
- PropInverseChannelAC - Class in org.chocosolver.solver.constraints.nary.channeling
-
X[i] = j+Ox <=> Y[j] = i+Oy
AC propagator for enumerated domain variables
- PropInverseChannelAC(IntVar[], IntVar[], int, int) - Constructor for class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelAC
-
- PropInverseChannelBC - Class in org.chocosolver.solver.constraints.nary.channeling
-
X[i] = j+Ox <=> Y[j] = i+Oy
Propagator for bounded variables
it ensures :
LB(X[i]) = j+Ox => Y[j].contains(i+Oy)
UB(X[i]) = j+Ox => Y[j].contains(i+Oy)
and reciprocally for Y
It however does not performs BC on the conjunction
of this and the allDifferent constraint implied by InverseChanneling constraint
Such a consistency would require to know somehow holes in (bounded) domains
Again, AC is strongly advised
- PropInverseChannelBC(IntVar[], IntVar[], int, int) - Constructor for class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelBC
-
- PropItemToLoad - Class in org.chocosolver.solver.constraints.nary.binPacking
-
Propagator for a Bin Packing constraint
Propagates item/bin allocations to bin loads
Reacts to item/bin allocation variables only
Should be used together with PropLoadToItem
- PropItemToLoad(IntVar[], int[], IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.nary.binPacking.PropItemToLoad
-
Incremental propagator for a Bin Packing constraint
Propagates item/bin allocations to bin loads
Should be used together with PropLoadToItem
- PropKeysorting - Class in org.chocosolver.solver.constraints.nary.sort
-
Based on Technical Report from Mats Carlsson: "Propagating THE KEYSORTING Constraint" - Sept. 15, 2014.
- PropKeysorting(IntVar[][], IntVar[][], IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.nary.sort.PropKeysorting
-
Creates a new PropSort
instance.
- PropKLoops - Class in org.chocosolver.solver.constraints.nary
-
Incremental propagator which restricts the number of loops:
|{succs[i]=i+offSet}| = nbLoops
- PropKLoops(IntVar[], int, IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.PropKLoops
-
Incremental propagator which restricts the number of loops:
|{succs[i]=i+offSet}| = nbLoops
- PropKnapsack - Class in org.chocosolver.solver.constraints.nary
-
Propagator for the Knapsack constraint
based on Dantzig-Wolfe relaxation
- PropKnapsack(IntVar[], IntVar, IntVar, int[], int[]) - Constructor for class org.chocosolver.solver.constraints.nary.PropKnapsack
-
- PropLargeCSP<R extends LargeRelation> - Class in org.chocosolver.solver.constraints.extension.nary
-
- PropLargeCSP(IntVar[], R) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropLargeCSP
-
- PropLargeFC - Class in org.chocosolver.solver.constraints.extension.nary
-
- PropLargeFC(IntVar[], Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropLargeFC
-
- PropLargeGAC2001 - Class in org.chocosolver.solver.constraints.extension.nary
-
- PropLargeGAC2001(IntVar[], Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001
-
- PropLargeGAC2001Positive - Class in org.chocosolver.solver.constraints.extension.nary
-
- PropLargeGAC2001Positive(IntVar[], Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001Positive
-
- PropLargeGAC3rm - Class in org.chocosolver.solver.constraints.extension.nary
-
- PropLargeGAC3rm(IntVar[], Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rm
-
- PropLargeGAC3rmPositive - Class in org.chocosolver.solver.constraints.extension.nary
-
- PropLargeGAC3rmPositive(IntVar[], Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rmPositive
-
- PropLargeGACSTRPos - Class in org.chocosolver.solver.constraints.extension.nary
-
GAC maintaind by STR
- PropLargeGACSTRPos(IntVar[], Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropLargeGACSTRPos
-
- PropLargeMDDC - Class in org.chocosolver.solver.constraints.extension.nary
-
Implementation based on "Maintaining GAC on adhoc r-ary constraints", Cheng and Yap, CP12.
- PropLargeMDDC(MultivaluedDecisionDiagram, IntVar...) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropLargeMDDC
-
Create a propagator maintaining GAC based on a MDD.
- PropLessOrEqualXC - Class in org.chocosolver.solver.constraints.unary
-
X <= C
- PropLessOrEqualXC(IntVar, int) - Constructor for class org.chocosolver.solver.constraints.unary.PropLessOrEqualXC
-
- PropLessOrEqualXY_C - Class in org.chocosolver.solver.constraints.binary
-
X + Y <= C
- PropLessOrEqualXY_C(IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.binary.PropLessOrEqualXY_C
-
- PropLex - Class in org.chocosolver.solver.constraints.nary.lex
-
Enforce a lexicographic ordering on two vectors of integer
variables x <_lex y with x = , and y = .
- PropLex(IntVar[], IntVar[], boolean) - Constructor for class org.chocosolver.solver.constraints.nary.lex.PropLex
-
- PropLexChain - Class in org.chocosolver.solver.constraints.nary.lex
-
Solver constraint of the LexChain constraint.
- PropLexChain(IntVar[][], boolean) - Constructor for class org.chocosolver.solver.constraints.nary.lex.PropLexChain
-
- PropLexInt - Class in org.chocosolver.solver.constraints.nary.lex
-
Enforce a lexicographic ordering on one vector of integer
variables x <_lex y with x = , and a vector of ints y = .
- PropLexInt(IntVar[], int[], boolean) - Constructor for class org.chocosolver.solver.constraints.nary.lex.PropLexInt
-
- PropLoadToItem - Class in org.chocosolver.solver.constraints.nary.binPacking
-
Incremental propagator for a Bin Packing constraint
Propagates bin loads to item/bin allocations
Reacts to load modifications AND allocation assignments
Should be used together with PropItemToLoad
- PropLoadToItem(IntVar[], int[], IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.nary.binPacking.PropLoadToItem
-
Incremental propagator for a Bin Packing constraint
Propagates bin loads to item/bin allocations
Should be used together with PropItemToLoad
- PropLocalConDis - Class in org.chocosolver.solver.constraints.reification
-
A propagator for constructive disjunction, with local deductions.
- PropLocalConDis(IntVar[], Propagator<IntVar>[][]) - Constructor for class org.chocosolver.solver.constraints.reification.PropLocalConDis
-
A propagator to deal with constructive disjunction
- PropMax - Class in org.chocosolver.solver.constraints.nary.min_max
-
- PropMax(IntVar[], IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.min_max.PropMax
-
- PropMaxBC - Class in org.chocosolver.solver.constraints.ternary
-
X = MAX(Y,Z)
ensures bound consistency
- PropMaxBC(IntVar, IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.ternary.PropMaxBC
-
- PropMaxElement - Class in org.chocosolver.solver.constraints.set
-
Retrieves the maximum element of the set
the set must not be empty
- PropMaxElement(SetVar, IntVar, boolean) - Constructor for class org.chocosolver.solver.constraints.set.PropMaxElement
-
Retrieves the maximum element of the set
MAX{i | i in setVar} = max
- PropMaxElement(SetVar, int[], int, IntVar, boolean) - Constructor for class org.chocosolver.solver.constraints.set.PropMaxElement
-
Retrieves the maximum element induced by set
MAX{weight[i-offset] | i in setVar} = max
- PropMemberBound - Class in org.chocosolver.solver.constraints.unary
-
- PropMemberBound(IntVar, int, int) - Constructor for class org.chocosolver.solver.constraints.unary.PropMemberBound
-
- PropMemberEnum - Class in org.chocosolver.solver.constraints.unary
-
- PropMemberEnum(IntVar, int[]) - Constructor for class org.chocosolver.solver.constraints.unary.PropMemberEnum
-
- PropMin - Class in org.chocosolver.solver.constraints.nary.min_max
-
- PropMin(IntVar[], IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.min_max.PropMin
-
- PropMinBC - Class in org.chocosolver.solver.constraints.ternary
-
X = MIN(Y,Z)
ensures bound consistency
- PropMinBC(IntVar, IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.ternary.PropMinBC
-
- PropMinElement - Class in org.chocosolver.solver.constraints.set
-
Retrieves the minimum element of the set
the set must not be empty
- PropMinElement(SetVar, IntVar, boolean) - Constructor for class org.chocosolver.solver.constraints.set.PropMinElement
-
Retrieves the minimum element of the set
MIN(i | i in setVar) = min
- PropMinElement(SetVar, int[], int, IntVar, boolean) - Constructor for class org.chocosolver.solver.constraints.set.PropMinElement
-
Retrieves the minimum element induced by setVar
MIN{weights[i-offSet] | i in setVar} = min
- PropMultiCostRegular - Class in org.chocosolver.solver.constraints.nary.automata
-
Created by IntelliJ IDEA.
- PropMultiCostRegular(IntVar[], IntVar[], ICostAutomaton) - Constructor for class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
Constructs a multi-cost-regular propagator
- PropNbEmpty - Class in org.chocosolver.solver.constraints.set
-
Restricts the number of empty sets
|{s in sets such that |s|=0}| = nbEmpty
- PropNbEmpty(SetVar[], IntVar) - Constructor for class org.chocosolver.solver.constraints.set.PropNbEmpty
-
Restricts the number of empty sets
|{s in sets such that |s|=0}| = nbEmpty
- PropNogoods - Class in org.chocosolver.sat
-
A propagator to store and propagate no-goods.
- PropNogoods(Model) - Constructor for class org.chocosolver.sat.PropNogoods
-
Create a (unique) propagator for no-goods recording and propagation.
- PropNoSubtour - Class in org.chocosolver.solver.constraints.nary.circuit
-
Simple nocircuit contraint (from NoSubtour of Pesant or noCycle of Caseaux/Laburthe)
- PropNoSubtour(IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.nary.circuit.PropNoSubtour
-
Ensures that graph has no subCircuit, with Caseaux/Laburthe/Pesant algorithm
runs incrementally in O(1) per instantiation event
- PropNotEmpty - Class in org.chocosolver.solver.constraints.set
-
Restricts the set var not to be empty
- PropNotEmpty(SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropNotEmpty
-
- PropNotEqualX_Y - Class in org.chocosolver.solver.constraints.binary
-
A specific Propagator
extension defining filtering algorithm for:
X =/= Y
where X and Y are Variable
objects.
- PropNotEqualX_Y(IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.binary.PropNotEqualX_Y
-
- PropNotEqualX_YC - Class in org.chocosolver.solver.constraints.binary
-
A specific Propagator
extension defining filtering algorithm for:
X =/= Y + C
where X and Y are Variable
objects and C a constant.
- PropNotEqualX_YC(IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.binary.PropNotEqualX_YC
-
- PropNotEqualXC - Class in org.chocosolver.solver.constraints.unary
-
A propagator ensuring that:
X =/= C, where X is a variable and C a constant
- PropNotEqualXC(IntVar, int) - Constructor for class org.chocosolver.solver.constraints.unary.PropNotEqualXC
-
- PropNotEqualXY_C - Class in org.chocosolver.solver.constraints.binary
-
A specific Propagator
extension defining filtering algorithm for:
X + Y =/= C
where X and Y are Variable
objects and C a constant.
- PropNotEqualXY_C(IntVar[], int) - Constructor for class org.chocosolver.solver.constraints.binary.PropNotEqualXY_C
-
- PropNotMemberBound - Class in org.chocosolver.solver.constraints.unary
-
- PropNotMemberBound(IntVar, int, int) - Constructor for class org.chocosolver.solver.constraints.unary.PropNotMemberBound
-
- PropNotMemberEnum - Class in org.chocosolver.solver.constraints.unary
-
- PropNotMemberEnum(IntVar, int[]) - Constructor for class org.chocosolver.solver.constraints.unary.PropNotMemberEnum
-
A propagator which forbids values from var domain
- PropNotMemberIntSet - Class in org.chocosolver.solver.constraints.set
-
Not Member propagator filtering Int->Set
- PropNotMemberIntSet(IntVar, SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropNotMemberIntSet
-
- PropNotMemberSetInt - Class in org.chocosolver.solver.constraints.set
-
Not Member propagator filtering Set->Int
- PropNotMemberSetInt(IntVar, SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropNotMemberSetInt
-
- PropOffSet - Class in org.chocosolver.solver.constraints.set
-
set2 is an offSet view of set1
x in set1 <=> x+offSet in set2
- PropOffSet(SetVar, SetVar, int) - Constructor for class org.chocosolver.solver.constraints.set.PropOffSet
-
set2 is an offSet view of set1
x in set1 <=> x+offSet in set2
- PropOpposite - Class in org.chocosolver.solver.constraints.reification
-
Constraint representing the negation of a given constraint
does not filter but fails if the given constraint is satisfied
Can be used within any constraint
Should not be called by the user
- PropOpposite(Constraint, Variable[]) - Constructor for class org.chocosolver.solver.constraints.reification.PropOpposite
-
- PropRegular - Class in org.chocosolver.solver.constraints.nary.automata
-
- PropRegular(IntVar[], IAutomaton) - Constructor for class org.chocosolver.solver.constraints.nary.automata.PropRegular
-
- PropReif - Class in org.chocosolver.solver.constraints.reification
-
Implication propagator
- PropReif(Variable[], Constraint, Constraint) - Constructor for class org.chocosolver.solver.constraints.reification.PropReif
-
- PropSat - Class in org.chocosolver.sat
-
A propagator to deal with clauses and interface a SatSolver
.
- PropSat(Model) - Constructor for class org.chocosolver.sat.PropSat
-
Create a (unique) propagator for clauses recording and propagation.
- PropScalar - Class in org.chocosolver.solver.constraints.nary.sum
-
A propagator for SUM(x_i*c_i) = b
Based on "Bounds Consistency Techniques for Long Linear Constraint"
W.
- PropScalar(IntVar[], int[], int, Operator, int) - Constructor for class org.chocosolver.solver.constraints.nary.sum.PropScalar
-
Create a scalar product: SUM(x_i*c_i) o b
Variables and coefficients are excepted to be ordered wrt to coefficients: first positive ones then negative ones.
- PropScale - Class in org.chocosolver.solver.constraints.binary
-
Scale propagator : ensures x * y = z
With y a constant greater than one
Ensures AC
- PropScale(IntVar, int, IntVar) - Constructor for class org.chocosolver.solver.constraints.binary.PropScale
-
Scale propagator : ensures x * y = z
- PropSetIntValuesUnion - Class in org.chocosolver.solver.constraints.set
-
Maintain a link between a set variable and the union of values taken by an array of
integer variables
Not idempotent (use two of them)
- PropSetIntValuesUnion(IntVar[], SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropSetIntValuesUnion
-
- PropSort - Class in org.chocosolver.solver.constraints.nary.sort
-
SortingConstraint
is a constraint that ensures
that a vector is the sorted version of a second one.
- PropSort(IntVar[], IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.sort.PropSort
-
Creates a new PropSort
instance.
- PropSquare - Class in org.chocosolver.solver.constraints.binary
-
Enforces X = Y^2
- PropSquare(IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.binary.PropSquare
-
- PropSubcircuit - Class in org.chocosolver.solver.constraints.nary.circuit
-
Subcircuit propagator (one circuit and several loops)
- PropSubcircuit(IntVar[], int, IntVar) - Constructor for class org.chocosolver.solver.constraints.nary.circuit.PropSubcircuit
-
- PropSubcircuitDominatorFilter - Class in org.chocosolver.solver.constraints.nary.circuit
-
Propagator for sub-circuit constraint based on dominators
Redundant propagator
- PropSubcircuitDominatorFilter(IntVar[], int, boolean) - Constructor for class org.chocosolver.solver.constraints.nary.circuit.PropSubcircuitDominatorFilter
-
- PropSubsetEq - Class in org.chocosolver.solver.constraints.set
-
Ensures that X subseteq Y
- PropSubsetEq(SetVar, SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropSubsetEq
-
Ensures that X subseteq Y
- PropSum - Class in org.chocosolver.solver.constraints.nary.sum
-
A propagator for SUM(x_i) o b
Based on "Bounds Consistency Techniques for Long Linear Constraint"
W.
- PropSum(IntVar[], int, Operator, int) - Constructor for class org.chocosolver.solver.constraints.nary.sum.PropSum
-
Creates a sum propagator: SUM(x_i) o b
Coefficients are induced by pos
:
those before pos
(included) are equal to 1,
the other ones are equal to -1.
- PropSumBool - Class in org.chocosolver.solver.constraints.nary.sum
-
A propagator for SUM(x_i) = y + b, where x_i are boolean variables
Based on "Bounds Consistency Techniques for Long Linear Constraint"
W.
- PropSumBool(BoolVar[], int, Operator, IntVar, int, boolean) - Constructor for class org.chocosolver.solver.constraints.nary.sum.PropSumBool
-
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables.
- PropSumBool(BoolVar[], int, Operator, IntVar, int) - Constructor for class org.chocosolver.solver.constraints.nary.sum.PropSumBool
-
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables.
- PropSumBoolIncr - Class in org.chocosolver.solver.constraints.nary.sum
-
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
- PropSumBoolIncr(BoolVar[], int, Operator, IntVar, int) - Constructor for class org.chocosolver.solver.constraints.nary.sum.PropSumBoolIncr
-
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables, maintained incrementally.
- PropSumFullBool - Class in org.chocosolver.solver.constraints.nary.sum
-
A propagator for SUM(x_i) = y + b, where x_i are boolean variables
Based on "Bounds Consistency Techniques for Long Linear Constraint"
W.
- PropSumFullBool(BoolVar[], int, Operator, int, boolean) - Constructor for class org.chocosolver.solver.constraints.nary.sum.PropSumFullBool
-
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables.
- PropSumFullBool(BoolVar[], int, Operator, int) - Constructor for class org.chocosolver.solver.constraints.nary.sum.PropSumFullBool
-
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables.
- PropSumFullBoolIncr - Class in org.chocosolver.solver.constraints.nary.sum
-
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
- PropSumFullBoolIncr(BoolVar[], int, Operator, int) - Constructor for class org.chocosolver.solver.constraints.nary.sum.PropSumFullBoolIncr
-
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables, maintained incrementally.
- PropSumOfElements - Class in org.chocosolver.solver.constraints.set
-
Sums elements given by a set variable
- PropSumOfElements(SetVar, int[], int, IntVar) - Constructor for class org.chocosolver.solver.constraints.set.PropSumOfElements
-
Sums elements given by a set variable:
if(weights !
- PropSymmetric - Class in org.chocosolver.solver.constraints.set
-
Propagator for symmetric sets
x in set[y-offSet] <=> y in set[x-offSet]
- PropSymmetric(SetVar[], int) - Constructor for class org.chocosolver.solver.constraints.set.PropSymmetric
-
Propagator for symmetric sets
x in set[y-offSet] <=> y in set[x-offSet]
- PropTableStr2 - Class in org.chocosolver.solver.constraints.extension.nary
-
STR2 Propagator for table constraints (only positive tuples)
- PropTableStr2(IntVar[], Tuples) - Constructor for class org.chocosolver.solver.constraints.extension.nary.PropTableStr2
-
- PropTimesNaive - Class in org.chocosolver.solver.constraints.ternary
-
V0 * V1 = V2
- PropTimesNaive(IntVar, IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.ternary.PropTimesNaive
-
- PropTrue - Class in org.chocosolver.solver.constraints.nary.cnf
-
- PropTrue(BoolVar) - Constructor for class org.chocosolver.solver.constraints.nary.cnf.PropTrue
-
- PropUnion - Class in org.chocosolver.solver.constraints.set
-
- PropUnion(SetVar[], SetVar) - Constructor for class org.chocosolver.solver.constraints.set.PropUnion
-
The union of sets is equal to union
- PropXeqCReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x = c) ⇔ b
- PropXeqCReif(IntVar, int, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXeqCReif
-
- PropXeqYReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x = y) ⇔ b
- PropXeqYReif(IntVar, IntVar, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXeqYReif
-
- PropXgtCReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x > c) ⇔ b
- PropXgtCReif(IntVar, int, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXgtCReif
-
- PropXinSReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x = c) ⇔ b
- PropXinSReif(IntVar, IntIterableRangeSet, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXinSReif
-
- PropXltCReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x < c) ⇔ b
- PropXltCReif(IntVar, int, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXltCReif
-
- PropXltYCReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x < y + c) ⇔ b
- PropXltYCReif(IntVar, IntVar, int, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXltYCReif
-
- PropXltYReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x < y) ⇔ b
- PropXltYReif(IntVar, IntVar, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXltYReif
-
- PropXneCReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x ≠ c) ⇔ b
- PropXneCReif(IntVar, int, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXneCReif
-
- PropXneYReif - Class in org.chocosolver.solver.constraints.reification
-
A propagator dedicated to express in a compact way: (x ≠ y) ⇔ b
- PropXneYReif(IntVar, IntVar, BoolVar) - Constructor for class org.chocosolver.solver.constraints.reification.PropXneYReif
-
- PropXplusYeqZ - Class in org.chocosolver.solver.constraints.ternary
-
A propagator to ensure that X + Y = Z holds, where X, Y and Z are IntVar.
- PropXplusYeqZ(IntVar, IntVar, IntVar) - Constructor for class org.chocosolver.solver.constraints.ternary.PropXplusYeqZ
-
Create propagator for ternary sum: X + Y =Z
- PRU - Static variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- pruneMax(IntVar[]) - Method in class org.chocosolver.solver.constraints.nary.cumulative.HeightCumulFilter
-
- pruneMax(IntVar[]) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- pruneMin(IntVar[]) - Method in class org.chocosolver.solver.constraints.nary.cumulative.HeightCumulFilter
-
- pruneMin(IntVar[]) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- pushDecision(Decision) - Method in class org.chocosolver.solver.search.strategy.decision.DecisionPath
-
Add a decision at the decision path.
- pushEvent(IntVar, ICause, IEventType, int, int, int) - Method in class org.chocosolver.solver.explanations.ArrayEventStore
-
Push an event on the top of this store
- pushEvent(IntVar, ICause, IEventType, int, int, int) - Method in interface org.chocosolver.solver.explanations.store.IEventStore
-
- put(int, int) - Method in class org.chocosolver.util.objects.IntMap
-
Associates the specified value with the specified key in this map.
- putMask(int, int) - Method in class org.chocosolver.solver.explanations.Rules
-
Update the rule mask for a given variable (denoted by its vid)
- putOrAdjust(int, int, int) - Method in class org.chocosolver.util.objects.IntMap
-
Adjusts the specified value associated with the specified key in this map.
- R - Interface in org.chocosolver.solver.constraints.nary.nValue.amnv.rules
-
Interface to represent a filtering rule
- R1 - Class in org.chocosolver.solver.constraints.nary.nValue.amnv.rules
-
R1 filtering rule (lower bounding only)
- R1() - Constructor for class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R1
-
- R2 - Class in org.chocosolver.solver.constraints.nary.nValue.amnv.rules
-
R2 filtering rule (back-propagation)
- R2() - Constructor for class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R2
-
- R3 - Class in org.chocosolver.solver.constraints.nary.nValue.amnv.rules
-
R3 filtering rule (back-propagation)
- R3(int, Model) - Constructor for class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R3
-
- R4 - Class in org.chocosolver.solver.constraints.nary.nValue.amnv.rules
-
R4 filtering rule (AllDifferent propagation)
- R4() - Constructor for class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R4
-
- random(IntVar...) - Static method in class org.chocosolver.solver.search.loop.lns.INeighborFactory
-
Create a random neighborhood fixing variables randomly
- random - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
-
For randomness purpose
- Random<T extends Variable> - Class in org.chocosolver.solver.search.strategy.selectors.variables
-
Random variable selector.
- Random(long) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.Random
-
Random variable selector
- RandomNeighborhood - Class in org.chocosolver.solver.search.loop.lns.neighbors
-
A Random LNS
- RandomNeighborhood(IntVar[], int, long) - Constructor for class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
-
Create a neighbor for LNS which randomly selects variable to be part of a fragment
- randomPermutations(int[], Random) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Permutes randomly elements from tab
- randomPermutations(int[], long) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Permutes randomly elements from tab
- randomPermutations(E[], Random) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Permutes randomly elements from tab
- randomPermutations(E[], long) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Permutes randomly elements from tab
- randomSearch(IntVar[], long) - Static method in class org.chocosolver.solver.search.strategy.Search
-
Randomly selects a variable and assigns it to a value randomly taken in
- the domain in case the variable has an enumerated domain
- {LB,UB} (one of the two bounds) in case the domain is bounded
- rangeCheck(int) - Method in class org.chocosolver.memory.IStateDoubleVector
-
- rangeCheck(int) - Method in class org.chocosolver.memory.IStateIntVector
-
- RangeIterator - Interface in org.chocosolver.util.iterators
-
An interface to declare range iterator.
- rangeOf(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
By convention, range are numbered starting from 1 (not 0).
- RATIO - Static variable in class org.chocosolver.solver.constraints.real.Ibex
-
- rd - Variable in class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
-
- rd - Variable in class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.MDRk
-
- rd - Variable in class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.Rk
-
- rd - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
-
For randomness
- reactOnModification - Variable in class org.chocosolver.solver.variables.impl.SetVarImpl
-
- reactToFineEvent() - Method in class org.chocosolver.solver.constraints.Propagator
-
- reactToFineEvt - Variable in class org.chocosolver.solver.constraints.Propagator
-
Set to true to indidates that this propagator reacts to fine event.
- readingTimeCount - Variable in class org.chocosolver.solver.search.measure.Measures
-
Counts the time spent into reading the model
- REAL - Static variable in interface org.chocosolver.solver.variables.Variable
-
Kind of variable: real.
- RealConstraint - Class in org.chocosolver.solver.constraints.real
-
A constraint on real variables, solved using IBEX.
- RealConstraint(String, RealPropagator...) - Constructor for class org.chocosolver.solver.constraints.real.RealConstraint
-
Make a new RealConstraint defined as a set of RealPropagators
- RealConstraint(String, String, int, RealVar...) - Constructor for class org.chocosolver.solver.constraints.real.RealConstraint
-
Make a new RealConstraint to model one or more continuous functions, separated with semi-colon ";"
A function is a string declared using the following format:
- the '{i}' tag defines a variable, where 'i' is an explicit index the array of variables vars
,
- one or more operators :'+,-,*,/,=,<,>,<=,>=,exp( ),ln( ),max( ),min( ),abs( ),cos( ), sin( ),...'
- RealConstraint(String, String, RealVar...) - Constructor for class org.chocosolver.solver.constraints.real.RealConstraint
-
Make a new RealConstraint to model one or more continuous functions, separated with semi-colon ";"
A function is a string declared using the following format:
- the '{i}' tag defines a variable, where 'i' is an explicit index the array of variables vars
,
- one or more operators :'+,-,*,/,=,<,>,<=,>=,exp( ),ln( ),max( ),min( ),abs( ),cos( ), sin( ),...'
- RealConstraint(String, RealVar...) - Constructor for class org.chocosolver.solver.constraints.real.RealConstraint
-
Make a new RealConstraint to model one or more continuous functions, separated with semi-colon ";"
A function is a string declared using the following format:
- the '{i}' tag defines a variable, where 'i' is an explicit index the array of variables vars
,
- one or more operators :'+,-,*,/,=,<,>,<=,>=,exp( ),ln( ),max( ),min( ),abs( ),cos( ), sin( ),...'
- RealDecision - Class in org.chocosolver.solver.search.strategy.decision
-
- RealDecision(PoolManager<RealDecision>) - Constructor for class org.chocosolver.solver.search.strategy.decision.RealDecision
-
Create an decision based on an
RealVar
- RealDomainMax - Class in org.chocosolver.solver.search.strategy.selectors.values
-
Selects the upper bound of a real variable
- RealDomainMax() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.RealDomainMax
-
- RealDomainMiddle - Class in org.chocosolver.solver.search.strategy.selectors.values
-
Selects a real value at the middle between the lower and the upper bound of the variable
- RealDomainMiddle() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.RealDomainMiddle
-
- RealDomainMin - Class in org.chocosolver.solver.search.strategy.selectors.values
-
Selects the lower bound of a real variable
- RealDomainMin() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.RealDomainMin
-
- RealEventType - Enum in org.chocosolver.solver.variables.events
-
An enum defining the real variable event types:
INCLOW
: lower bound increase event,
DECUPP
: upper bound decrease event,
BOUND
: lower bound increase and/or upper bound decrease event,
- RealEvtScheduler - Class in org.chocosolver.solver.variables.impl.scheduler
-
Created by cprudhom on 17/06/15.
- RealEvtScheduler() - Constructor for class org.chocosolver.solver.variables.impl.scheduler.RealEvtScheduler
-
- realIbexGenericConstraint(String, RealVar...) - Method in interface org.chocosolver.solver.constraints.IRealConstraintFactory
-
Creates a RealConstraint to model one or more continuous functions, separated with semi-colon ";"
A function is a string declared using the following format:
- the '{i}' tag defines a variable, where 'i' is an explicit index the array of variables vars
,
- one or more operators :'+,-,*,/,=,<,>,<=,>=,exp( ),ln( ),max( ),min( ),abs( ),cos( ), sin( ),...'
- realIntView(IntVar, double) - Method in interface org.chocosolver.solver.variables.IViewFactory
-
Creates a real view of var, i.e. a RealVar of domain equal to the domain of var.
- realIntViewArray(IntVar[], double) - Method in interface org.chocosolver.solver.variables.IViewFactory
-
Creates an array of real views for a set of integer variables
This should be used to include an integer variable in an expression/constraint requiring RealVar
- realIntViewMatrix(IntVar[][], double) - Method in interface org.chocosolver.solver.variables.IViewFactory
-
Creates a matrix of real views for a matrix of integer variables
This should be used to include an integer variable in an expression/constraint requiring RealVar
- RealPropagator - Class in org.chocosolver.solver.constraints.real
-
A propagator for real variables.
- RealPropagator(String, RealVar[], int) - Constructor for class org.chocosolver.solver.constraints.real.RealPropagator
-
Create a propagator on real variables, propagated using IBEX.
- RealStrategy - Class in org.chocosolver.solver.search.strategy.strategy
-
Define a strategy based on
RealVar
.
- RealStrategy(RealVar[], VariableSelector<RealVar>, RealValueSelector) - Constructor for class org.chocosolver.solver.search.strategy.strategy.RealStrategy
-
- RealValueSelector - Interface in org.chocosolver.solver.search.strategy.selectors.values
-
A value selector specifies which value should be chosen to constrain the selected variable.
- realVar(double) - Method in class org.chocosolver.solver.expression.continuous.arithmetic.BiCArExpression
-
- realVar(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- realVar(double) - Method in class org.chocosolver.solver.expression.continuous.arithmetic.UnCArExpression
-
- realVar(double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Create a constant real variable equal to value
- realVar(String, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Create a constant real variable equal to value
- realVar(double, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a constant real variable equal to value
- realVar(double, double, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a real variable, taking its domain in [lb, ub]
- realVar(String, double, double, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a real variable, taking its domain in [lb, ub]
- RealVar - Interface in org.chocosolver.solver.variables
-
An interface to declare variable for continuous constraints (solved using IBEX).
- realVar(double) - Method in interface org.chocosolver.solver.variables.RealVar
-
- realVarArray(int, double, double, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates an array of size real variables, each of domain [lb, ub]
- realVarArray(String, int, double, double, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates an array of size real variables, each of domain [lb, ub]
- RealVarImpl - Class in org.chocosolver.solver.variables.impl
-
An implementation of RealVar, variable for continuous constraints (solved using IBEX).
- RealVarImpl(String, double, double, double, Model) - Constructor for class org.chocosolver.solver.variables.impl.RealVarImpl
-
- realVarMatrix(int, int, double, double, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a matrix of dim1*dim2 real variables, each of domain [lb, ub]
- realVarMatrix(String, int, int, double, double, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a matrix of dim1*dim2 real variables, each of domain [lb, ub]
- realVarSearch(VariableSelector<RealVar>, RealValueSelector, RealVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
-
Generic strategy to branch on real variables, based on domain splitting
- realVarSearch(RealVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
-
strategy to branch on real variables by choosing sequentially the next variable domain
to split in two, wrt the middle value
- RealView - Class in org.chocosolver.solver.variables.view
-
- RealView(IntVar, double) - Constructor for class org.chocosolver.solver.variables.view.RealView
-
- rebuild(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropCircuitSCC
-
- rebuildCostRegInfo() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
- record(Solver) - Method in interface org.chocosolver.solver.search.loop.learn.Learn
-
Validate and record a new piece of knowledge, that is, the current position is a dead-end.
- record(Solver) - Method in class org.chocosolver.solver.search.loop.learn.LearnExplained
-
- record(Solver) - Method in class org.chocosolver.solver.search.loop.learn.LearnNothing
-
- record() - Method in class org.chocosolver.solver.Solution
-
Records the current solution of the solver
clears all previous recordings
- recordSolution() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.AdaptiveNeighborhood
-
- recordSolution() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
-
- recordSolution() - Method in interface org.chocosolver.solver.search.loop.lns.neighbors.INeighbor
-
Record values of decision variables to freeze some ones during the next LNS run
- recordSolution() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
-
- recordSolution() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
-
- recordSolution() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood
-
- recycle() - Method in class org.chocosolver.solver.explanations.Explanation
-
Recycle this explanation when it is not used anymore.
- reduce() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- reduce(IntVar[], Operator, IntVar) - Static method in class org.chocosolver.solver.constraints.nary.sum.IntLinCombFactory
-
Reduce coefficients, and variables if required, when dealing with a sum (all coefficients are implicitly equal to 1)
- reduce(IntVar[], int[], Operator, IntVar) - Static method in class org.chocosolver.solver.constraints.nary.sum.IntLinCombFactory
-
Reduce coefficients, and variables if required, when dealing with a scalar product
- ReExpression - Class in org.chocosolver.solver.expression.discrete.relational
-
relational expression
Project: choco-solver.
- ReExpression() - Constructor for class org.chocosolver.solver.expression.discrete.relational.ReExpression
-
- ReExpression.Operator - Enum in org.chocosolver.solver.expression.discrete.relational
-
List of available operator for relational expression
- reformulate(IntVar[], IntVar[], Model) - Static method in class org.chocosolver.solver.constraints.nary.globalcardinality.GlobalCardinality
-
- regular(IntVar[], IAutomaton) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a regular constraint.
- reification(BoolVar, Constraint) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Reify a constraint with a boolean variable:
var = 1 <=> cstr is satisfied,
Equivalent to ifOnlyIf
BEWARE : it is automatically posted (it cannot be reified)
- ReificationConstraint - Class in org.chocosolver.solver.constraints
-
Implication constraint: boolean b => constraint c
Also known as half reification
- ReificationConstraint(BoolVar, Constraint, Constraint) - Constructor for class org.chocosolver.solver.constraints.ReificationConstraint
-
- reified(BoolVar, ILogical) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
-
create a logical connection between ``b`` and ``tree``.
- reify() - Method in class org.chocosolver.solver.constraints.Constraint
-
Get/make the boolean variable indicating whether the constraint is satisfied or not
This should not be posted.
- reifyWith(BoolVar) - Method in class org.chocosolver.solver.constraints.Constraint
-
Reifies the constraint with a boolean variable
If the reified boolean variable already exists, an additional (equality) constraint is automatically posted.
- reifyXeqC(IntVar, int, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x = c) ⇔ b.
- reifyXeqY(IntVar, IntVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x = y) ⇔ b.
- reifyXgtC(IntVar, int, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x > c) ⇔ b.
- reifyXinS(IntVar, IntIterableRangeSet, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (X ∈ S) ⇔ B.
- reifyXleY(IntVar, IntVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x ≤ y) ⇔ b.
- reifyXltC(IntVar, int, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x < c) ⇔ b.
- reifyXltY(IntVar, IntVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x < y) ⇔ b.
- reifyXltYC(IntVar, IntVar, int, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x < y + c) ⇔ b.
- reifyXneC(IntVar, int, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x ≠ c) ⇔ b.
- reifyXneY(IntVar, IntVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
-
Posts one constraint that expresses : (x ≠ y) ⇔ b.
- related - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
-
- relation - Variable in class org.chocosolver.solver.constraints.extension.binary.PropBinCSP
-
- relation - Variable in class org.chocosolver.solver.constraints.extension.nary.PropLargeCSP
-
- release() - Method in class org.chocosolver.solver.constraints.real.Ibex
-
Free IBEX structures from memory
- remove(int) - Method in class org.chocosolver.memory.IStateDoubleVector
-
Deprecated.
- remove(int) - Method in class org.chocosolver.memory.IStateIntVector
-
Deprecated.
- remove(int) - Method in class org.chocosolver.memory.trailing.StoredDoubleVector
-
Removes an int.
- remove(int) - Method in class org.chocosolver.memory.trailing.StoredIntVector
-
Removes an int.
- remove(ICause) - Method in class org.chocosolver.solver.explanations.Explanation
-
Remove one cause from the set of causes explaining the situation
- remove(Decision) - Method in class org.chocosolver.solver.explanations.Explanation
-
Remove one decision from the set of decisions explaining the situation
- remove(Propagator) - Method in class org.chocosolver.solver.propagation.PropagationTrigger
-
- remove(ISearchMonitor) - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
-
Removes a search monitor for this list.
- remove() - Method in class org.chocosolver.solver.variables.impl.scheduler.BoolEvtScheduler
-
- remove() - Method in class org.chocosolver.solver.variables.impl.scheduler.IntEvtScheduler
-
- remove() - Method in class org.chocosolver.solver.variables.impl.scheduler.RealEvtScheduler
-
- remove() - Method in class org.chocosolver.solver.variables.impl.scheduler.SetEvtScheduler
-
- remove(int, ICause) - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
-
- remove(int, ICause) - Method in interface org.chocosolver.solver.variables.SetVar
-
Removes element from the upper bound, i.e. the set variable cannot contain element
anymore
- remove() - Method in class org.chocosolver.util.iterators.Disposable
-
Removes from the underlying collection the last element returned by the
iterator (optional operation).
- remove() - Method in interface org.chocosolver.util.iterators.IntIterator
-
Removes from the underlying collection the last element returned by the
getIterator (optional operation).
- remove(int) - Method in class org.chocosolver.util.objects.IntList
-
Removes the first occurrence of the specified element from this list,
if it is present.
- remove() - Method in class org.chocosolver.util.objects.queues.CircularQueue
-
This method is the main reason we re-wrote the class.
- remove(int) - Method in class org.chocosolver.util.objects.queues.CircularQueue
-
Removes the index
element of the queue and removes the resulting gap
This method is the main reason we re-wrote the class.
- remove(E) - Method in class org.chocosolver.util.objects.queues.CircularQueue
-
Remove the first element equal to the value given as parameter
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_Std_BitSet
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_CstInterval
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
-
- remove(int) - Method in interface org.chocosolver.util.objects.setDataStructures.ISet
-
Remove the first occurrence of element from the set
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.Set_ReadOnly
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.StdSet
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
-
- remove(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
-
- remove() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet.BipartiteSetIterator
-
Removes from the underlying collection the last element returned by the
iterator (optional operation).
- remove(int) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
- remove(IndexedObject) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
Deprecated.
- remove(int) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSetWithOffset
-
- removeAll(IntIterableSet) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
-
- removeAll(IntIterableSet) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
- removeAll(IntIterableSet) - Method in interface org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSet
-
Removes all of this set's elements that are also contained in the
specified set.
- removeAllHooks() - Method in class org.chocosolver.solver.Model
-
Empties the hooks attached to this model.
- removeAllStopCriteria() - Method in class org.chocosolver.solver.Solver
-
Empties the list of stop criteria declared.
- removeAllValuesBut(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
- removeAllValuesBut(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
- removeAllValuesBut(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- removeAllValuesBut(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- removeAllValuesBut(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
- removeAllValuesBut(IntIterableSet, ICause) - Method in interface org.chocosolver.solver.variables.IntVar
-
Removes all values from the domain of this
except those in values
.
- removeAllValuesBut(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- removeAllValuesBut(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.view.IntView
-
- removeArc(int, TIntStack, Propagator<IntVar>, ICause) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
- removeArc(int, TIntStack, TIntStack[], TIntStack[], Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
-
- removeArc(int, int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
-
remove arc (from,to) from the graph
- removeAt(int) - Method in class org.chocosolver.util.objects.IntList
-
Removes the element at the specified position in this list.
- removeBetween(int, int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
-
- removeBetween(int, int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
- removeBetween(int, int) - Method in interface org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSet
-
Removes all values between f (inclusive) and t (inclusive)
- removeChild(ILogical) - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
-
Removes child
from the current list of children of this
- removeDeadTransitions() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- removeEdge(int, int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
-
Remove edge (x,y) from the graph
- removeFromAlphabet(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- removeHook(String) - Method in class org.chocosolver.solver.Model
-
Removes the hook named hookName
- removeInterval(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
- removeInterval(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
- removeInterval(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- removeInterval(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- removeInterval(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
- removeInterval(int, int, ICause) - Method in interface org.chocosolver.solver.variables.IntVar
-
Removes values between [from, to
] from the domain of this
.
- removeInterval(int, int, ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- removeInterval(int, int, ICause) - Method in class org.chocosolver.solver.variables.view.IntView
-
- removeLast() - Method in class org.chocosolver.memory.IStateDoubleVector
-
Deprecated.
- removeLast() - Method in class org.chocosolver.memory.IStateIntVector
-
Deprecated.
- removeLast() - Method in class org.chocosolver.memory.trailing.StoredDoubleVector
-
removes the search at the end of the vector.
- removeLast() - Method in class org.chocosolver.memory.trailing.StoredIntVector
-
removes the search at the end of the vector.
- removeLast() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
Deprecated.
- removeMinisat() - Method in class org.chocosolver.solver.Model
-
Unpost minisat constraint from model, if any.
- removeMonitor(IVariableMonitor) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
-
- removeMonitor(IVariableMonitor) - Method in interface org.chocosolver.solver.variables.Variable
-
Removes monitor
form the list of this variable's monitors.
- removeNode(int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
-
- removeNode(int) - Method in interface org.chocosolver.util.objects.graphs.IGraph
-
Remove node x from the graph
- removeNode(int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
-
- removeNogoodStore() - Method in class org.chocosolver.solver.Model
-
Unpost nogood store constraint from model, if any.
- removeNullDurations(IntVar[], ISet) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- removeRange(int, int) - Method in class org.chocosolver.util.objects.IntList
-
Removes from this list all of the elements whose index is between
fromIndex
, inclusive, and toIndex
, exclusive.
- removeStopCriterion(Criterion...) - Method in class org.chocosolver.solver.Solver
-
Removes one or many stop criterion from the one to declare to the search loop.
- removeSymbolFromAutomaton(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- removeValue(IntVar, int, ICause) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
-
Explain the removal of the val
from var
, due to cause
.
- removeValue(IntVar, int, ICause) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
-
Explain the removal of the val
from var
, due to cause
.
- removeValue(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
Removes value
from the domain of this
.
- removeValue(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
Removes value
from the domain of this
.
- removeValue(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
Removes value
from the domain of this
.
- removeValue(int, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- removeValue(int, ICause) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
Removes value
from the domain of this
.
- removeValue(int, ICause) - Method in interface org.chocosolver.solver.variables.IntVar
-
Removes value
from the domain of this
.
- removeValue(int, ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- removeValue(int, ICause) - Method in class org.chocosolver.solver.variables.view.IntView
-
- removeValues(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
- removeValues(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
- removeValues(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- removeValues(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- removeValues(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
- removeValues(IntIterableSet, ICause) - Method in interface org.chocosolver.solver.variables.IntVar
-
Removes the value in values
from the domain of this
.
- removeValues(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- removeValues(IntIterableSet, ICause) - Method in class org.chocosolver.solver.variables.view.IntView
-
- repair(Solver) - Method in interface org.chocosolver.solver.search.loop.move.Move
-
Performs a move when the CSP associated to the current node of the search space is proven to be not consistent.
- repair(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
-
- repair(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryHBFS
-
- repair(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryLDS
-
- repair(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveLearnBinaryTDR
-
- repair(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
-
Return false when :
move.repair(searchLoop) returns false and neighbor is complete.
- repair(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
-
- repair(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveSeq
-
- repeat() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- repeat(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- repeat(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- replace(int, int) - Method in class org.chocosolver.util.objects.IntList
-
Replaces the element at the specified position in this list with
the specified element.
- replaceQuick(int, int) - Method in class org.chocosolver.util.objects.IntList
-
Replaces the element at the specified position in this list with
the specified element without doing any bounds checking.
- Reporting - Enum in org.chocosolver.solver.search.loop
-
- reset(IntVar[]) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffBC
-
- reset() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
-
Clears all internal lists of search monitors.
- reset() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
-
Reset every measure to its default value (mostly 0)
- reset() - Method in class org.chocosolver.solver.Solver
-
Resetting a solver to the state just before running the last resolution instruction.
- reset() - Method in class org.chocosolver.util.iterators.IntVarValueIterator
-
Reset iteration (to avoid creating a new IntVarValueIterator() for every iteration)
Stores the current upper bound
- reset() - Method in interface org.chocosolver.util.objects.setDataStructures.ISetIterator
-
Reset iteration (to avoid creating a new ISetIterator for every iteration)
- resetBestBounds() - Method in interface org.chocosolver.solver.objective.IBoundsManager
-
Reset best bounds to the initial domain of the objective variables
- resetQuick() - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst.FastResetArrayStack
-
- resetStamp() - Method in class org.chocosolver.solver.search.loop.TimeStampedObject
-
sets the current time stamp of the object to the time stamp of the environment
- resizeWorldCapacity(int) - Method in class org.chocosolver.memory.trailing.trail.StoredDoubleVectorTrail
-
- resizeWorldCapacity(int) - Method in class org.chocosolver.memory.trailing.trail.StoredIntVectorTrail
-
- ResolutionPolicy - Enum in org.chocosolver.solver
-
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 6 mai 2010
Since : Choco 2.1.1
Define enum for solver resolution policy.
- restart(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
-
Execute the restart and update measures
- restart() - Method in class org.chocosolver.solver.Solver
-
Sets the following action in the search to be a restart instruction.
- restartCount - Variable in class org.chocosolver.solver.search.measure.Measures
-
Counts the number of restarts done so far.
- restore() - Method in class org.chocosolver.solver.Solution
-
- restoreRootNode() - Method in class org.chocosolver.solver.Solver
-
Retrieves the state of the root node (after the initial propagation)
Has an immediate effect
- restrictLess() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
-
- restrictLess() - Method in interface org.chocosolver.solver.search.loop.lns.neighbors.INeighbor
-
Use less restriction at the beginning of a LNS run
in order to get better solutions
Called when no solution was found during a LNS run (trapped into a local optimum)
- restrictLess() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
-
- restrictLess() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
-
- restrictLess() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood
-
- retainAll(IntIterableSet) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
-
- retainAll(IntIterableSet) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
- retainAll(IntIterableSet) - Method in interface org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSet
-
Retains only the elements in this set that are contained in the
specified set.
- retrieveBoolVars() - Method in class org.chocosolver.solver.Model
-
Iterate over the variable of
this
and build an array that contains the
BoolVar
only.
- retrieveIntVars(boolean) - Method in class org.chocosolver.solver.Model
-
Iterate over the variable of
this
and build an array that contains all the
IntVar
of the model.
- retrieveRealVars() - Method in class org.chocosolver.solver.Model
-
Iterate over the variable of
this
and build an array that contains the
RealVar
only.
- retrieveSetVars() - Method in class org.chocosolver.solver.Model
-
Iterate over the variable of
this
and build an array that contains the
SetVar
only.
- returnE(E) - Method in class org.chocosolver.util.PoolManager
-
- reverse() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
-
Reverse the decision operator
- reverse() - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
-
- reverse() - Method in class org.chocosolver.solver.search.strategy.decision.RootDecision
-
- reverse() - Method in class org.chocosolver.solver.search.strategy.decision.SetDecision
-
- reverse(int[]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Turns back to from the elements of tab from the middle position.
- reverse(T[]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Turns back to from the elements of tab from the middle position.
- reversedPropagationGuided(IntVar...) - Static method in class org.chocosolver.solver.search.loop.lns.INeighborFactory
-
Create a reverse propagation guided neighborhood fixing variables based on constraint propagation
- ReversePropagationGuidedNeighborhood - Class in org.chocosolver.solver.search.loop.lns.neighbors
-
A Propagation Guided LNS
Based on "Propagation Guided Large Neighborhood Search", Perron et al.
- ReversePropagationGuidedNeighborhood(IntVar[], int, int, long) - Constructor for class org.chocosolver.solver.search.loop.lns.neighbors.ReversePropagationGuidedNeighborhood
-
Create a neighbor for LNS based on PGLNS, which selects variables to not be part of a fragment
- reverseValue(int) - Method in interface org.chocosolver.solver.variables.IntVar
-
- reverseValue(int) - Method in class org.chocosolver.solver.variables.view.MinusView
-
- reverseValue(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
-
- reverseValue(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
-
- revert() - Method in class org.chocosolver.memory.trailing.trail.chunck.BoolWorld
-
- revert() - Method in class org.chocosolver.memory.trailing.trail.chunck.DoubleWorld
-
- revert() - Method in class org.chocosolver.memory.trailing.trail.chunck.IntWorld
-
- revert() - Method in class org.chocosolver.memory.trailing.trail.chunck.LongWorld
-
- revert() - Method in class org.chocosolver.memory.trailing.trail.chunck.OperationWorld
-
- revert() - Method in interface org.chocosolver.memory.trailing.trail.chunck.World
-
Pop all the stack.
- rewind(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
-
Go back in the search tree.
- rewind(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryLDS
-
- rewind() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
-
Force the decision to be in its creation state.
- Rk - Class in org.chocosolver.solver.constraints.nary.nValue.amnv.mis
-
Random heuristic
- Rk(UndirectedGraph, int) - Constructor for class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.Rk
-
Creates an instance of the Random heuristic to compute independent sets on graph
- Rk(UndirectedGraph) - Constructor for class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.Rk
-
Creates an instance of the Random heuristic to compute independent sets on graph
uses the default setting DEFAULT_K=30
- RM - Static variable in class org.chocosolver.solver.explanations.RuleStore
-
Mask for integer variable value removal
- RO - Static variable in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
Lagrangian multiplier decreasing factor
- ROOT - Static variable in class org.chocosolver.solver.search.strategy.decision.RootDecision
-
- root - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- RootDecision - Class in org.chocosolver.solver.search.strategy.decision
-
- ROUNDED_LOG_PRECISION - Static variable in class org.chocosolver.util.tools.MathUtils
-
Precision for rounded logarithm.
- roundedLog(double, double) - Static method in class org.chocosolver.util.tools.MathUtils
-
a rounded logarithm to avoid issues with jvm dependant math functions
- Rules - Class in org.chocosolver.solver.explanations
-
A set of rules for
RuleStore
Created by cprudhom on 17/03/15.
- Rules(int, int) - Constructor for class org.chocosolver.solver.explanations.Rules
-
- RuleStore - Class in org.chocosolver.solver.explanations
-
A RuleStore is a central object in the Asynchronous, Reverse, Low-Intrusive and Lazy explanation engine.
- RuleStore(boolean, boolean) - Constructor for class org.chocosolver.solver.explanations.RuleStore
-
Instantiate a rule store to compute explanations
- run(int[]) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- run(int[]) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
-
- s - Variable in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
-
- s - Variable in exception org.chocosolver.solver.exception.ContradictionException
-
- S64BitSet - Class in org.chocosolver.memory.structure
-
- S64BitSet(IEnvironment) - Constructor for class org.chocosolver.memory.structure.S64BitSet
-
Creates a new bit set.
- S64BitSet(IEnvironment, int) - Constructor for class org.chocosolver.memory.structure.S64BitSet
-
Creates a bit set whose initial size is large enough to explicitly
represent bits with indices in the range 0
through
nbits-1
.
- safeAdd(int, int) - Static method in class org.chocosolver.util.tools.MathUtils
-
- safeCast(long) - Static method in class org.chocosolver.util.tools.MathUtils
-
- SafeIntProcedure - Interface in org.chocosolver.util.procedure
-
- safeMultiply(int, int) - Static method in class org.chocosolver.util.tools.MathUtils
-
- safeSubstract(int, int) - Static method in class org.chocosolver.util.tools.MathUtils
-
- sameSign(IntVar, IntVar) - Method in class org.chocosolver.solver.constraints.ternary.PropDivXYZ
-
A take the signs of B
- SAT() - Static method in class org.chocosolver.solver.objective.ObjectiveFactory
-
Define a manager for satisfaction problems.
- SatConstraint - Class in org.chocosolver.solver.constraints.nary.cnf
-
- SatConstraint(Model) - Constructor for class org.chocosolver.solver.constraints.nary.cnf.SatConstraint
-
- satisfied() - Method in class org.chocosolver.memory.Except_0
-
- satisfied() - Method in interface org.chocosolver.memory.ICondition
-
- save(IOperation) - Method in interface org.chocosolver.memory.IEnvironment
-
Save this operation onto the stack of operations to undo on backtrack.
- save(IOperation) - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
- savePreviousState(StoredBool, boolean, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.BoolWorld
-
Reacts when a StoredBool is modified: push the former value & timestamp
on the stacks.
- savePreviousState(StoredBool, boolean, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedBoolTrail
-
- savePreviousState(StoredDouble, double, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedDoubleTrail
-
- savePreviousState(StoredInt, int, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedIntTrail
-
- savePreviousState(StoredLong, long, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedLongTrail
-
- savePreviousState(IOperation) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedOperationTrail
-
- savePreviousState(StoredDouble, double, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.DoubleWorld
-
Reacts when a StoredDouble is modified: push the former value & timestamp
on the stacks.
- savePreviousState(StoredInt, int, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.IntWorld
-
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
- savePreviousState(StoredLong, long, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.LongWorld
-
Reacts when a StoredLong is modified: push the former value & timestamp
on the stacks.
- savePreviousState(IOperation) - Method in class org.chocosolver.memory.trailing.trail.chunck.OperationWorld
-
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
- savePreviousState(IOperation) - Method in class org.chocosolver.memory.trailing.trail.flatten.OperationTrail
-
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
- savePreviousState(StoredBool, boolean, int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredBoolTrail
-
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
- savePreviousState(StoredDouble, double, int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredDoubleTrail
-
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
- savePreviousState(StoredInt, int, int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredIntTrail
-
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
- savePreviousState(StoredLong, long, int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail
-
Reacts when a StoredInt is modified: push the former value & timestamp
on the stacks.
- savePreviousState(IOperation) - Method in interface org.chocosolver.memory.trailing.trail.IOperationTrail
-
- savePreviousState(StoredBool, boolean, int) - Method in interface org.chocosolver.memory.trailing.trail.IStoredBoolTrail
-
- savePreviousState(StoredDouble, double, int) - Method in interface org.chocosolver.memory.trailing.trail.IStoredDoubleTrail
-
- savePreviousState(StoredInt, int, int) - Method in interface org.chocosolver.memory.trailing.trail.IStoredIntTrail
-
- savePreviousState(StoredLong, long, int) - Method in interface org.chocosolver.memory.trailing.trail.IStoredLongTrail
-
- savePreviousState(StoredDoubleVector, int, double, int) - Method in class org.chocosolver.memory.trailing.trail.StoredDoubleVectorTrail
-
Reacts on the modification of an element in a stored search vector.
- savePreviousState(StoredIntVector, int, int, int) - Method in class org.chocosolver.memory.trailing.trail.StoredIntVectorTrail
-
Reacts on the modification of an element in a stored search vector.
- scalar(IntVar[], int[], IntVar, int) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
-
Generate valid tuples for ∑i in |VARS|VARSi*COEFFSi OPERATOR SCALAR
- scalar(IntVar[], int[], String, IntVar, int, int) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
-
Generate valid tuples for ∑i in |VARS|VARSi*COEFFSi OPERATOR SCALAR + CSTE
with OPERATOR in {"=", "!
- scalar(IntVar[], int[], String, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a scalar constraint which ensures that Sum(vars[i]*coeffs[i]) operator scalar
- scalar(IntVar[], int[], String, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a scalar constraint which ensures that Sum(vars[i]*coeffs[i]) operator scalar
- ScaleView - Class in org.chocosolver.solver.variables.view
-
declare an IntVar based on X and C, such as X * C
Based on "Views and Iterators for Generic Constraint Implementations"
C.
- ScaleView(IntVar, int) - Constructor for class org.chocosolver.solver.variables.view.ScaleView
-
Create a cste × var view
- SCP - Static variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- Search - Class in org.chocosolver.solver.search.strategy
-
- Search() - Constructor for class org.chocosolver.solver.search.strategy.Search
-
- searchClosest(int[], int) - Method in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
-
- SearchMonitorList - Class in org.chocosolver.solver.search.loop.monitors
-
- SearchMonitorList() - Constructor for class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
-
- SearchState - Enum in org.chocosolver.solver.search
-
Indication about the search status
Project: choco-solver.
- select(int) - Method in class org.chocosolver.solver.variables.impl.scheduler.BoolEvtScheduler
-
- select(int) - Method in class org.chocosolver.solver.variables.impl.scheduler.IntEvtScheduler
-
- select(int) - Method in class org.chocosolver.solver.variables.impl.scheduler.RealEvtScheduler
-
- select(int) - Method in class org.chocosolver.solver.variables.impl.scheduler.SetEvtScheduler
-
- select(int) - Method in interface org.chocosolver.util.iterators.EvtScheduler
-
- selectScalar(IntVar[], int[], Operator, int) - Static method in class org.chocosolver.solver.constraints.nary.sum.IntLinCombFactory
-
Select the most relevant ScalarProduct constraint to return
- selectSum(IntVar[], int[], Operator, int, int) - Static method in class org.chocosolver.solver.constraints.nary.sum.IntLinCombFactory
-
Select the most relevant Sum constraint to return
- selectValue(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMax
-
Selects and returns the value to constrained chosen variable with.
- selectValue(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMedian
-
Selects and returns the value to constrained chosen variable with.
- selectValue(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMiddle
-
Selects and returns the value to constrained chosen variable with.
- selectValue(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMin
-
- selectValue(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.IntDomainRandom
-
Selects and returns the value to constrained chosen variable with.
- selectValue(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.IntDomainRandomBound
-
Selects and returns the value to constrained chosen variable with.
- selectValue(IntVar) - Method in interface org.chocosolver.solver.search.strategy.selectors.values.IntValueSelector
-
Selects and returns the value to constrained chosen variable with.
- selectValue(RealVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.RealDomainMax
-
- selectValue(RealVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.RealDomainMiddle
-
- selectValue(RealVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.RealDomainMin
-
- selectValue(RealVar) - Method in interface org.chocosolver.solver.search.strategy.selectors.values.RealValueSelector
-
Selects and returns the value to constrained chosen variable with.
- selectValue(SetVar) - Method in class org.chocosolver.solver.search.strategy.selectors.values.SetDomainMin
-
- selectValue(SetVar) - Method in interface org.chocosolver.solver.search.strategy.selectors.values.SetValueSelector
-
Value selection heuristic
- selectVariable() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
-
- selectVariable() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
-
- semi - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- SequenceNeighborhood - Class in org.chocosolver.solver.search.loop.lns.neighbors
-
A neighbor which is based on mutliple neighbors.
- SequenceNeighborhood(INeighbor...) - Constructor for class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood
-
- sequencer(INeighbor...) - Static method in class org.chocosolver.solver.search.loop.lns.INeighborFactory
-
Creates a composite Neighbor grouping a set of neighbors
- sequencer(AbstractStrategy...) - Static method in class org.chocosolver.solver.search.strategy.Search
-
- set(IEnvironment) - Method in class org.chocosolver.memory.Except_0
-
- set(IEnvironment) - Method in interface org.chocosolver.memory.ICondition
-
- set(int) - Method in interface org.chocosolver.memory.IStateBitSet
-
Puts the specified bit on.
- set(int, boolean) - Method in interface org.chocosolver.memory.IStateBitSet
-
- set(int, int) - Method in interface org.chocosolver.memory.IStateBitSet
-
- set(boolean) - Method in class org.chocosolver.memory.IStateBool
-
Modifies the value and stores if needed the former value on the
trailing stack.
- set(double) - Method in class org.chocosolver.memory.IStateDouble
-
Modifies the value and stores if needed the former value on the
trailing stack.
- set(int, double) - Method in class org.chocosolver.memory.IStateDoubleVector
-
Deprecated.
- set(int) - Method in class org.chocosolver.memory.IStateInt
-
Modifies the value and stores if needed the former value on the
trailing stack.
- set(int, int) - Method in class org.chocosolver.memory.IStateIntVector
-
Assigns a new value val
to the element index
and returns
the old value
- set(long) - Method in class org.chocosolver.memory.IStateLong
-
Modifies the value and stores if needed the former value on the
trailing stack.
- set(int) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
-
Sets the bit at the specified index to true
.
- set(int, boolean) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
-
Sets the bit at the specified index to the specified value.
- set(int, int) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
-
Sets the bits from the specified fromIndex (inclusive) to the
specified toIndex (exclusive) to true
.
- set(int) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
Sets the bit at the specified index to true
.
- set(int, boolean) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
Sets the bit at the specified index to the specified value.
- set(int, int) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
Sets the bits from the specified fromIndex (inclusive) to the
specified toIndex (exclusive) to true
.
- set(int, int, boolean) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
Deprecated.
- set(int) - Method in class org.chocosolver.memory.structure.S64BitSet
-
Sets the bit at the specified index to true
.
- set(int, boolean) - Method in class org.chocosolver.memory.structure.S64BitSet
-
Sets the bit at the specified index to the specified value.
- set(int, int) - Method in class org.chocosolver.memory.structure.S64BitSet
-
Sets the bits from the specified fromIndex (inclusive) to the
specified toIndex (exclusive) to true
.
- set(int, int, boolean) - Method in class org.chocosolver.memory.structure.S64BitSet
-
Deprecated.
- set(boolean) - Method in class org.chocosolver.memory.trailing.StoredBool
-
Modifies the value and stores if needed the former value on the
trailing stack.
- set(double) - Method in class org.chocosolver.memory.trailing.StoredDouble
-
Modifies the value and stores if needed the former value on the
trailing stack.
- set(int, double) - Method in class org.chocosolver.memory.trailing.StoredDoubleVector
-
Assigns a new value val
to the element index
.
- set(int) - Method in class org.chocosolver.memory.trailing.StoredInt
-
Modifies the value and stores if needed the former value on the
trailing stack.
- set(int, int) - Method in class org.chocosolver.memory.trailing.StoredIntVector
-
Assigns a new value val
to the element index
.
- set(long) - Method in class org.chocosolver.memory.trailing.StoredLong
-
Modifies the value and stores if needed the former value on the
trailing stack.
- set(int, int, int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter.Event
-
- set(ICause, Variable, String) - Method in exception org.chocosolver.solver.exception.ContradictionException
-
Throws the unique ContradictionException
filled with the specified parameters.
- set(Settings) - Method in class org.chocosolver.solver.Model
-
- set(E) - Method in class org.chocosolver.solver.search.strategy.decision.Decision
-
Reuse the decision
- set(IntVar, int, DecisionOperator<IntVar>) - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
-
Instantiate this decision with the parameters
- set(RealVar, double) - Method in class org.chocosolver.solver.search.strategy.decision.RealDecision
-
Instantiate this decision with the parameters
- set(SetVar, int, DecisionOperator<SetVar>) - Method in class org.chocosolver.solver.search.strategy.decision.SetDecision
-
Instantiate this decision with the parameters
- SET - Static variable in interface org.chocosolver.solver.variables.Variable
-
Kind of variable: set.
- set(int, int) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
Deprecated.
- set(A, B) - Method in interface org.chocosolver.util.procedure.BinaryIntProcedure
-
- set(A, B) - Method in interface org.chocosolver.util.procedure.BinaryProcedure
-
- set(A, B, C) - Method in interface org.chocosolver.util.procedure.TernaryIntProcedure
-
- set(A, B, C) - Method in interface org.chocosolver.util.procedure.TernaryProcedure
-
- set(A) - Method in interface org.chocosolver.util.procedure.UnaryIntProcedure
-
- set(A) - Method in interface org.chocosolver.util.procedure.UnaryProcedure
-
- set(A) - Method in interface org.chocosolver.util.procedure.UnarySafeIntProcedure
-
- Set_BitSet - Class in org.chocosolver.util.objects.setDataStructures.bitset
-
BitSet implementation for a set of integers
Supports negative numbers when using int... constructor
- Set_BitSet(int) - Constructor for class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
-
Creates an empty bitset having numbers greater or equal than offSet
(possibly < 0)
- Set_CstInterval - Class in org.chocosolver.util.objects.setDataStructures.constant
-
Constant Interval set of the form [min, max]
BEWARE: Cannot add/remove elements
- Set_CstInterval(int, int) - Constructor for class org.chocosolver.util.objects.setDataStructures.constant.Set_CstInterval
-
Creates a constant set of integers encoded as an interval [min, max]
- Set_FixedArray - Class in org.chocosolver.util.objects.setDataStructures.constant
-
Fixed array of integers (cannot add nor remove items)
- Set_FixedArray(int[]) - Constructor for class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
-
Creates an empty array of integers
- Set_LinkedList - Class in org.chocosolver.util.objects.setDataStructures.linkedlist
-
LinkedList of m elements
add : O(1)
testPresence: O(m)
remove: O(m)
iteration : O(m)
Created by IntelliJ IDEA.
- Set_LinkedList() - Constructor for class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList
-
- Set_ReadOnly - Class in org.chocosolver.util.objects.setDataStructures
-
Generic read-only view of a set
- Set_ReadOnly(ISet) - Constructor for class org.chocosolver.util.objects.setDataStructures.Set_ReadOnly
-
- Set_Std_BitSet - Class in org.chocosolver.util.objects.setDataStructures.bitset
-
BitSet implementation for a set of integers
Supports negative numbers if offset is set properly
- Set_Std_BitSet(IEnvironment, int) - Constructor for class org.chocosolver.util.objects.setDataStructures.bitset.Set_Std_BitSet
-
Creates an empty bitset having numbers greater or equal than offSet
(possibly < 0)
- Set_Std_Swap - Class in org.chocosolver.util.objects.setDataStructures.swapList
-
Set of integers based on BipartiteSet implementation
BEWARE : CANNOT BOTH ADD AND REMOVE ELEMENTS DURING SEARCH
(add only or remove only)
add : O(1)
testPresence: O(1)
remove: O(1)
iteration : O(m)
- Set_Std_Swap(IEnvironment, int) - Constructor for class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap
-
Creates an empty bipartite set having numbers greater or equal than offSet
(possibly < 0)
- Set_Std_Swap2 - Class in org.chocosolver.util.objects.setDataStructures.swapList
-
Set of integers based on BipartiteSet implementation for small sets (arraylist inside)
BEWARE : CANNOT BOTH ADD AND REMOVE ELEMENTS DURING SEARCH
- Set_Std_Swap2(IEnvironment) - Constructor for class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
-
Creates an empty bipartite set
- Set_Swap - Class in org.chocosolver.util.objects.setDataStructures.swapList
-
Bipartite set of integers:
add : O(1)
contain: O(1)
remove: O(1)
iteration : O(m)
- Set_Swap(int) - Constructor for class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
-
Creates an empty bipartite set having numbers greater or equal than offSet
(possibly < 0)
- Set_Swap2 - Class in org.chocosolver.util.objects.setDataStructures.swapList
-
Set of integers based on BipartiteSet implementation for small sets (arraylist inside)
BEWARE : CANNOT BOTH ADD AND REMOVE ELEMENTS DURING SEARCH
- Set_Swap2() - Constructor for class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
-
Creates an empty bipartite set
- setActive() - Method in class org.chocosolver.solver.constraints.Propagator
-
informs that this propagator is now active.
- setBoolsChanneling(BoolVar[], SetVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint channeling a set variable with boolean variables :
i in set <=> bools[i] = TRUE
- setBoolsChanneling(BoolVar[], SetVar, int) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint channeling a set variable with boolean variables :
i in set <=> bools[i-offset] = TRUE
- setBoolTrail(IStoredBoolTrail) - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
- setBoundsManager(IBoundsManager) - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
-
Update the bounds managed
- setCard(IntVar) - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
-
- setCard(IntVar) - Method in interface org.chocosolver.solver.variables.SetVar
-
ensure a variable is equal to the cardinality of this set.
- setCBJLearning(boolean, boolean) - Method in interface org.chocosolver.solver.search.loop.learn.ILearnFactory
-
Creates a learning object based on Conflict-based Backjumping (CBJ) explanation strategy.
- setChildMoves(List<Move>) - Method in interface org.chocosolver.solver.search.loop.move.Move
-
Overrides this child moves (if possible and if any).
- setChildMoves(List<Move>) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
-
- setChildMoves(List<Move>) - Method in class org.chocosolver.solver.search.loop.move.MoveLearnBinaryTDR
-
- setChildMoves(List<Move>) - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
-
- setChildMoves(List<Move>) - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
-
- setChildMoves(List<Move>) - Method in class org.chocosolver.solver.search.loop.move.MoveSeq
-
- setCutComputer(Function<Number, Number>) - Method in interface org.chocosolver.solver.objective.IObjectiveManager
-
Set a user-defined cut computer to avoid "worse" solutions
- setDBTLearning(boolean, boolean) - Method in interface org.chocosolver.solver.search.loop.learn.ILearnFactory
-
Creates a learning object based on Dynamic Backjumping (DBT) explanation strategy.
- setDDS(int) - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Depth-bounded Discrepancy Search[1] algorithms with binary decisions
[1]:T.
- SetDecision - Class in org.chocosolver.solver.search.strategy.decision
-
- SetDecision(PoolManager<SetDecision>) - Constructor for class org.chocosolver.solver.search.strategy.decision.SetDecision
-
Create an decision based on an
SetVar
- SetDelta - Class in org.chocosolver.solver.variables.delta
-
- SetDelta(IEnvironment) - Constructor for class org.chocosolver.solver.variables.delta.SetDelta
-
- SetDeltaMonitor - Class in org.chocosolver.solver.variables.delta.monitor
-
- SetDeltaMonitor(ISetDelta, ICause) - Constructor for class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
-
- setDeterministic(boolean) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- setDFS() - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Depth-First Search algorithm with binary decisions
- SetDomainMin - Class in org.chocosolver.solver.search.strategy.selectors.values
-
Selects the first integer in the envelope and not in the kernel
- SetDomainMin() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.SetDomainMin
-
- setDoubleTrail(IStoredDoubleTrail) - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
- setEngine(IPropagationEngine) - Method in class org.chocosolver.solver.Solver
-
Attaches a propagation engine this
.
- setErr(PrintStream) - Method in class org.chocosolver.solver.Solver
-
- setErr(PrintStream) - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Set the current error stream (default is System.err)
- SetEventType - Enum in org.chocosolver.solver.variables.events
-
An enum defining the set variable event types:
ADD_TO_KER
: value enforcing event,
REMOVE_FROM_ENVELOPE
: value removal event,
- SetEvtScheduler - Class in org.chocosolver.solver.variables.impl.scheduler
-
Created by cprudhom on 17/06/15.
- SetEvtScheduler() - Constructor for class org.chocosolver.solver.variables.impl.scheduler.SetEvtScheduler
-
- setEvtstrIdx(int) - Method in class org.chocosolver.solver.explanations.Explanation
-
Set the event store idx, where the last analysis ends
- setExplainer(IExplanationEngine) - Method in class org.chocosolver.solver.Solver
-
Overrides the explanation engine.
- SetFactory - Class in org.chocosolver.util.objects.setDataStructures
-
Factory for creating sets
- SetFactory() - Constructor for class org.chocosolver.util.objects.setDataStructures.SetFactory
-
- setFinal(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- setFinal(int...) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- setGeometricalRestart(int, double, ICounter, int) - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Build a geometrical restart strategy
- setHBFS(double, double, long) - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Creates a move object based on:
Hybrid Best-First Search[1] algorithms with binary decisions.
- setId(int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
-
- setIdx(K, int) - Method in interface org.chocosolver.util.Indexable
-
Return the index of this
in variable
- setInitialState(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- setInStack(int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
Set the idx th bit of the to be removed bitset
- setInStack(int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
-
Set the idx th bit of the to be removed bitset
- setIntTrail(IStoredIntTrail) - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
- setIntVal(IntVar, int) - Method in class org.chocosolver.solver.Solution
-
Set the value of variable v in this solution.
- setJumpTo(int) - Method in class org.chocosolver.solver.Solver
-
Sets how many worlds to rollback when backtracking
- setLDS(int) - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Limited Discrepancy Search[1] algorithms with binary decisions
[1]:W.D.
- setLearner(Learn) - Method in class org.chocosolver.solver.Solver
-
Replaces the current learn with l
- setLNS(INeighbor, ICounter) - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Creates a Move object based on Large Neighborhood Search.
- setLNS(INeighbor) - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Creates a Move object based on Large Neighborhood Search.
- setLoadfactor(double) - Method in class org.chocosolver.memory.EnvironmentBuilder
-
- setLongTrail(IStoredLongTrail) - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
- setLubyRestart(int, ICounter, int) - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Branch a luby restart strategy to the model
- setMove(Move...) - Method in class org.chocosolver.solver.Solver
-
Replaces the current move with m
- setName(String) - Method in class org.chocosolver.solver.constraints.Constraint
-
Changes the name of this
constraint
- setName(String) - Method in class org.chocosolver.solver.Model
-
Changes the name of this model to be equal to the argument name
.
- setNoGoodRecordingFromRestarts() - Method in interface org.chocosolver.solver.search.loop.monitors.ISearchMonitorFactory
-
* Record nogoods from restart, that is, anytime the search restarts, a nogood is produced, based on the decision path, to prevent from
scanning the same sub-search tree.
- setNoGoodRecordingFromSolutions(IntVar...) - Method in interface org.chocosolver.solver.search.loop.monitors.ISearchMonitorFactory
-
Record nogoods from solution, that is, anytime a solution is found, a nogood is produced to prevent from
finding the same solution later during the search.
- setNoLearning() - Method in interface org.chocosolver.solver.search.loop.learn.ILearnFactory
-
Indicate that no learning should be achieved during search (default configuration)
- setNonFinal(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- setNonFInal(int...) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- setNot(boolean) - Method in interface org.chocosolver.solver.constraints.nary.cnf.ILogical
-
States whether or not this variable is the negation of another.
- setNot(boolean) - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
-
- setNot(boolean) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- setNot(boolean) - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
-
- setNot(boolean) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- setObjective(boolean, Variable) - Method in class org.chocosolver.solver.Model
-
- setObjectiveManager(IObjectiveManager) - Method in class org.chocosolver.solver.Solver
-
Declares an objective manager to use.
- setObjectiveOptimal(boolean) - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
-
indicates whether or not the optimum has been found and proved
- setOffset(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
-
Creates an IntIterable object relying on a bitset implementation.
- setOperationTrail(IOperationTrail) - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
- setOut(PrintStream) - Method in class org.chocosolver.solver.Solver
-
- setOut(PrintStream) - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Set the current output stream (default is System.out)
- setPassive() - Method in class org.chocosolver.solver.constraints.Propagator
-
informs that this propagator is now passive : it holds but no further filtering can occur,
so it is useless to propagate it.
- setPIndice(int, int) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
-
- setPIndice(int, int) - Method in interface org.chocosolver.solver.variables.Variable
-
- setPosition(int) - Method in class org.chocosolver.solver.search.strategy.decision.Decision
-
Set the position of this decision in the decision path.
- setPrecision(double) - Method in class org.chocosolver.solver.Model
-
In case of real variable to optimize, a precision is required.
- setPropagate(Propagate) - Method in class org.chocosolver.solver.Solver
-
Overrides the Propagate object
- setReadingTimeCount(long) - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
-
- setRealBounds(RealVar, double[]) - Method in class org.chocosolver.solver.Solution
-
Set the value of variable v in this solution
- setRefutable(boolean) - Method in class org.chocosolver.solver.search.strategy.decision.Decision
-
Indicate whether or not this decision can be refuted
if set to false, if the decision(e.g. x=3) fails
instead of backtracking once and applying its negation (e.g. x!
- setReifCons(ReificationConstraint) - Method in class org.chocosolver.solver.constraints.reification.PropReif
-
- setReifiedSilent() - Method in class org.chocosolver.solver.constraints.Propagator
-
informs that this reified propagator may not hold.
- setReifiedTrue() - Method in class org.chocosolver.solver.constraints.Propagator
-
informs that this reified propagator must hold.
- setRestartOnSolutions() - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Creates a Move object that encapsulates the current move within a restart move.
- setRestarts(LongCriterion, ICutoffStrategy, int) - Method in interface org.chocosolver.solver.search.loop.move.IMoveFactory
-
Creates a Move object that encapsulates the current move within a restart move.
- setSearch(AbstractStrategy...) - Method in class org.chocosolver.solver.Solver
-
Override the default search strategies to use in this
.
- setSearchState(SearchState) - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
-
Update the current search state
- setSetVal(SetVar, int[]) - Method in class org.chocosolver.solver.Solution
-
Set the value of variable v in this solution
- setsIntsChanneling(SetVar[], IntVar[]) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint channeling set variables and integer variables :
x in sets[y] <=> ints[x] = y
- setsIntsChanneling(SetVar[], IntVar[], int, int) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint channeling set variables and integer variables :
x in sets[y-offset1] <=> ints[x-offset2] = y
- setSize(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap
-
- setSize(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
-
- setStrategy(AbstractStrategy<V>) - Method in interface org.chocosolver.solver.search.loop.move.Move
-
Defines a search strategy, that is, a service which computes and returns decisions.
- setStrategy(AbstractStrategy<V>) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
-
- setStrategy(AbstractStrategy<V>) - Method in class org.chocosolver.solver.search.loop.move.MoveLearnBinaryTDR
-
- setStrategy(AbstractStrategy<V>) - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
-
- setStrategy(AbstractStrategy<V>) - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
-
- setStrategy(AbstractStrategy<V>) - Method in class org.chocosolver.solver.search.loop.move.MoveSeq
-
- SetStrategy - Class in org.chocosolver.solver.search.strategy.strategy
-
Strategy for branching on set variables
- SetStrategy(SetVar[], VariableSelector<SetVar>, SetValueSelector, boolean) - Constructor for class org.chocosolver.solver.search.strategy.strategy.SetStrategy
-
Generic strategy to branch on set variables
- setStrictDynamicCut() - Method in interface org.chocosolver.solver.objective.IObjectiveManager
-
Define a strict cut computer where in the next solution to find should be strictly greater (resp. lesser) than
the best solution found so far when maximizing (resp. minimizing) a problem.
- setTimeCount(long) - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
-
- setTimeLimit(long) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased
-
- Settings - Interface in org.chocosolver.solver
-
- setToFalse(ICause) - Method in interface org.chocosolver.solver.variables.BoolVar
-
- setToFalse(ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- setToFalse(ICause) - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
-
- setToFalse(ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- setTopDecisionPosition(int) - Method in interface org.chocosolver.solver.search.loop.move.Move
-
Indicates the position of decision made just before selecting this move.
- setTopDecisionPosition(int) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
-
- setTopDecisionPosition(int) - Method in class org.chocosolver.solver.search.loop.move.MoveLearnBinaryTDR
-
- setTopDecisionPosition(int) - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
-
- setTopDecisionPosition(int) - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
-
- setTopDecisionPosition(int) - Method in class org.chocosolver.solver.search.loop.move.MoveSeq
-
- setToTrue(ICause) - Method in interface org.chocosolver.solver.variables.BoolVar
-
- setToTrue(ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- setToTrue(ICause) - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
-
- setToTrue(ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- setTrail(IStoredIntTrail) - Method in class org.chocosolver.memory.EnvironmentBuilder
-
Set the int trail.
- setTrail(IStoredLongTrail) - Method in class org.chocosolver.memory.EnvironmentBuilder
-
Set the long trail.
- setTrail(IStoredDoubleTrail) - Method in class org.chocosolver.memory.EnvironmentBuilder
-
Set the double trail.
- setTrail(IStoredBoolTrail) - Method in class org.chocosolver.memory.EnvironmentBuilder
-
Set the bool trail.
- setTrail(IOperationTrail) - Method in class org.chocosolver.memory.EnvironmentBuilder
-
Set the operation trail.
- SetType - Enum in org.chocosolver.util.objects.setDataStructures
-
- SetValueSelector - Interface in org.chocosolver.solver.search.strategy.selectors.values
-
Heuristic for branching on a given SetVar
- setVar(int[], int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a set variable taking its domain in [lb, ub],
For instance [{0,3},{-2,0,2,3}] means the variable must include both 0 and 3 and can additionnaly include -2, and 2
- setVar(int...) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a constant set variable, equal to value
- setVar(String, int[], int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a set variable taking its domain in [lb, ub],
For instance [{0,3},{-2,0,2,3}] means the variable must include both 0 and 3 and can additionnaly include -2, and 2
- setVar(String, int...) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a constant set variable, equal to value
- SetVar - Interface in org.chocosolver.solver.variables
-
A Set Variable is defined by a domain which is a set interval [LB,UB], where:
LB is the set of integers that must belong to every single solution.
- setVarArray(int, int[], int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates an array of size set variables, taking their domain in [lb, ub]
- setVarArray(String, int, int[], int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates an array of size set variables, taking their domain in [lb, ub]
- SetVarImpl - Class in org.chocosolver.solver.variables.impl
-
Set variable to represent a set of integers, i.e. a value is a set
- SetVarImpl(String, int[], SetType, int[], SetType, Model) - Constructor for class org.chocosolver.solver.variables.impl.SetVarImpl
-
Creates a Set variable
- SetVarImpl(String, ISet, ISet, Model) - Constructor for class org.chocosolver.solver.variables.impl.SetVarImpl
-
Creates a set variable, of domain [lb, ub]
Beware : Use this constructor with caution (domain is directly accessible)
lb and ub should be created properly (e.g. lb subset of ub) and should not be modified externally
Both lb and ub should be backtrackable sets (stored sets): use SetFactory.makeStoredSet to build them
- SetVarImpl(String, ISet, Model) - Constructor for class org.chocosolver.solver.variables.impl.SetVarImpl
-
Creates a fixed Set variable, equal to value
Beware : Use this constructor with caution (domain is directly accessible)
value should be created properly and should not be modified afterward
- SetVarImpl(String, int[], Model) - Constructor for class org.chocosolver.solver.variables.impl.SetVarImpl
-
Creates a fixed Set variable, equal to value
- setVarMatrix(int, int, int[], int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a matrix of dim1*dim2 set variables, taking their domain in [lb, ub]
- setVarMatrix(String, int, int, int[], int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a matrix of dim1*dim2 set variables, taking their domain in [lb, ub]
- setVarSearch(VariableSelector<SetVar>, SetValueSelector, boolean, SetVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
-
Generic strategy to branch on set variables
- setVarSearch(SetVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
-
strategy to branch on sets by choosing the first unfixed variable and forcing its first unfixed value
- setVIndices(int, int) - Method in class org.chocosolver.solver.constraints.Propagator
-
Changes the index of a variable in this propagator.
- setWalkingDynamicCut() - Method in interface org.chocosolver.solver.objective.IObjectiveManager
-
Define a walking cut computer where in the next solution to find should be greater than (resp. less than)
or equal to the best solution found so far when maximizing (resp. minimizing) a problem.
- setWorldNumber(int) - Method in class org.chocosolver.memory.EnvironmentBuilder
-
The maximum numbers of worlds that a
IStorage
can handle.
- setWorldSize(int) - Method in class org.chocosolver.memory.EnvironmentBuilder
-
The maximum numbers of updates that a
IStorage
can handle.
- SevenQueuesPropagatorEngine - Class in org.chocosolver.solver.propagation.hardcoded
-
This engine is priority-driven constraint-oriented seven queues engine.
- SevenQueuesPropagatorEngine(Model) - Constructor for class org.chocosolver.solver.propagation.hardcoded.SevenQueuesPropagatorEngine
-
A seven-queue propagation engine.
- showContradiction() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Plug a search monitor which outputs the contradictions thrown during the search.
- showDecisions(IMessage) - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Plug a search monitor which outputs message
on each decision.
- showDecisions() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Plug a search monitor which outputs a message on each decision.
- showShortStatistics() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
- showSolutions(IMessage) - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Plug a search monitor which outputs message
on each solution.
- showSolutions() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Plug a search monitor which outputs a message on each solution.
- showStatistics() - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
- showStatisticsDuringResolution(long) - Method in interface org.chocosolver.solver.trace.IOutputFactory
-
Plug a search monitor which prints a one-line statistics every f
ms.
- SimpleDominatorsFinder - Class in org.chocosolver.util.graphOperations.dominance
-
Class that finds dominators of a given flow graph g(s)
Uses the simple LT algorithm which runs in O(m.log(n))
Fast in practice
- SimpleDominatorsFinder(int, DirectedGraph) - Constructor for class org.chocosolver.util.graphOperations.dominance.SimpleDominatorsFinder
-
Object that finds dominators of the given flow graph g(s)
It uses the simple LT algorithm which runs in O(m.log(n))
- simplify(ILogical, Model) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogicTreeToolBox
-
Detects tautologies and contradictions from t
- simplifySingleton(ILogical, Model) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogicTreeToolBox
-
Remove tautologies from l
- sin() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- sinh() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- size() - Method in interface org.chocosolver.memory.IStateBitSet
-
Size of the bitset
- size - Variable in class org.chocosolver.memory.IStateDoubleVector
-
A backtrackable search with the size of the vector.
- size() - Method in class org.chocosolver.memory.IStateDoubleVector
-
Deprecated.
- size - Variable in class org.chocosolver.memory.IStateIntVector
-
A backtrackable search with the size of the vector.
- size() - Method in class org.chocosolver.memory.IStateIntVector
-
Deprecated.
- size() - Method in class org.chocosolver.memory.structure.BasicIndexedBipartiteSet
-
- size() - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
-
Returns the number of bits of space actually in use by this
BitSet
to represent bit values.
- size() - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
Returns the number of bits of space actually in use by this
BitSet
to represent bit values.
- size() - Method in class org.chocosolver.memory.structure.S64BitSet
-
Returns the number of bits of space actually in use by this
BitSet
to represent bit values.
- size() - Method in class org.chocosolver.solver.search.strategy.decision.DecisionPath
-
Return the number of decision in this decision path.
- size() - Method in class org.chocosolver.solver.variables.delta.EnumDelta
-
- size() - Method in interface org.chocosolver.solver.variables.delta.IntDelta
-
Returns the number of element
- size() - Method in class org.chocosolver.solver.variables.delta.IntervalDelta
-
- size() - Method in enum org.chocosolver.solver.variables.delta.NoDelta
-
- size() - Method in class org.chocosolver.solver.variables.delta.OneValueDelta
-
- size() - Method in class org.chocosolver.util.objects.IntCircularQueue
-
- size() - Method in class org.chocosolver.util.objects.IntList
-
Returns the number of elements in this list.
- size() - Method in class org.chocosolver.util.objects.IntMap
-
Returns the number of elements in this map.
- size() - Method in class org.chocosolver.util.objects.queues.CircularQueue
-
Get the current number of elements
- size() - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_Std_BitSet
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_CstInterval
-
- size - Variable in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
-
- size() - Method in interface org.chocosolver.util.objects.setDataStructures.ISet
-
- SIZE - Variable in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.Set_ReadOnly
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.StdSet
-
- size - Variable in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap
-
- size - Variable in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
-
- size - Variable in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
-
- size() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
-
- size() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
- sizeApproximation() - Method in interface org.chocosolver.solver.variables.delta.IIntDeltaMonitor
-
- sizeApproximation() - Method in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
-
- sizeApproximation() - Method in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
-
- sizeApproximation() - Method in class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor
-
- sizeApproximation() - Method in class org.chocosolver.solver.variables.view.ViewDeltaMonitor
-
- slb - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- Smallest - Class in org.chocosolver.solver.search.strategy.selectors.variables
-
Smallest variable selector.
- Smallest() - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.Smallest
-
- Solution - Class in org.chocosolver.solver
-
Class which stores the value of each variable in a solution
- Solution(Model, Variable...) - Constructor for class org.chocosolver.solver.Solution
-
Create an empty solution object
able to store the value of each variable in varsToStore
when calling record()
Stores all variables by default, when varsToStore
is empty
- solutionCount - Variable in class org.chocosolver.solver.search.measure.Measures
-
Counts the number of solutions found so far.
- SolutionCounter - Class in org.chocosolver.solver.search.limits
-
Set a limit over the number of found solutions allowed during the search.
- SolutionCounter(Model, long) - Constructor for class org.chocosolver.solver.search.limits.SolutionCounter
-
- SolutionCounter(IMeasures, long) - Constructor for class org.chocosolver.solver.search.limits.SolutionCounter
-
- solutions - Variable in class org.chocosolver.solver.search.loop.move.MoveLNS
-
Number of solutions found so far
- solve() - Method in class org.chocosolver.solver.ParallelPortfolio
-
Run the solve() instruction of every model of the portfolio in parallel.
- solve() - Method in class org.chocosolver.solver.Solver
-
Executes the resolver as it is configured.
- Solver - Class in org.chocosolver.solver
-
This class is inspired from :
Inspired from "Unifying search algorithms for CSP" N.
- Solver(Model) - Constructor for class org.chocosolver.solver.Solver
-
Create a resolver based for the model aModel.
- Solver.Action - Enum in org.chocosolver.solver
-
Define the possible actions of SearchLoop
- SolverException - Exception in org.chocosolver.solver.exception
-
A specific RuntimeException
that can be thrown during the normal execution of the
problem resolution.
- SolverException(String) - Constructor for exception org.chocosolver.solver.exception.SolverException
-
Constructs a new solver exception with the specified detailed message.
- sort() - Method in class org.chocosolver.solver.constraints.extension.Tuples
-
- sort(IntVar[], IntVar[]) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a sort constraint which ensures that the variables of sortedVars correspond to the variables
of vars according to a permutation.
- sort - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- sort(T[], int, Comparator<T>) - Method in class org.chocosolver.util.sort.ArraySort
-
- sort(int[], int, IntComparator) - Method in class org.chocosolver.util.sort.ArraySort
-
- sort(Set<T>) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
- sortedidx - Variable in class org.chocosolver.solver.constraints.extension.nary.ValidityChecker
-
- sorter - Variable in class org.chocosolver.solver.constraints.extension.nary.ValidityChecker
-
- sorter - Variable in class org.chocosolver.solver.constraints.nary.sort.PropKeysorting
-
- sortPropagatorActivationWRTPriority() - Method in interface org.chocosolver.solver.Settings
-
Indicates if propagators can be sorted wrt their priority in
PropagationTrigger
when
dealing with propagator activation.
- sortvars() - Method in class org.chocosolver.solver.constraints.extension.nary.ValidityChecker
-
Sort the variable to speedup the check
- sourceIndex - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
- sourceIndex - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
-
- spfs - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Nodes
-
- spfs - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
-
- spfs - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- spfsI - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- spft - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Nodes
-
- spft - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
-
- spft - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- spftI - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- sqr() - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
-
- sqrt() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- square(IntVar, IntVar) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
-
Generate valid tuples for absolute constraint: VAR1 = VAR2^2
- square(IntVar, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a square constraint: var1 = var2^2
- standarddeviation(int...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- standarddeviation(long...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- standarddeviation(float...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- startStopwatch() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
-
Start the stopwatch, to compute resolution time
- state - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.Node
-
- state - Variable in class org.chocosolver.solver.search.measure.Measures
-
Search state
- StateNotInAutomatonException(int) - Constructor for exception org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton.StateNotInAutomatonException
-
- states - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Nodes
-
- states - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
-
- StatisticUtils - Class in org.chocosolver.util.tools
-
- StatisticUtils() - Constructor for class org.chocosolver.util.tools.StatisticUtils
-
- StdSet - Class in org.chocosolver.util.objects.setDataStructures
-
Generic backtrable set for trailing
- StdSet(Model, ISet) - Constructor for class org.chocosolver.util.objects.setDataStructures.StdSet
-
- stopStopwatch() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
-
Stop the stopwatch, the resolution time is fixed.
- StoredBool - Class in org.chocosolver.memory.trailing
-
A class implementing backtrackable boolean.
- StoredBool(EnvironmentTrailing, boolean) - Constructor for class org.chocosolver.memory.trailing.StoredBool
-
Constructs a stored search with an initial value.
- StoredBoolTrail - Class in org.chocosolver.memory.trailing.trail.flatten
-
- StoredBoolTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.flatten.StoredBoolTrail
-
Constructs a trail with predefined size.
- StoredDirectedMultiGraph - Class in org.chocosolver.solver.constraints.nary.automata.structure.multicostregular
-
Created by IntelliJ IDEA.
- StoredDirectedMultiGraph(IEnvironment, DirectedMultigraph<Node, Arc>, int[][], int[], int[], int, ICostAutomaton, IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
-
- StoredDirectedMultiGraph - Class in org.chocosolver.solver.constraints.nary.automata.structure.regular
-
Created by IntelliJ IDEA.
- StoredDirectedMultiGraph(IEnvironment, DirectedMultigraph<Node, Arc>, int[], int[], int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph
-
- StoredDirectedMultiGraph.Arcs - Class in org.chocosolver.solver.constraints.nary.automata.structure.multicostregular
-
- StoredDirectedMultiGraph.Nodes - Class in org.chocosolver.solver.constraints.nary.automata.structure.multicostregular
-
- StoredDouble - Class in org.chocosolver.memory.trailing
-
A class implementing backtrackable double.
- StoredDouble(EnvironmentTrailing, double) - Constructor for class org.chocosolver.memory.trailing.StoredDouble
-
Constructs a stored search with an initial value.
- StoredDoubleTrail - Class in org.chocosolver.memory.trailing.trail.flatten
-
- StoredDoubleTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.flatten.StoredDoubleTrail
-
Constructs a trail with predefined size.
- StoredDoubleVector - Class in org.chocosolver.memory.trailing
-
Implements a backtrackable search vector.
- StoredDoubleVector(EnvironmentTrailing, int, double) - Constructor for class org.chocosolver.memory.trailing.StoredDoubleVector
-
Constructs a stored search vector with an initial size, and initial values.
- StoredDoubleVector(EnvironmentTrailing, double[]) - Constructor for class org.chocosolver.memory.trailing.StoredDoubleVector
-
Deprecated.
- StoredDoubleVectorTrail - Class in org.chocosolver.memory.trailing.trail
-
Implements a trail with the history of all the stored search vectors.
- StoredDoubleVectorTrail(EnvironmentTrailing, int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.StoredDoubleVectorTrail
-
Constructs a trail for the specified environment with the
specified numbers of updates and worlds.
- storeDecisionExplanation(Decision, Explanation) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
-
Store a decision refutation, for future reasoning.
- storeDecisionExplanation(Decision, Explanation) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
-
Store a decision refutation, for future reasoning.
- storeDecisionRefutation(Decision, Explanation) - Method in class org.chocosolver.solver.explanations.RuleStore
-
Store a decision refutation, for future reasoning.
- StoredIndexedBipartiteSet - Class in org.chocosolver.util.objects
-
A stored list dedicated to positive integers and three operations :
- iteration
- removal of an element
- check if an element is or not within the list
It only requires a StoredInt to denote the first element of the list
and proceeds by swapping element with the first one to remove them and incrementing
the index of the first element.
- StoredIndexedBipartiteSet(IEnvironment, int[]) - Constructor for class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
- StoredIndexedBipartiteSet.BipartiteSetIterator - Class in org.chocosolver.util.objects
-
- StoredIndexedBipartiteSetWithOffset - Class in org.chocosolver.util.objects
-
Created by IntelliJ IDEA.
- StoredIndexedBipartiteSetWithOffset(IEnvironment, int[]) - Constructor for class org.chocosolver.util.objects.StoredIndexedBipartiteSetWithOffset
-
- StoredInt - Class in org.chocosolver.memory.trailing
-
A class implementing backtrackable int.
- StoredInt(EnvironmentTrailing, int) - Constructor for class org.chocosolver.memory.trailing.StoredInt
-
Constructs a stored search with an initial value.
- StoredIntTrail - Class in org.chocosolver.memory.trailing.trail.flatten
-
- StoredIntTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.flatten.StoredIntTrail
-
Constructs a trail with predefined size.
- StoredIntVector - Class in org.chocosolver.memory.trailing
-
Implements a backtrackable search vector.
- StoredIntVector(EnvironmentTrailing, int, int) - Constructor for class org.chocosolver.memory.trailing.StoredIntVector
-
Constructs a stored search vector with an initial size, and initial values.
- StoredIntVector(EnvironmentTrailing, int[]) - Constructor for class org.chocosolver.memory.trailing.StoredIntVector
-
Deprecated.
- StoredIntVectorTrail - Class in org.chocosolver.memory.trailing.trail
-
Implements a trail with the history of all the stored search vectors.
- StoredIntVectorTrail(EnvironmentTrailing, int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.StoredIntVectorTrail
-
Constructs a trail for the specified environment with the
specified numbers of updates and worlds.
- StoredLong - Class in org.chocosolver.memory.trailing
-
A class implementing backtrackable long.
- StoredLong(EnvironmentTrailing, long) - Constructor for class org.chocosolver.memory.trailing.StoredLong
-
Constructs a stored search with an initial value.
- StoredLongTrail - Class in org.chocosolver.memory.trailing.trail.flatten
-
- StoredLongTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail
-
Constructs a trail with predefined size.
- StoredSparseSet - Class in org.chocosolver.util.objects
-
Implementation based on "Maintaining GAC on adhoc r-ary constraints", Cheng and Yap, CP12.
- StoredSparseSet(IEnvironment) - Constructor for class org.chocosolver.util.objects.StoredSparseSet
-
- StoredValuedDirectedMultiGraph - Class in org.chocosolver.solver.constraints.nary.automata.structure.costregular
-
Created by IntelliJ IDEA.
- StoredValuedDirectedMultiGraph(IEnvironment, DirectedMultigraph<Node, Arc>, int[][], int[], int[], int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
- StoredValuedDirectedMultiGraph.Arcs - Class in org.chocosolver.solver.constraints.nary.automata.structure.costregular
-
- StoredValuedDirectedMultiGraph.Nodes - Class in org.chocosolver.solver.constraints.nary.automata.structure.costregular
-
- StrategiesSequencer - Class in org.chocosolver.solver.search.strategy.strategy
-
A StrategiesSequencer
is class for AbstractStrategy
composition.
- StrategiesSequencer(IEnvironment, AbstractStrategy...) - Constructor for class org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer
-
- StrategiesSequencer(AbstractStrategy...) - Constructor for class org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer
-
- strategy - Variable in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
-
Search strategy to extend the search tree
- streamOptimalSolutions(IntVar, boolean, Criterion...) - Method in interface org.chocosolver.solver.search.IResolutionHelper
-
Attempt to find the solution that optimizes the mono-objective problem defined by a unique objective variable and
an optimization criteria, then finds and stores all optimal solution.
- streamSolutions(Criterion...) - Method in interface org.chocosolver.solver.search.IResolutionHelper
-
Attempts to find all solutions of the declared problem.
- StringUtils - Class in org.chocosolver.util.tools
-
- StrongConnectivityFinder - Class in org.chocosolver.util.graphOperations.connectivity
-
- StrongConnectivityFinder(DirectedGraph) - Constructor for class org.chocosolver.util.graphOperations.connectivity.StrongConnectivityFinder
-
- sub - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- sub(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- sub(CArExpression) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- sub(int) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
-
- sub(ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
-
- subCircuit(IntVar[], int, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a subCircuit constraint which ensures that
the elements of vars define a single circuit of subcircuitSize nodes where
vars[i] = offset+j means that j is the successor of i.
- subPath(IntVar[], IntVar, IntVar, int, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a subPath constraint which ensures that
the elements of vars define a path of SIZE vertices, leading from start to end
where vars[i] = offset+j means that j is the successor of i.
- subscribeView(IView) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
-
- subscribeView(IView) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- subscribeView(IView) - Method in interface org.chocosolver.solver.variables.Variable
-
Attaches a view to this variable.
- subsetEq(SetVar...) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint establishing that
sets[i] is a subset of
sets[j] if i
- succs - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- sum(IntVar[], String, IntVar, int) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
-
Generate valid tuples for ∑i in |VARS|VARSi OPERATOR SUM + CSTE
with OPERATOR in {"=", "!
- sum(IntVar[], String, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a sum constraint.
- sum(IntVar[], String, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a sum constraint.
- sum(BoolVar[], String, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a sum constraint.
- sum(BoolVar[], String, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a sum constraint.
- sum(SetVar, IntVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint summing elements of set
sum{i | i in set} = sum
- sum - Variable in class org.chocosolver.solver.constraints.nary.sum.PropSumBool
-
The resulting variable
- sum(int[], int, int) - Static method in class org.chocosolver.util.tools.MathUtils
-
Returns the sum of elements in values from position begin (inclusive) to position end (exclusive).
- sum(int[]) - Static method in class org.chocosolver.util.tools.MathUtils
-
Returns the sum of elements in values.
- sum(int[][]) - Static method in class org.chocosolver.util.tools.MathUtils
-
Retuns the sum of elements in values.
- sum(int...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- sum(long...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- sum(float...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- sum(double...) - Static method in class org.chocosolver.util.tools.StatisticUtils
-
- SumConstraint - Class in org.chocosolver.solver.constraints.nary.sum
-
Project: choco-solver.
- SumConstraint(String, Propagator) - Constructor for class org.chocosolver.solver.constraints.nary.sum.SumConstraint
-
Make a new constraint defined as a set of given propagators
- sumElements(SetVar, int[], IntVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint summing weights given by a set of indices:
sum{weights[i] | i in indices} = sum
Also ensures that elements in indices belong to [0, weights.length-1]
- sumElements(SetVar, int[], int, IntVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint summing weights given by a set of indices:
sum{weights[i-offset] | i in indices} = sum
Also ensures that elements in indices belong to [offset, offset+weights.length-1]
- sumFrom(int[], int) - Static method in class org.chocosolver.util.tools.MathUtils
-
Returns the sum of elements in values from position begin (inclusive) to values.length.
- sumLB - Variable in class org.chocosolver.solver.constraints.nary.sum.PropSum
-
SUm of lower bounds
- sumTo(int[], int) - Static method in class org.chocosolver.util.tools.MathUtils
-
Returns the sum of elements in values from position 0 (inclusive) to position end (exclusive).
- sumUB - Variable in class org.chocosolver.solver.constraints.nary.sum.PropSum
-
Sum of upper bounds
- swallowCopy(int[][][][]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Duplicates arr and returns the new copy
- swallowCopy(int[][][]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Duplicates arr and returns the new copy
- swap(int) - Method in class org.chocosolver.memory.structure.BasicIndexedBipartiteSet
-
- swapOnPassivate() - Method in interface org.chocosolver.solver.Settings
-
- sweep(IntVar, IntVar[], int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.HeightCumulFilter
-
- sweep(IntVar, IntVar[], int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- sweep(IntVar, IntVar[], int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepHeiSortCumulFilter
-
- SweepCumulFilter - Class in org.chocosolver.solver.constraints.nary.cumulative
-
Basic implementation of Sweep-based Time-Table for cumulative
- SweepCumulFilter(int, Propagator<IntVar>) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- SweepCumulFilter.Event - Class in org.chocosolver.solver.constraints.nary.cumulative
-
- SweepHeiSortCumulFilter - Class in org.chocosolver.solver.constraints.nary.cumulative
-
Alternative implementation of Sweep-based Time-Table for cumulative
The set of variables to be pruned is sorted by decreasing heights, not time
- SweepHeiSortCumulFilter(int, Propagator<IntVar>) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.SweepHeiSortCumulFilter
-
- symmetric(SetVar...) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint stating that sets are symmetric sets:
x in sets[y] <=> y in sets[x]
- symmetric(SetVar[], int) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint stating that sets are symmetric sets:
x in sets[y-offset] <=> y in sets[x-offset]
- synchronize() - Method in class org.chocosolver.solver.search.strategy.decision.DecisionPath
-
Synchronizes the decision path after a backtrack.
T
- T - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- table(IntVar, IntVar, Tuples) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Create a table constraint over a couple of variables var1 and var2
Uses AC3rm algorithm by default
- table(IntVar, IntVar, Tuples, String) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a table constraint over a couple of variables var1 and var2:
- AC2001: table constraint which applies the AC2001 algorithm,
- AC3: table constraint which applies the AC3 algorithm,
- AC3rm: table constraint which applies the AC3 rm algorithm,
- AC3bit+rm (default): table constraint which applies the AC3 bit+rm algorithm,
- FC: table constraint which applies forward checking algorithm.
- table(IntVar[], Tuples) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a table constraint specifying that the sequence of variables vars must belong to the list of tuples
(or must NOT belong in case of infeasible tuples)
Default configuration with GACSTR+ algorithm for feasible tuples and GAC3rm otherwise
- table(IntVar[], Tuples, String) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a table constraint, with the specified algorithm defined algo
- CT+: Compact-Table algorithm (AC),
- GAC2001: Arc Consistency version 2001 for tuples,
- GAC2001+: Arc Consistency version 2001 for allowed tuples,
- GAC3rm: Arc Consistency version AC3 rm for tuples,
- GAC3rm+ (default): Arc Consistency version 3rm for allowed tuples,
- GACSTR+: Arc Consistency version STR for allowed tuples,
- STR2+: Arc Consistency version STR2 for allowed tuples,
- FC: Forward Checking.
- tan() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- tanh() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
-
- Task - Class in org.chocosolver.solver.variables
-
Container representing a task:
It ensures that: start + duration = end
- Task(IntVar, IntVar, IntVar) - Constructor for class org.chocosolver.solver.variables.Task
-
Container representing a task:
It ensures that: start + duration = end
- TASK_SET_HOOK_NAME - Static variable in class org.chocosolver.solver.Model
-
Name of internal hook dedicated to store declared
Task
.
- tasksToUSe - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- taskVar(IntVar, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a task variable, based on a starting time s and a processing time p
such that: s + p = e, where e is the ending time.
- taskVar(IntVar, IntVar) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a task variable, based on a starting time s and a processing time p
such that: s + p = e, where e is the ending time.
- taskVar(IntVar, IntVar, IntVar) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a task variable, made of a starting time s,
a processing time p and an ending time e such that: s + p = e.
- taskVarArray(IntVar[], IntVar[], IntVar[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates an array of s.length task variables,
where task i is made of a starting time s_i,
a processing time p_i and an ending time e_i such that: s_i + p_i = e_i.
- taskVarMatrix(IntVar[][], IntVar[][], IntVar[][]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Creates a matrix of s.length * s_0.length task variables,
where task i,j is made of a starting time s_(i,j),
a processing time p_(i,j) and an ending time e_(i,j) such that:
s_(i,j) + p_(i,j) = e_(i,j).
- TCOMP - Static variable in class org.chocosolver.solver.constraints.extension.nary.TuplesList
-
- temp - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- temporaryCost - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Arcs
-
- TERMINAL - Static variable in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
-
The terminal node.
- TernaryIntProcedure<A,B,C> - Interface in org.chocosolver.util.procedure
-
- TernaryProcedure<E,A,B,C> - Interface in org.chocosolver.util.procedure
-
- throwsException(ICause, Variable, String) - Method in class org.chocosolver.solver.Solver
-
- timeCount - Variable in class org.chocosolver.solver.search.measure.Measures
-
Counts the time spent so far, starting from solver construction call.
- TimeCounter - Class in org.chocosolver.solver.search.limits
-
A limit over run time.
- TimeCounter(Model, long) - Constructor for class org.chocosolver.solver.search.limits.TimeCounter
-
- TimeCounter(IMeasures, long) - Constructor for class org.chocosolver.solver.search.limits.TimeCounter
-
- TimeCumulFilter - Class in org.chocosolver.solver.constraints.nary.cumulative
-
Time-based filtering (compute the profile over every point in time)
- TimeCumulFilter(int, Propagator<IntVar>) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.TimeCumulFilter
-
- times(IntVar, IntVar, IntVar) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
-
Generate valid tuples for times constraint: VAR1 * VAR2 = RESULT
- times(IntVar, int, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a multiplication constraint: X * Y = Z
- times(IntVar, IntVar, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a multiplication constraint: X * Y = Z
- times(IntVar, IntVar, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a multiplication constraint: X * Y = Z
- times(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
multiply by x to all integers stored in this set
- timestamp - Variable in class org.chocosolver.memory.AbstractEnvironment
-
- timeStamp - Variable in class org.chocosolver.memory.IStateBool
-
- timeStamp - Variable in class org.chocosolver.memory.IStateDouble
-
- timeStamp - Variable in class org.chocosolver.memory.IStateInt
-
- timeStamp - Variable in class org.chocosolver.memory.IStateLong
-
- TimeStampedObject - Class in org.chocosolver.solver.search.loop
-
Class for factorizing code of time stamped objects
- TimeStampedObject(IEnvironment) - Constructor for class org.chocosolver.solver.search.loop.TimeStampedObject
-
- TimeUtils - Class in org.chocosolver.util.tools
-
- tinIndex - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
-
- tinkIndex - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
- toArray() - Method in interface org.chocosolver.solver.search.measure.IMeasures
-
- toArray() - Method in class org.chocosolver.util.objects.IntList
-
Returns an array containing all of the elements in this list
in proper sequence (from first to last element).
- toArray() - Method in interface org.chocosolver.util.objects.setDataStructures.ISet
-
Copies the set in an array if integers
- toArray(Class, List<T>) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Returns an array composed of elements from list.
- toArray(T...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Creates an array from vargs elt.
- toArray(ArrayList<T>) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Creates an array from elements in list.
- toBoolVar(IntVar...) - Method in interface org.chocosolver.solver.variables.IVariableFactory
-
Converts ivars into an array of boolean variables
- toCharExp(String) - Static method in class org.chocosolver.util.tools.StringUtils
-
Convert a regexp formed with integer charachter into a char formed regexp
for instance, "12%12%" which stands for 1 followed by 2 followed by 12 would be misinterpreted by regular
regular expression parser.
- toCheck - Variable in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst
-
- toCNF(LogOp, Model) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogicTreeToolBox
-
Warning: if there is a bug, please check the CNF build is like:
- lit OR lit ...
- toCSV() - Method in interface org.chocosolver.solver.search.measure.IMeasures
-
- toDimacsString() - Method in interface org.chocosolver.solver.search.measure.IMeasures
-
- toDot() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- toDotty(String) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- toIntVar(Model, int...) - Static method in class org.chocosolver.util.tools.VariableUtils
-
Transform an array of int to an array of fixed IntVar
- toList(T[]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Returns a list composed of elements from array.
- toMatrix() - Method in class org.chocosolver.solver.constraints.extension.Tuples
-
- toMultiLineString() - Method in interface org.chocosolver.solver.search.measure.IMeasures
-
- toOneLineString() - Method in interface org.chocosolver.solver.search.measure.IMeasures
-
- topDecisionPosition - Variable in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
-
Index, in the decision path, of the decision taken just before selecting this move.
- topDownInit() - Method in class org.chocosolver.util.iterators.DisposableRangeBoundIterator
-
- topDownInit() - Method in class org.chocosolver.util.iterators.DisposableRangeIterator
-
- topDownInit() - Method in class org.chocosolver.util.iterators.DisposableValueBoundIterator
-
- topDownInit() - Method in class org.chocosolver.util.iterators.DisposableValueIterator
-
- topDownInit() - Method in interface org.chocosolver.util.iterators.RangeIterator
-
- topDownInit() - Method in interface org.chocosolver.util.iterators.ValueIterator
-
- toString() - Method in class org.chocosolver.memory.IStateBool
-
- toString() - Method in class org.chocosolver.memory.IStateDouble
-
- toString() - Method in class org.chocosolver.memory.IStateInt
-
- toString() - Method in class org.chocosolver.memory.IStateLong
-
- toString() - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
-
- toString() - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
- toString() - Method in class org.chocosolver.memory.structure.S64BitSet
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.element.PropElement
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropAbsolute
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_Y
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_YC
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropEqualXY_C
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_Y
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_YC
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualXY_C
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropLessOrEqualXY_C
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualX_Y
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualX_YC
-
- toString() - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- toString() - Method in class org.chocosolver.solver.constraints.Constraint
-
- toString() - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC2001
-
- toString() - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeCSP
-
- toString() - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeFC
-
- toString() - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001Positive
-
- toString() - Method in class org.chocosolver.solver.constraints.extension.nary.PropTableStr2
-
- toString() - Method in class org.chocosolver.solver.constraints.extension.Tuples
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.among.PropAmongGAC
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.automata.PropRegular
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelAC
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelBC
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.circuit.PropNoSubtour
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.cnf.PropFalse
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.cnf.PropTrue
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.count.PropCount_AC
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.count.PropCountVar
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.globalcardinality.PropFastGCC
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.lex.PropLex
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.lex.PropLexInt
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.min_max.PropBoolMax
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.min_max.PropBoolMin
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.min_max.PropMax
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.min_max.PropMin
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.PropDiffN
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.sum.PropScalar
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBool
-
- toString() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBool
-
- toString() - Method in enum org.chocosolver.solver.constraints.Operator
-
- toString() - Method in class org.chocosolver.solver.constraints.Propagator
-
- toString() - Method in class org.chocosolver.solver.constraints.real.RealPropagator
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropLocalConDis
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXeqCReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXeqYReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXgtCReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXinSReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXltCReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXltYCReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXltYReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXneCReif
-
- toString() - Method in class org.chocosolver.solver.constraints.reification.PropXneYReif
-
- toString() - Method in class org.chocosolver.solver.constraints.ReificationConstraint
-
- toString() - Method in class org.chocosolver.solver.constraints.ternary.PropDistanceXYZ
-
- toString() - Method in class org.chocosolver.solver.constraints.ternary.PropMaxBC
-
- toString() - Method in class org.chocosolver.solver.constraints.ternary.PropMinBC
-
- toString() - Method in class org.chocosolver.solver.constraints.unary.PropEqualXC
-
- toString() - Method in class org.chocosolver.solver.constraints.unary.PropGreaterOrEqualXC
-
- toString() - Method in class org.chocosolver.solver.constraints.unary.PropLessOrEqualXC
-
- toString() - Method in class org.chocosolver.solver.constraints.unary.PropMemberBound
-
- toString() - Method in class org.chocosolver.solver.constraints.unary.PropMemberEnum
-
- toString() - Method in class org.chocosolver.solver.constraints.unary.PropNotEqualXC
-
- toString() - Method in class org.chocosolver.solver.constraints.unary.PropNotMemberBound
-
- toString() - Method in class org.chocosolver.solver.constraints.unary.PropNotMemberEnum
-
- toString() - Method in exception org.chocosolver.solver.exception.ContradictionException
- toString() - Method in class org.chocosolver.solver.explanations.Explanation
-
- toString() - Method in class org.chocosolver.solver.expression.continuous.arithmetic.BiCArExpression
-
- toString() - Method in class org.chocosolver.solver.expression.continuous.arithmetic.UnCArExpression
-
- toString() - Method in class org.chocosolver.solver.expression.continuous.relational.BiCReExpression
-
- toString() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.BiArExpression
-
- toString() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression
-
- toString() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.UnArExpression
-
- toString() - Method in class org.chocosolver.solver.expression.discrete.logical.BiLoExpression
-
- toString() - Method in class org.chocosolver.solver.expression.discrete.logical.NaLoExpression
-
- toString() - Method in class org.chocosolver.solver.expression.discrete.logical.UnLoExpression
-
- toString() - Method in class org.chocosolver.solver.expression.discrete.relational.BiReExpression
-
- toString() - Method in class org.chocosolver.solver.expression.discrete.relational.NaReExpression
-
- toString() - Method in class org.chocosolver.solver.Model
-
Return a string describing the CSP defined in this
model.
- toString() - Method in class org.chocosolver.solver.search.measure.Measures
-
- toString() - Method in interface org.chocosolver.solver.search.strategy.assignments.DecisionOperator
-
- toString() - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
-
- toString() - Method in class org.chocosolver.solver.search.strategy.decision.RealDecision
-
- toString() - Method in class org.chocosolver.solver.search.strategy.decision.RootDecision
-
- toString() - Method in class org.chocosolver.solver.search.strategy.decision.SetDecision
-
- toString() - Method in class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy
-
Creates a String
object containing a pretty print of the current variables.
- toString() - Method in class org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer
-
Creates a String
object containing a pretty print of the current variables.
- toString() - Method in class org.chocosolver.solver.Solution
-
- toString() - Method in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
-
- toString() - Method in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
-
- toString() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
-
- toString() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
- toString() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
- toString() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- toString() - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
-
- toString() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- toString() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
- toString() - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
-
- toString() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
-
- toString() - Method in class org.chocosolver.solver.variables.Task
-
- toString() - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- toString() - Method in class org.chocosolver.solver.variables.view.MinusView
-
- toString() - Method in class org.chocosolver.solver.variables.view.OffsetView
-
- toString() - Method in class org.chocosolver.solver.variables.view.RealView
-
- toString() - Method in class org.chocosolver.solver.variables.view.ScaleView
-
- toString() - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
-
- toString() - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
-
- toString() - Method in class org.chocosolver.util.objects.PriorityQueue
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_Std_BitSet
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_CstInterval
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.Set_ReadOnly
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.StdSet
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
-
- toString() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
-
- toUpdateLeft - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
- toUpdateRight - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
- tprune - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
-
- transferInto(Collection<Decision>, boolean) - Method in class org.chocosolver.solver.search.strategy.decision.DecisionPath
-
Add all decisions of this decision path into a list of decision
- transform(int) - Method in class org.chocosolver.solver.variables.view.ViewDeltaMonitor
-
- transformEvent(IEventType) - Method in interface org.chocosolver.solver.variables.IntVar
-
- transformEvent(IEventType) - Method in class org.chocosolver.solver.variables.view.IntView
-
- transformEvent(IEventType) - Method in class org.chocosolver.solver.variables.view.MinusView
-
- transformEvent(IntEventType) - Method in class org.chocosolver.solver.variables.view.RealView
-
- transformValue(int) - Method in interface org.chocosolver.solver.variables.IntVar
-
- transformValue(int) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- transformValue(int) - Method in class org.chocosolver.solver.variables.view.MinusView
-
- transformValue(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
-
- transformValue(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
-
- transpose(T[][]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Transposes a matrix M[n][m] in a matrix MT[m][n] such that MT[i][j] = M[j][i]
- transpose(int[][]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Transposes a matrix M[n][m] in a matrix MT[m][n] such that MT[i][j] = M[j][i]
- tree(IntVar[], IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a tree constraint.
- tree(IntVar[], IntVar, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
-
Creates a tree constraint.
- triesLeft() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
-
Return the number of branches left to try
- Triple(int, int, int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton.Triple
-
- TRUE - Static variable in interface org.chocosolver.solver.constraints.extension.TupleValidator
-
- TRUE - Static variable in interface org.chocosolver.solver.constraints.nary.alldifferent.conditions.Condition
-
True condition, always satisfied
- TRUE - Static variable in class org.chocosolver.solver.constraints.real.Ibex
-
- trueConstraint() - Method in class org.chocosolver.solver.Model
-
The basic "true" constraint, which is always satisfied
- Tuples - Class in org.chocosolver.solver.constraints.extension
-
A unique interface to declare tuples for table constraints.
- Tuples(int[][], boolean) - Constructor for class org.chocosolver.solver.constraints.extension.Tuples
-
Create a list of tuples which represents all allowed tuples if feasible=true
or a set of forbidden tuples if feasible=false
- Tuples(boolean) - Constructor for class org.chocosolver.solver.constraints.extension.Tuples
-
Create a list of tuples which represents all allowed tuples if feasible=true
or a set of forbidden tuples if feasible=false
- Tuples() - Constructor for class org.chocosolver.solver.constraints.extension.Tuples
-
Create a list of tuples which represents all allowed tuples, i.e. other tuples are forbidden
- tuples - Variable in class org.chocosolver.solver.constraints.extension.Tuples
-
- TuplesFactory - Class in org.chocosolver.solver.constraints.extension
-
A Factory to ease generation of tuples.
- tuplesIndexes - Variable in class org.chocosolver.solver.constraints.extension.nary.TuplesList
-
- TuplesLargeTable - Class in org.chocosolver.solver.constraints.extension.nary
-
- TuplesLargeTable(Tuples, IntVar[]) - Constructor for class org.chocosolver.solver.constraints.extension.nary.TuplesLargeTable
-
- TuplesList - Class in org.chocosolver.solver.constraints.extension.nary
-
A simple way of storing the tuples as a list.
- TuplesList(Tuples, IntVar[]) - Constructor for class org.chocosolver.solver.constraints.extension.nary.TuplesList
-
- TuplesTable - Class in org.chocosolver.solver.constraints.extension.nary
-
- TuplesTable(Tuples, IntVar[]) - Constructor for class org.chocosolver.solver.constraints.extension.nary.TuplesTable
-
- TuplesVeryLargeTable - Class in org.chocosolver.solver.constraints.extension.nary
-
A LargeRelation for cases where domain are too big to be stored in a single array.
- TuplesVeryLargeTable(Tuples, IntVar[]) - Constructor for class org.chocosolver.solver.constraints.extension.nary.TuplesVeryLargeTable
-
- TupleValidator - Interface in org.chocosolver.solver.constraints.extension
-
An interface to implement to filter valid tuples automatically generated through TuplesFactory
- TwoBucketPropagationEngine - Class in org.chocosolver.solver.propagation.hardcoded
-
This engine handles two sets of queues.
- TwoBucketPropagationEngine(Model) - Constructor for class org.chocosolver.solver.propagation.hardcoded.TwoBucketPropagationEngine
-
Creates a two-bucket propagation engine.
- type - Variable in class org.chocosolver.solver.constraints.nary.cnf.LogOp
-
- type - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter.Event
-
- TYPE - Static variable in interface org.chocosolver.solver.variables.Variable
-
Mask to get the type of a variable.
U
- U0 - Static variable in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
Constant coefficient of the lagrangian relaxation
- UB - Static variable in class org.chocosolver.solver.explanations.RuleStore
-
Mask for integer variable upper bound modification
- UB - Static variable in interface org.chocosolver.solver.variables.delta.ISetDelta
-
- ub - Variable in class org.chocosolver.solver.variables.impl.SetVarImpl
-
- ubReadOnly - Variable in class org.chocosolver.solver.variables.impl.SetVarImpl
-
- unapply(V, int, ICause) - Method in interface org.chocosolver.solver.search.strategy.assignments.DecisionOperator
-
- UnArExpression - Class in org.chocosolver.solver.expression.discrete.arithmetic
-
Unary arithmetic expression
Project: choco-solver.
- UnArExpression(ArExpression.Operator, ArExpression) - Constructor for class org.chocosolver.solver.expression.discrete.arithmetic.UnArExpression
-
Builds a unary expression
- UnaryIntProcedure<A> - Interface in org.chocosolver.util.procedure
-
- UnaryProcedure<E,A> - Interface in org.chocosolver.util.procedure
-
- UnarySafeIntProcedure<A> - Interface in org.chocosolver.util.procedure
-
- unassociates(Variable) - Method in class org.chocosolver.solver.Model
-
Unlink the variable from this
.
- UnCArExpression - Class in org.chocosolver.solver.expression.continuous.arithmetic
-
Unary arithmetic continuous expression
Project: choco-solver.
- UnCArExpression(CArExpression.Operator, CArExpression) - Constructor for class org.chocosolver.solver.expression.continuous.arithmetic.UnCArExpression
-
Builds a unary expression
- UndirectedGraph - Class in org.chocosolver.util.objects.graphs
-
Specific implementation of an undirected graph
- UndirectedGraph(Model, int, SetType, boolean) - Constructor for class org.chocosolver.util.objects.graphs.UndirectedGraph
-
Creates an empty backtrable undirected graph.
- UndirectedGraph(int, SetType, boolean) - Constructor for class org.chocosolver.util.objects.graphs.UndirectedGraph
-
Creates an empty (non-backtrackable) undirected graph.
- undo() - Method in interface org.chocosolver.memory.structure.IOperation
-
Method called by the environment upon backtracking, to undo this operation
- undo() - Method in class org.chocosolver.solver.explanations.ExplanationEngine
-
Undo the last operation done
- undo() - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
-
Undo the last operation done
- unfreeze() - Method in interface org.chocosolver.solver.variables.delta.IDeltaMonitor
-
- unfreeze() - Method in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
-
- unfreeze() - Method in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
-
- unfreeze() - Method in class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor
-
- unfreeze() - Method in class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
-
- unfreeze() - Method in class org.chocosolver.solver.variables.view.ViewDeltaMonitor
-
- union(IntVar[], SetVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint ensuring that union is exactly the union of values taken by ints,
- union(SetVar[], SetVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
-
Creates a constraint which ensures that the union of sets is equal to unionSet
- union(FiniteAutomaton) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- union(IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
-
- union(IntIterableRangeSet, IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
-
Set setr to set1 ∪ set2
- union(IntIterableRangeSet, IntVar) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
-
Put all value of var into set.
- unionOf(IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
-
Set set1 to set1 ∩ set2
- UNKNOWN_POINT - Static variable in class org.chocosolver.solver.constraints.real.Ibex
-
- unlink(Propagator, int) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
-
- unlink(Propagator, int) - Method in interface org.chocosolver.solver.variables.Variable
-
Remove a propagator from the list of propagator of this
.
- unlinkVariables() - Method in class org.chocosolver.solver.constraints.Propagator
-
Destroy links between this propagator and its variables.
- UnLoExpression - Class in org.chocosolver.solver.expression.discrete.logical
-
Binary arithmetic expression
Project: choco-solver.
- UnLoExpression(LoExpression.Operator, ReExpression) - Constructor for class org.chocosolver.solver.expression.discrete.logical.UnLoExpression
-
Builds a n-ary expression
- unplugAllSearchMonitors() - Method in class org.chocosolver.solver.Solver
-
Empties the list of search monitors.
- unplugMonitor(ISearchMonitor) - Method in class org.chocosolver.solver.Solver
-
Removes a search monitors from the ones to plug when the search will start.
- unpost(Constraint...) - Method in class org.chocosolver.solver.Model
-
Remove permanently the constraint c
from the constraint network.
- unrelated - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
-
- update() - Method in class org.chocosolver.solver.constraints.nary.nValue.amnv.graph.G
-
Updates the graph
- update(int) - Method in class org.chocosolver.solver.constraints.nary.nValue.amnv.graph.G
-
- update() - Method in class org.chocosolver.solver.constraints.nary.nValue.amnv.graph.Gi
-
- update(int) - Method in class org.chocosolver.solver.constraints.nary.nValue.amnv.graph.Gi
-
- update(int, ArrayEventStore, Explanation) - Method in class org.chocosolver.solver.explanations.RuleStore
-
Update the rule store, and the explanation, wrt a given event
- update() - Method in class org.chocosolver.solver.search.limits.ACounter
-
- update() - Method in interface org.chocosolver.solver.search.limits.ICounter
-
- update(DecisionPath) - Method in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
-
Create the fragment
- update(DecisionPath) - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ReversePropagationGuidedNeighborhood
-
- updateBestBounds(IBoundsManager) - Method in interface org.chocosolver.solver.objective.IBoundsManager
-
States that b is global bounds on the problem
- updateBestLB(Number) - Method in interface org.chocosolver.solver.objective.IBoundsManager
-
States that lb is a global lower bound on the problem
- updateBestSolution(Number) - Method in interface org.chocosolver.solver.objective.IObjectiveManager
-
Informs the manager that a new solution has been found
- updateBestSolution() - Method in interface org.chocosolver.solver.objective.IObjectiveManager
-
Informs the manager that a new solution has been found
- updateBestUB(Number) - Method in interface org.chocosolver.solver.objective.IBoundsManager
-
States that ub is a global upper bound on the problem
- updateBounds(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
- updateBounds(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
- updateBounds(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- updateBounds(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- updateBounds(double, double, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
-
- updateBounds(int, int, ICause) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
- updateBounds(double, double, ICause) - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
-
- updateBounds(int, int, ICause) - Method in interface org.chocosolver.solver.variables.IntVar
-
Updates the lower bound and the upper bound of the domain of this
to, resp.
- updateBounds(double, double, ICause) - Method in interface org.chocosolver.solver.variables.RealVar
-
Updates the bounds of the domain of this
to value
.
- updateBounds(int, int, ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- updateBounds(int, int, ICause) - Method in class org.chocosolver.solver.variables.view.IntView
-
- updateBounds(int, int, ICause) - Method in class org.chocosolver.solver.variables.view.MinusView
-
- updateBounds(double, double, ICause) - Method in class org.chocosolver.solver.variables.view.RealView
-
- updateHoleinX(int) - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- updateHoleinY(int) - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- updateHolesinX() - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- updateHolesinY() - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- updateIntVector(int[]) - Method in class org.chocosolver.solver.constraints.nary.lex.PropLexInt
-
update this propagator with a new int vector newY
- updateInvolvedVariables(Propagator) - Method in class org.chocosolver.solver.propagation.hardcoded.SevenQueuesPropagatorEngine
-
- updateInvolvedVariables(Propagator) - Method in class org.chocosolver.solver.propagation.hardcoded.TwoBucketPropagationEngine
-
- updateInvolvedVariables(Propagator) - Method in interface org.chocosolver.solver.propagation.IPropagationEngine
-
Update the scope of variable of a propagator (addition or deletion are allowed -- p.vars are scanned)
- updateLeft(int, TIntStack, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
- updateLeft(TIntStack, TIntStack, int, boolean[], Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
-
- updateLowerBound() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
Performs a lagrangian relaxation to compute a new Lower bound of the underlying RCSPP problem
Each built subproblem is a shortest path one can use to perform cost based filtering
- updateLowerBound(IntVar, int, int, ICause) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
-
Explain the removal of [old
,value
[ from var
, due to cause
.
- updateLowerBound(IntVar, int, int, ICause) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
-
Explain the removal of [old
,value
[ from var
, due to cause
.
- updateLowerBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
Updates the lower bound of the domain of this
to value
.
- updateLowerBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
Updates the lower bound of the domain of this
to value
.
- updateLowerBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
Updates the lower bound of the domain of this
to value
.
- updateLowerBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- updateLowerBound(double, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
-
- updateLowerBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
Updates the lower bound of the domain of this
to value
.
- updateLowerBound(double, ICause) - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
-
- updateLowerBound(int, ICause) - Method in interface org.chocosolver.solver.variables.IntVar
-
Updates the lower bound of the domain of this
to value
.
- updateLowerBound(double, ICause) - Method in interface org.chocosolver.solver.variables.RealVar
-
Updates the lower bound of the domain of this
to value
.
- updateLowerBound(int, ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- updateLowerBound(int, ICause) - Method in class org.chocosolver.solver.variables.view.IntView
-
- updateLowerBound(double, ICause) - Method in class org.chocosolver.solver.variables.view.RealView
-
- updateLowerBoundofX() - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- updateLowerBoundofY() - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- updateLPFS(int, TIntStack, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
Deprecated.
- updateLPFT(int, TIntStack, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
Deprecated.
- updateMaxCapa() - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
-
- updateRight(int, TIntStack, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
- updateRight(TIntStack, TIntStack, int, boolean[], Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
-
- updateSPFS(int, TIntStack, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
Deprecated.
- updateSPFT(int, TIntStack, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
-
Deprecated.
- updateUpperBound() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
Performs a lagrangian relaxation to compute a new Upper bound of the underlying RCSPP problem
Each built subproblem is a longest path one can use to perform cost based filtering
- updateUpperBound(IntVar, int, int, ICause) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
-
Explain the removal of ]value
,old
] from var
, due to cause
.
- updateUpperBound(IntVar, int, int, ICause) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
-
Explain the removal of ]value
,old
] from var
, due to cause
.
- updateUpperBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
-
Updates the upper bound of the domain of this
to value
.
- updateUpperBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
-
Updates the upper bound of the domain of this
to value
.
- updateUpperBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
Updates the upper bound of the domain of this
to value
.
- updateUpperBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
-
- updateUpperBound(double, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
-
- updateUpperBound(int, ICause) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
-
Updates the upper bound of the domain of this
to value
.
- updateUpperBound(double, ICause) - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
-
- updateUpperBound(int, ICause) - Method in interface org.chocosolver.solver.variables.IntVar
-
Updates the upper bound of the domain of this
to value
.
- updateUpperBound(double, ICause) - Method in interface org.chocosolver.solver.variables.RealVar
-
Updates the upper bound of the domain of this
to value
.
- updateUpperBound(int, ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- updateUpperBound(int, ICause) - Method in class org.chocosolver.solver.variables.view.IntView
-
- updateUpperBound(double, ICause) - Method in class org.chocosolver.solver.variables.view.RealView
-
- updateUpperBoundofX() - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- updateUpperBoundofY() - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- used() - Method in class org.chocosolver.memory.trailing.trail.chunck.BoolWorld
-
- used() - Method in class org.chocosolver.memory.trailing.trail.chunck.DoubleWorld
-
- used() - Method in class org.chocosolver.memory.trailing.trail.chunck.IntWorld
-
- used() - Method in class org.chocosolver.memory.trailing.trail.chunck.LongWorld
-
- used() - Method in class org.chocosolver.memory.trailing.trail.chunck.OperationWorld
-
- used() - Method in interface org.chocosolver.memory.trailing.trail.chunck.World
-
The amount of values in the stack
- used - Variable in class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor
-
V
- v - Variable in exception org.chocosolver.solver.exception.ContradictionException
-
- v0 - Variable in class org.chocosolver.solver.constraints.extension.binary.PropBinCSP
-
- v1 - Variable in class org.chocosolver.solver.constraints.extension.binary.PropBinCSP
-
- valid(int[], IntVar[]) - Method in class org.chocosolver.solver.constraints.extension.nary.LargeRelation
-
- valid(int...) - Method in interface org.chocosolver.solver.constraints.extension.TupleValidator
-
Valid a tuple
- ValidityChecker - Class in org.chocosolver.solver.constraints.extension.nary
-
A simple class that provides a method to check if a given
tuple is valid i.e. if it is ok regarding the current domain
of the variables
- ValidityChecker(int, IntVar[]) - Constructor for class org.chocosolver.solver.constraints.extension.nary.ValidityChecker
-
- valSelector - Variable in class org.chocosolver.solver.search.strategy.strategy.SetStrategy
-
How a value is selected
- value - Variable in class org.chocosolver.solver.constraints.nary.automata.FA.utils.Bounds.MinMax
-
- value - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
-
- value - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc
-
- value - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc
-
- ValueIterator - Interface in org.chocosolver.util.iterators
-
An interface to declare values iterator.
- valueOf(String) - Static method in enum org.chocosolver.solver.Cause
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.constraints.Constraint.Status
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.constraints.nary.circuit.CircuitConf
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.constraints.nary.cnf.LogOp.Operator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.constraints.nary.cnf.LogOp.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.constraints.nary.cumulative.Cumulative.Filter
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.constraints.Operator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.constraints.PropagatorPriority
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.explanations.NoExplanationEngine
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.expression.continuous.relational.CReExpression.Operator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.expression.discrete.arithmetic.ArExpression.Operator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.expression.discrete.logical.LoExpression.Operator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.expression.discrete.relational.ReExpression.Operator
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.objective.OptimizationPolicy
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.propagation.IPropagationEngine.Trace
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.propagation.NoPropagationEngine
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.propagation.PropagationEngineFactory
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.ResolutionPolicy
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.search.limits.ICounter.Impl
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.search.loop.Reporting
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.search.SearchState
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.Solver.Action
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.variables.delta.IDeltaMonitor.Default
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.variables.delta.IIntDeltaMonitor.Default
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.variables.delta.ISetDeltaMonitor.Default
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.variables.delta.NoDelta
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.variables.events.IntEventType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.variables.events.PropagatorEventType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.variables.events.RealEventType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.solver.variables.events.SetEventType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.util.ESat
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.util.objects.graphs.Orientation
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.util.objects.setDataStructures.SetType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum org.chocosolver.solver.Cause
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.constraints.Constraint.Status
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Arcs
-
- values - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Arcs
-
- values() - Static method in enum org.chocosolver.solver.constraints.nary.circuit.CircuitConf
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.constraints.nary.cnf.LogOp.Operator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.constraints.nary.cnf.LogOp.Type
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.constraints.nary.cumulative.Cumulative.Filter
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.constraints.Operator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.constraints.PropagatorPriority
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.explanations.NoExplanationEngine
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.expression.continuous.relational.CReExpression.Operator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.expression.discrete.arithmetic.ArExpression.Operator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.expression.discrete.logical.LoExpression.Operator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.expression.discrete.relational.ReExpression.Operator
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.objective.OptimizationPolicy
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.propagation.IPropagationEngine.Trace
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.propagation.NoPropagationEngine
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.propagation.PropagationEngineFactory
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.ResolutionPolicy
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.search.limits.ICounter.Impl
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.search.loop.Reporting
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.search.SearchState
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.Solver.Action
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.variables.delta.IDeltaMonitor.Default
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.variables.delta.IIntDeltaMonitor.Default
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.variables.delta.ISetDeltaMonitor.Default
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.variables.delta.NoDelta
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.variables.events.IntEventType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.variables.events.PropagatorEventType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.variables.events.RealEventType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.solver.variables.events.SetEventType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.util.ESat
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.chocosolver.util.objects.graphs.Orientation
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values - Variable in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
-
- values - Variable in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
-
- values() - Static method in enum org.chocosolver.util.objects.setDataStructures.SetType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values - Variable in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
-
- values - Variable in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
-
- values() - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- valueSelector - Variable in class org.chocosolver.solver.search.strategy.strategy.IntStrategy
-
How a value is selected
- var - Variable in class org.chocosolver.solver.search.strategy.decision.Decision
-
Variable of this decision
- VAR - Static variable in interface org.chocosolver.solver.variables.Variable
-
Type of variable: variable (unique).
- var - Variable in class org.chocosolver.solver.variables.view.IntView
-
Observed variable
- var - Variable in class org.chocosolver.solver.variables.view.RealView
-
- Variable - Interface in org.chocosolver.solver.variables
-
To developers: any constructor of variable must pass in parameter
the back-end ISolver, that is, in decreasing order:
- the model portfolio,
- the model (or portfolio workers but fes).
- VariableBound(int, boolean) - Method in class org.chocosolver.sat.PropNogoods
-
var points a clause variable whom value is now to be val.
- VariableEvaluator<V extends Variable> - Interface in org.chocosolver.solver.search.strategy.selectors.variables
-
A variable evaluator.
- VariableSelector<V extends Variable> - Interface in org.chocosolver.solver.search.strategy.selectors.variables
-
A variable selector specifies which variable should be selected at a fix point.
- VariableSelectorWithTies<V extends Variable> - Class in org.chocosolver.solver.search.strategy.selectors.variables
-
- VariableSelectorWithTies(VariableEvaluator<V>...) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.VariableSelectorWithTies
-
- VariableUtils - Class in org.chocosolver.util.tools
-
Project: choco-solver.
- VariableUtils() - Constructor for class org.chocosolver.util.tools.VariableUtils
-
- vars - Variable in class org.chocosolver.solver.constraints.extension.nary.ValidityChecker
-
- vars - Variable in class org.chocosolver.solver.constraints.Propagator
-
List of variables this propagators deal with.
- vars - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
-
Array of variables to consider in a fragment
- vars - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
-
Variables to consider in this neighbor
- vars - Variable in class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy
-
- varsAsArray - Variable in class org.chocosolver.solver.constraints.nary.cnf.LogOp
-
- varSelector - Variable in class org.chocosolver.solver.search.strategy.strategy.SetStrategy
-
How a variable is selected
- vertex - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
-
- VIEW - Static variable in interface org.chocosolver.solver.variables.Variable
-
Type of variable: view (unique).
- ViewDeltaMonitor - Class in org.chocosolver.solver.variables.view
-
A delta monitor dedicated to views
- ViewDeltaMonitor(IIntDeltaMonitor) - Constructor for class org.chocosolver.solver.variables.view.ViewDeltaMonitor
-
W
- warnUser() - Method in interface org.chocosolver.solver.Settings
-
Return true if one wants to be informed of warnings detected during modeling/solving (default value is false)
- who - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood
-
neighbor currently selected
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.sat.PropNogoods
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.sat.PropSat
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.element.PropElement
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropAbsolute
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_Y
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_YC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualXY_C
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_Y
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_YC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualXY_C
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropLessOrEqualXY_C
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualX_Y
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualX_YC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualXY_C
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.binary.PropSquare
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinAC3bitrm
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffBC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropClauseChanneling
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelAC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.count.PropCount_AC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.count.PropCountVar
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.element.PropElementV_fast
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.PropKnapsack
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.Propagator
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropXeqCReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropXeqYReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropXgtCReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropXltCReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropXltYCReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropXltYReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropXneCReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.reification.PropXneYReif
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.ternary.PropMaxBC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.ternary.PropMinBC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.ternary.PropTimesNaive
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.unary.PropEqualXC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.unary.PropGreaterOrEqualXC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.unary.PropLessOrEqualXC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.unary.PropMemberBound
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.unary.PropMemberEnum
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.unary.PropNotEqualXC
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.unary.PropNotMemberBound
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.constraints.unary.PropNotMemberEnum
-
- why(RuleStore, IntVar, IEventType, int) - Method in interface org.chocosolver.solver.ICause
-
Add new rules to the rule store
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
-
- why(RuleStore, IntVar, IEventType, int) - Method in interface org.chocosolver.solver.variables.IntVar
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- why(RuleStore, IntVar, IEventType, int) - Method in class org.chocosolver.solver.variables.view.IntView
-
- WORD_MASK - Static variable in class org.chocosolver.memory.structure.S64BitSet
-
- wordIndex(int) - Static method in class org.chocosolver.memory.structure.S64BitSet
-
Given a bit index, return word index containing it.
- words - Variable in class org.chocosolver.memory.structure.S64BitSet
-
The internal field corresponding to the serialField "bits".
- wordsInUse - Variable in class org.chocosolver.memory.structure.S64BitSet
-
The number of words in the logical size of this BitSet.
- World - Interface in org.chocosolver.memory.trailing.trail.chunck
-
Specify a stack in a world.
- worldCommit() - Method in interface org.chocosolver.memory.IEnvironment
-
Comitting the current world: merging it with the previous one.
- worldCommit(int) - Method in interface org.chocosolver.memory.IStorage
-
Comitting the current world: merging it with the previous one.
- worldCommit() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
Comitting the current world: merging it with the previous one.
- worldCommit(int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail
-
- worldCommit(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.OperationTrail
-
Comits a world: merging it with the previous one.
- worldCommit(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredBoolTrail
-
Comits a world: merging it with the previous one.
- worldCommit(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredDoubleTrail
-
Comits a world: merging it with the previous one.
- worldCommit(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredIntTrail
-
Comits a world: merging it with the previous one.
- worldCommit(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail
-
Comits a world: merging it with the previous one.
- worldCommit(int) - Method in class org.chocosolver.memory.trailing.trail.StoredDoubleVectorTrail
-
Comits a world: merging it with the previous one.
- worldCommit(int) - Method in class org.chocosolver.memory.trailing.trail.StoredIntVectorTrail
-
Comits a world: merging it with the previous one.
- worldPop() - Method in interface org.chocosolver.memory.IEnvironment
-
Backtracks to the previous choice point in the search tree.
- worldPop(int) - Method in interface org.chocosolver.memory.IStorage
-
Moving down to the previous world.
- worldPop() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
Backtracks to the previous choice point in the search tree.
- worldPop(int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail
-
Moving down to the previous world.
- worldPop(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.OperationTrail
-
Moving down to the previous world.
- worldPop(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredBoolTrail
-
Moving down to the previous world.
- worldPop(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredDoubleTrail
-
Moving down to the previous world.
- worldPop(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredIntTrail
-
Moving down to the previous world.
- worldPop(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail
-
Moving down to the previous world.
- worldPop(int) - Method in class org.chocosolver.memory.trailing.trail.StoredDoubleVectorTrail
-
Moving down to the previous world.
- worldPop(int) - Method in class org.chocosolver.memory.trailing.trail.StoredIntVectorTrail
-
Moving down to the previous world.
- worldPopUntil(int) - Method in class org.chocosolver.memory.AbstractEnvironment
-
Backtracks to the w
previous choice point in the tree search
- worldPopUntil(int) - Method in interface org.chocosolver.memory.IEnvironment
-
Backtracks to the w
previous choice point in the tree search
- worldPush() - Method in interface org.chocosolver.memory.IEnvironment
-
Starts a new branch in the search tree.
- worldPush(int) - Method in interface org.chocosolver.memory.IStorage
-
Moving up to the next world.
- worldPush() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
-
Starts a new branch in the search tree.
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedBoolTrail
-
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedDoubleTrail
-
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedIntTrail
-
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedLongTrail
-
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedOperationTrail
-
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.OperationTrail
-
Moving up to the next world.
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredBoolTrail
-
Moving up to the next world.
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredDoubleTrail
-
Moving up to the next world.
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredIntTrail
-
Moving up to the next world.
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail
-
Moving up to the next world.
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.StoredDoubleVectorTrail
-
Moving up to the next world.
- worldPush(int) - Method in class org.chocosolver.memory.trailing.trail.StoredIntVectorTrail
-
Moving up to the next world.
- worlds - Variable in class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail
-
The worlds.
- worldStamps - Variable in class org.chocosolver.memory.trailing.StoredDoubleVector
-
Contains time stamps for all entries (the world index of the last update for each entry)
- worldStamps - Variable in class org.chocosolver.memory.trailing.StoredIntVector
-
Contains time stamps for all entries (the world index of the last update for each entry)
X
- X - Variable in class org.chocosolver.solver.constraints.nary.nValue.amnv.graph.Gi
-
- xor(IStateBitSet) - Method in interface org.chocosolver.memory.IStateBitSet
-
Deprecated.
- xor(IStateBitSet) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
-
Deprecated.
- xor(IStateBitSet) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
-
Deprecated.
- xor(IStateBitSet) - Method in class org.chocosolver.memory.structure.S64BitSet
-
Deprecated.
- xor(ILogical, ILogical) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
-
Create an exclusive disjunction, results in true whenever both operands differ.
- xor(ReExpression) - Method in class org.chocosolver.solver.expression.discrete.relational.ReExpression
-
Z
- zeroToNShuffle(int) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Creates and returns an array of ints composed of unique values from 0 (inclusive) to nb (exclusive), in random order.
- zeroToNShuffle(int, long) - Static method in enum org.chocosolver.util.tools.ArrayUtils
-
Creates and returns an array of ints composed of unique values from 0 (inclusive) to nb (exclusive), in random order.
_
- _cachedIterator - Variable in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
- _fixVar() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
-
Regarding the explanation, pick decisions to create a fragment
- _getStructure() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
-
DO NOT USE : FOR MEMORY OPTIM ONLY
- _MCR_DECIMAL_PREC - Variable in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
-
- _me() - Method in interface org.chocosolver.solver.ISelf
-
- _me() - Method in class org.chocosolver.solver.Model
-
- _me() - Method in class org.chocosolver.solver.Solver
-
- _removeSymbolFromAutomaton(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
-
- _riterator - Variable in class org.chocosolver.solver.variables.view.IntView
-
Range iterator
- _schedIter() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
-
- _schedIter() - Method in interface org.chocosolver.solver.variables.Variable
-
For scheduling purpose only
- _set(boolean, int) - Method in class org.chocosolver.memory.IStateBool
-
Modifies the value without storing the former value on the trailing stack.
- _set(double, int) - Method in class org.chocosolver.memory.IStateDouble
-
Modifies the value without storing the former value on the trailing stack.
- _set(int, int) - Method in class org.chocosolver.memory.IStateInt
-
Modifies the value without storing the former value on the trailing stack.
- _set(long, int) - Method in class org.chocosolver.memory.IStateLong
-
Modifies the value without storing the former value on the trailing stack.
- _set(int, double, int) - Method in class org.chocosolver.memory.trailing.StoredDoubleVector
-
Sets an element without storing the previous value.
- _set(int, int, int) - Method in class org.chocosolver.memory.trailing.StoredIntVector
-
Sets an element without storing the previous value.
- _setNot(BoolVar) - Method in interface org.chocosolver.solver.variables.BoolVar
-
- _setNot(BoolVar) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
-
- _setNot(BoolVar) - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
-
- _setNot(BoolVar) - Method in class org.chocosolver.solver.variables.view.BoolNotView
-
- _viterator - Variable in class org.chocosolver.solver.variables.view.IntView
-
Value iterator
A B C D E F G H I J K L M N O P Q R S T U V W X Z _
Copyright © 2017. All rights reserved.