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

A

a - Variable in class org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton.Triple
 
abs() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
abs() - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
ABS - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
absolute operator
ABS - org.chocosolver.solver.expression.discrete.arithmetic.ArExpression.Operator
absolute operator
absolute(IntVar, IntVar) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
Generate valid tuples for absolute constraint: VAR1 = |VAR2|
absolute(IntVar, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an absolute value constraint: var1 = |var2|
ABSOLUTE - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
AbstractEnvironment - Class in org.chocosolver.memory
Super class of all environments !
AbstractEnvironment() - Constructor for class org.chocosolver.memory.AbstractEnvironment
 
AbstractLengauerTarjanDominatorsFinder - Class in org.chocosolver.util.graphOperations.dominance
Class that finds dominators of a given flow graph g(s)
AbstractLengauerTarjanDominatorsFinder(int, DirectedGraph) - Constructor for class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
Object that finds dominators of the given flow graph g(s)
AbstractPropDistanceXYZ - Class in org.chocosolver.solver.constraints.ternary
A constraint to state |X - Y| operator Z where operator can be =, <=, <, >=, > and X, Y, and Z are variables Warning: only achieves BoundConsistency for the moment !
AbstractPropDistanceXYZ(IntVar[]) - Constructor for class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
Enforces |X - Y| op Z
AbstractStrategy<V extends Variable> - Class in org.chocosolver.solver.search.strategy.strategy
A search strategy provides decisions to go down in the search space.
AbstractStrategy(V...) - Constructor for class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy
 
AbstractVariable - Class in org.chocosolver.solver.variables.impl
Class used to factorise code The subclass must implement Variable interface
AbstractVariable(String, Model) - Constructor for class org.chocosolver.solver.variables.impl.AbstractVariable
Create the shared data of any type of variable.
AC - Static variable in class org.chocosolver.solver.constraints.nary.alldifferent.AllDifferent
 
acos() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ACOS - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
inverse cosine operator
acosh() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ACOSH - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
inverse hyperbolic cosine operator
ACounter - Class in org.chocosolver.solver.search.limits
Overrides all but one services for ICounter and provides easy to implement counter based on IMeasures.
ACounter(IMeasures, long) - Constructor for class org.chocosolver.solver.search.limits.ACounter
 
action - Variable in class org.chocosolver.solver.Solver
The next action to execute in the search loop
activate(int) - Method in class org.chocosolver.solver.constraints.ReificationConstraint
 
active - Variable in class org.chocosolver.solver.search.strategy.strategy.LastConflict
Set to true when this strategy is active
activePropagator(BoolVar, Propagator) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
Explain the activation of a propagator involved in a reified constraint
activePropagator(BoolVar, Propagator) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
Explain the activation of a propagator involved in a reified constraint
activity(int) - Method in class org.chocosolver.util.objects.ArrayVal
 
activity(int) - Method in interface org.chocosolver.util.objects.IVal
 
activity(int) - Method in class org.chocosolver.util.objects.MapVal
 
ActivityBased - Class in org.chocosolver.solver.search.strategy.selectors.variables
Implementation of the search described in: "Activity-Based Search for Black-Box Constraint Propagramming Solver", Laurent Michel and Pascal Van Hentenryck, CPAIOR12.
ActivityBased(Model, IntVar[], double, double, int, int, long) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
ActivityBased(IntVar[]) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
activityBasedSearch(IntVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
Create an Activity based search strategy.
AdaptiveNeighborhood - Class in org.chocosolver.solver.search.loop.lns.neighbors

AdaptiveNeighborhood(long, INeighbor...) - Constructor for class org.chocosolver.solver.search.loop.lns.neighbors.AdaptiveNeighborhood
 
add() - Method in class org.chocosolver.memory.structure.BasicIndexedBipartiteSet
 
add(double) - Method in class org.chocosolver.memory.trailing.StoredDoubleVector
Adds a new search at the end of the vector.
add(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
add(int) - Method in class org.chocosolver.memory.IStateInt
modifying a StoredInt by an increment
add(int) - Method in class org.chocosolver.memory.IStateIntVector
Adds a new search at the end of the vector.
add(int) - Method in class org.chocosolver.memory.trailing.StoredIntVector
Adds a new search at the end of the vector.
add(int) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
add(int) - Method in class org.chocosolver.util.objects.IntList
Appends the specified element to the end of this list.
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_Std_BitSet
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_CstInterval
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
 
add(int) - Method in interface org.chocosolver.util.objects.setDataStructures.ISet
Add element to the set
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.Set_ReadOnly
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.StdSet
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
 
add(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
 
add(int) - Method in class org.chocosolver.util.objects.StoredSparseSet
Add the value `k` to the set.
add(int...) - Method in class org.chocosolver.solver.constraints.extension.Tuples
Add a new tuple to the set of tuples
add(int[]...) - Method in class org.chocosolver.solver.constraints.extension.Tuples
Add a tuple set
add(int, int, ICause) - Method in interface org.chocosolver.solver.variables.delta.IIntervalDelta
Adds a new value interval to the delta
add(int, int, ICause) - Method in class org.chocosolver.solver.variables.delta.IntervalDelta
 
add(int, int, ICause) - Method in interface org.chocosolver.solver.variables.delta.ISetDelta
 
add(int, int, ICause) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
add(int, int, ICause) - Method in class org.chocosolver.solver.variables.delta.SetDelta
 
add(int, ICause) - Method in class org.chocosolver.solver.variables.delta.EnumDelta
Adds a new value to the delta
add(int, ICause) - Method in interface org.chocosolver.solver.variables.delta.IEnumDelta
Adds a new value to the delta
add(int, ICause) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
add(int, ICause) - Method in class org.chocosolver.solver.variables.delta.OneValueDelta
 
add(CArExpression) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
add(ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
add(ArExpression...) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
add(ISearchMonitor) - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
Adds a search monitor to this list
ADD - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
addition operator
ADD - org.chocosolver.solver.expression.discrete.arithmetic.ArExpression.Operator
addition operator
add_ctr(String) - Method in class org.chocosolver.solver.constraints.real.Ibex
Add a new constraint.
ADD_TO_KER - org.chocosolver.solver.variables.events.SetEventType
 
addAll(int...) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
 
addAll(int...) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
 
addAll(int...) - Method in interface org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSet
Adds all of the elements in the array to this set.
addAll(IntList) - Method in class org.chocosolver.util.objects.IntList
Appends the elements of the specified list to the end of this list.
addAll(IntIterableSet) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
 
addAll(IntIterableSet) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
 
addAll(IntIterableSet) - Method in interface org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSet
Adds all of the elements in the specified set to this set.
addArc(int, int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
add arc (from,to) to the graph
addAt(int, int) - Method in class org.chocosolver.util.objects.IntList
Add the element at the specified position in this list.
addBetween(int, int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
 
addBoundsRule(IntVar) - Method in class org.chocosolver.solver.explanations.RuleStore
Add an upper bound rule and a lower bound rule, that is, any event on the upper bound or the lower bound of the variable needs to be retained
addCause(ICause) - Method in class org.chocosolver.solver.explanations.Explanation
Add a cause, which explains, partially, the situation
addCausesAndDecisions(Explanation) - Method in class org.chocosolver.solver.explanations.Explanation
Merge all causes and decisions from explanation in this.
addChild(ILogical) - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Adds child to the current list of children of this
addClause(TIntList) - Method in class org.chocosolver.sat.PropSat
Add a clause to SAT solver
addClauseFalse(BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a unit clause stating that BOOLVAR must be false
addClauses(LogOp) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Ensures that the clauses defined in the Boolean logic formula TREE are satisfied.
addClauses(BoolVar[], BoolVar[]) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Ensures that the clause defined by POSLITS and NEGLITS is satisfied.
addClausesAtMostNMinusOne(BoolVar[]) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: ∑ BOOLVARSi ≤ n-1
addClausesAtMostOne(BoolVar[]) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: ∑ BOOLVARSi ≤ 1
addClausesBoolAndArrayEqualFalse(BoolVar[]) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: BOOLVARS1∧BOOLVARS2∧...∧BOOLVARSn
addClausesBoolAndArrayEqVar(BoolVar[], BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (BOOLVARS1∧BOOLVARS2∧...∧BOOLVARSn) ⇔ TARGET
addClausesBoolAndEqVar(BoolVar, BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (LEFT ∧ RIGHT) ⇔ TARGET
addClausesBoolEq(BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: LEFT == RIGHT
addClausesBoolIsEqVar(BoolVar, BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (LEFT == RIGHT) ⇔ TARGET
addClausesBoolIsLeVar(BoolVar, BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (LEFT ≤ RIGHT) ⇔ TARGET
addClausesBoolIsLtVar(BoolVar, BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (LEFT < RIGHT) ⇔ TARGET
addClausesBoolIsNeqVar(BoolVar, BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (LEFT ≠ RIGHT) ⇔ TARGET
addClausesBoolLe(BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: LEFT ≤ RIGHT
addClausesBoolLt(BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: LEFT < RIGHT
addClausesBoolNot(BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: LEFT !
addClausesBoolOrArrayEqualTrue(BoolVar[]) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: BOOLVARS1∨BOOLVARS2∨...∨BOOLVARSn
addClausesBoolOrArrayEqVar(BoolVar[], BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (BOOLVARS1∨BOOLVARS2∨...∨BOOLVARSn) ⇔ TARGET
addClausesBoolOrEqVar(BoolVar, BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (LEFT ∨ RIGHT) ⇔ TARGET
addClausesBoolXorEqVar(BoolVar, BoolVar, BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: (LEFT ⊕ RIGHT) ⇔ TARGET
addClausesMaxBoolArrayLessEqVar(BoolVar[], BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: max(BOOLVARSi) ≤ TARGET
addClausesSumBoolArrayGreaterEqVar(BoolVar[], BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: sum(BOOLVARSi) ≥ TARGET
addClausesSumBoolArrayLessEqVar(BoolVar[], BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a clause stating that: sum(BOOLVARSi) ≤ TARGET
addClauseTrue(BoolVar) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Add a unit clause stating that BOOLVAR must be true
addConstructiveDisjunction(Constraint...) - Method in interface org.chocosolver.solver.constraints.ISatFactory
Make a constructive disjunction constraint
addCounter(ICounter) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
addDecision(Decision) - Method in class org.chocosolver.solver.explanations.Explanation
Add a decision, which explains, partially, the situation
addEdge(int, int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
Add edge (x,y) to the graph
addElement(int, int) - Method in class org.chocosolver.util.objects.PriorityQueue
Adds an integer into the list.
addEpsilon(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
addFirst(int) - Method in class org.chocosolver.util.objects.IntCircularQueue
 
addFirst(E) - Method in class org.chocosolver.util.objects.queues.CircularQueue
Put a new element at the head of the queue.
addFullDomainRule(IntVar) - Method in class org.chocosolver.solver.explanations.RuleStore
Add a full domain rule, that is, any events involving the variable needs to be retained.
addHook(String, Object) - Method in class org.chocosolver.solver.Model
Adds the hookObject to store in this model, associated with the name hookName.
addLast(int) - Method in class org.chocosolver.util.objects.IntCircularQueue
 
addLast(E) - Method in class org.chocosolver.util.objects.queues.CircularQueue
Put a new element at the tail of the queue.
addLearnt(int...) - Method in class org.chocosolver.sat.PropNogoods
Add learnt clause to no-goods store
addLearnt(int...) - Method in class org.chocosolver.sat.PropSat
Add learnt clause to SAT solver
addLowerBoundRule(IntVar) - Method in class org.chocosolver.solver.explanations.RuleStore
Add a lower bound rule, that is, any event on the lower bound of the variable needs to be retained
addModel(Model) - Method in class org.chocosolver.solver.ParallelPortfolio
Adds a model to the list of models to run in parallel.
addMonitor(IVariableMonitor) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
addMonitor(IVariableMonitor) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
addMonitor(IVariableMonitor) - Method in interface org.chocosolver.solver.variables.Variable
Build and add a monitor to the monitor list of this.
addNode(int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
 
addNode(int) - Method in interface org.chocosolver.util.objects.graphs.IGraph
Adds node x to the node set of the graph
addNode(int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
 
addNogood(int) - Method in class org.chocosolver.sat.PropNogoods
Add unit clause to no-goods store
addNogood(TIntList) - Method in class org.chocosolver.sat.PropNogoods
Add unit clause to no-goods store
addPaRules(int) - Method in class org.chocosolver.solver.explanations.Rules
Add a propagator activation rule for 'pid'
addPropagatorActivationRule(Propagator) - Method in class org.chocosolver.solver.explanations.RuleStore
Add a propagator activation rule
addRemovalRule(IntVar, int) - Method in class org.chocosolver.solver.explanations.RuleStore
Add a value removal rule, that is, the event which remove the value needs to be retained.
addRules(Rules) - Method in class org.chocosolver.solver.explanations.Explanation
Merge 'someRules' into this rules
addSize(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap
 
addSize(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
 
addState() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
addStopCriterion(Criterion...) - Method in class org.chocosolver.solver.Solver
Adds a stop criterion, which, when met, stops the search loop.
addToAlphabet(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
addToMask(long[]) - Method in class org.chocosolver.solver.constraints.extension.nary.PropCompactTable.RSparseBitSet
 
addToMIS(int) - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MD
 
addTransition(int, int, int...) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
addTuple(int[]) - Method in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
Add a tuple to the MDD
addTuples(Tuples) - Method in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
Add all tuples within the MDD
addUpperBoundRule(IntVar) - Method in class org.chocosolver.solver.explanations.RuleStore
Add a upper bound rule, that is, any event on the upper bound of the variable needs to be retained
addVariable(V...) - Method in class org.chocosolver.solver.constraints.Propagator
Enlarges the variable scope of this propagator Should not be called by the user.
afterAddingClauses() - Method in class org.chocosolver.sat.PropSat
 
afterClose() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorClose
Actions to execute after closing the search
afterClose() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
afterClose() - Method in class org.chocosolver.solver.trace.LogStatEveryXXms
 
afterDownBranch(boolean) - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorDownBranch
Action to perform after going down in the tree search
afterDownBranch(boolean) - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
afterDownBranch(boolean) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
afterDownBranch(boolean) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased
 
afterInitialize(boolean) - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorInitialize
Actions to execute after initialisation of the solver
afterInitialize(boolean) - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
afterInitialize(boolean) - Method in class org.chocosolver.solver.trace.LogStatEveryXXms
 
afterOpenNode() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorOpenNode
Actions to execute after opening a node
afterOpenNode() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
afterRestart() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorRestart
Actions to execute after restarting the search
afterRestart() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
afterRestart() - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
afterRestart() - Method in class org.chocosolver.solver.search.strategy.strategy.LastConflict
 
afterRestart() - Method in class org.chocosolver.solver.trace.SearchViz
 
afterUpBranch() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorUpBranch
Actions to execute after going up in the tree search
afterUpBranch() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
AlgoAllDiffAC - Class in org.chocosolver.solver.constraints.nary.alldifferent.algo
Algorithm of Alldifferent with AC Uses Regin algorithm Runs in O(m.n) worst case time for the initial propagation but has a good average behavior in practice
AlgoAllDiffAC(IntVar[], ICause) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffAC
 
AlgoAllDiffBC - Class in org.chocosolver.solver.constraints.nary.alldifferent.algo
 
AlgoAllDiffBC(Propagator) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffBC
 
all - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
Store the modified variables
all() - Static method in enum org.chocosolver.solver.variables.events.IntEventType
 
all() - Static method in enum org.chocosolver.solver.variables.events.SetEventType
 
ALL - org.chocosolver.solver.constraints.nary.circuit.CircuitConf
 
ALL_EVENTS - Static variable in interface org.chocosolver.solver.variables.events.IEventType
 
allDifferent(IntVar...) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
Generate valid tuples for allDifferent constraint
allDifferent(IntVar...) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an allDifferent constraint.
allDifferent(IntVar[], String) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an allDifferent constraint.
allDifferent(SetVar...) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint stating that sets should all be different (not necessarily disjoint) Note that there cannot be more than one empty set
AllDifferent - Class in org.chocosolver.solver.constraints.nary.alldifferent
Ensures that all variables from VARS take a different value.
AllDifferent(IntVar[], String) - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.AllDifferent
 
ALLDIFFERENT - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
allDifferentExcept0(IntVar[]) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an allDifferent constraint for variables that are not equal to 0.
allDifferentUnderCondition(IntVar[], Condition, boolean) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an allDifferent constraint subject to the given condition.
allDisjoint(SetVar...) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint stating that the intersection of sets should be empty Note that there can be multiple empty sets
allEqual(IntVar...) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an allEqual constraint.
allEqual(SetVar...) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint stating that sets should be all equal
allEquals(IntVar...) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
Generate valid tuples for allEquals constraint
allocated() - Method in class org.chocosolver.memory.trailing.trail.chunck.BoolWorld
 
allocated() - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail
Returns the allocated trail size.
allocated() - Method in class org.chocosolver.memory.trailing.trail.chunck.DoubleWorld
 
allocated() - Method in class org.chocosolver.memory.trailing.trail.chunck.IntWorld
 
allocated() - Method in class org.chocosolver.memory.trailing.trail.chunck.LongWorld
 
allocated() - Method in class org.chocosolver.memory.trailing.trail.chunck.OperationWorld
 
allocated() - Method in interface org.chocosolver.memory.trailing.trail.chunck.World
The allocated trail for this world.
allowUniversalValue() - Method in class org.chocosolver.solver.constraints.extension.Tuples
 
allTasks - Variable in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
 
AlphaDominatorsFinder - Class in org.chocosolver.util.graphOperations.dominance
Class that finds dominators of a given flow graph g(s) Uses the LT algorithm which runs in O(alpha.m)
AlphaDominatorsFinder(int, DirectedGraph) - Constructor for class org.chocosolver.util.graphOperations.dominance.AlphaDominatorsFinder
Object that finds dominators of the given flow graph g(s) It uses the LT algorithm which runs in O(alpha.m)
among(IntVar, IntVar[], int[]) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an among constraint.
AMONG - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
ancestor - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
 
and(Constraint...) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an and constraint that is satisfied if all constraints in cstrs are satisfied BEWARE: this should not be used to post several constraints at once but in a reification context
and(ILogical...) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Create a conjunction, results in true if all of its operands are true
and(ReExpression...) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
and(BoolVar...) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an and constraint that is satisfied if all boolean variables in bools are true
AND - org.chocosolver.solver.constraints.nary.cnf.LogOp.Operator
 
AND - org.chocosolver.solver.expression.discrete.logical.LoExpression.Operator
less than
AntiFirstFail - Class in org.chocosolver.solver.search.strategy.selectors.variables
Anti first fail variable selector.
AntiFirstFail(Model) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.AntiFirstFail
First fail variable selector.
append(int[]...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Append int arrays
append(BoolVar[]...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Append two Arrays
append(IntVar[]...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Append two Arrays
append(T[]...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Append two Arrays
apply() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
Apply the current decision
apply() - Method in class org.chocosolver.solver.search.strategy.decision.DecisionPath
Apply decisions pushed since the last call to this method.
apply() - Method in class org.chocosolver.solver.search.strategy.decision.IbexDecision
 
apply() - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
 
apply() - Method in class org.chocosolver.solver.search.strategy.decision.RealDecision
 
apply() - Method in class org.chocosolver.solver.search.strategy.decision.RootDecision
 
apply() - Method in class org.chocosolver.solver.search.strategy.decision.SetDecision
 
apply(V, int, ICause) - Method in interface org.chocosolver.solver.search.strategy.assignments.DecisionOperator
 
Arc - Class in org.chocosolver.solver.constraints.nary.automata.structure.costregular
Created by IntelliJ IDEA.
Arc - Class in org.chocosolver.solver.constraints.nary.automata.structure.multicostregular
Created by IntelliJ IDEA.
Arc - Class in org.chocosolver.solver.constraints.nary.automata.structure.regular
Created by IntelliJ IDEA.
Arc(Node, Node, int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
 
Arc(Node, Node, int, int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc
 
Arc(Node, Node, int, int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc
 
Arc(Node, Node, int, int, double) - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
 
Arc.ArcFacroty - Class in org.chocosolver.solver.constraints.nary.automata.structure.costregular
 
Arc.ArcFactory - Class in org.chocosolver.solver.constraints.nary.automata.structure.multicostregular
 
Arc.ArcFactory - Class in org.chocosolver.solver.constraints.nary.automata.structure.regular
 
arcExists(int, int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
Test whether arc (from,to) exists or not in the graph
ArcFacroty() - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc.ArcFacroty
 
ArcFactory() - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc.ArcFactory
 
ArcFactory() - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc.ArcFactory
 
Arcs() - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Arcs
 
Arcs() - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Arcs
 
ArExpression - Interface in org.chocosolver.solver.expression.discrete.arithmetic
arithmetic expression
ArExpression.Operator - Enum in org.chocosolver.solver.expression.discrete.arithmetic
List of available operator for arithmetic expression
arithm(IntVar, String, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an arithmetic constraint : var op cste, where op in {"=", "!
arithm(IntVar, String, IntVar) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
Generate valid tuples for VAR1 OP VAR2, where OP in {"=", "!
arithm(IntVar, String, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an arithmetic constraint: var1 op var2, where op in {"=", "!
arithm(IntVar, String, IntVar, String, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an arithmetic constraint : var1 op var2, where op in {"=", "!
arithm(IntVar, String, IntVar, String, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an arithmetic constraint: var1 op1 var2 op2 var3, where op1 and op2 in {"=", "!
ARITHM - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
Arithmetic - Class in org.chocosolver.solver.constraints
A constraint dedicated to arithmetic operations.
Arithmetic(String, IntVar[], Operator, Operator, int, Propagator) - Constructor for class org.chocosolver.solver.constraints.Arithmetic
 
arity - Variable in class org.chocosolver.solver.constraints.extension.nary.ValidityChecker
 
arity() - Method in class org.chocosolver.solver.constraints.Propagator
 
array(int, int) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Creates an array of ints of consecutive values from lb (inclusive) to ub (inclusive as well), i.e. the range [lb, ub], For instance: {3,4,...,99,100}
ArrayEventStore - Class in org.chocosolver.solver.explanations
A data structure which stores events during search, for lazy explanation purpose.
ArrayEventStore(IEnvironment) - Constructor for class org.chocosolver.solver.explanations.ArrayEventStore
Create an event store
ArraySort<T> - Class in org.chocosolver.util.sort
 
ArraySort(int, boolean, boolean) - Constructor for class org.chocosolver.util.sort.ArraySort
 
ArrayUtils - Enum in org.chocosolver.util.tools
This class contains various methods for manipulating arrays.
ArrayVal - Class in org.chocosolver.util.objects
Project: choco-solver.
ArrayVal(int, int) - Constructor for class org.chocosolver.util.objects.ArrayVal
 
asBoolVar() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
asBoolVar() - Method in interface org.chocosolver.solver.variables.Variable
 
asin() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ASIN - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
inverse sine operator
asinh() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ASINH - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
inverse hyperbolic sine operator
asIntVar() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
asIntVar() - Method in interface org.chocosolver.solver.variables.Variable
 
asRealVar() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
asRealVar() - Method in interface org.chocosolver.solver.variables.Variable
 
asSetVar() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
asSetVar() - Method in interface org.chocosolver.solver.variables.Variable
 
associates(Variable) - Method in class org.chocosolver.solver.Model
Link a variable to this.
atan() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ATAN - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
inverse tangent operator
atan2(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
atan2(CArExpression) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ATAN2 - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
atan2 operator
atanh() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ATANH - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
inverse hyperbolic tangent operator
atLeastNValues(IntVar[], IntVar, boolean) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an atLeastNValue constraint.
ATLEASTNVALUES - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
atMostNValues(IntVar[], IntVar, boolean) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an atMostNValue constraint.
ATMOSTNVALUES - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
AutoDiffDetection - Class in org.chocosolver.solver.constraints.nary.nvalue.amnv.differences
automatic detection of binary disequalities and allDifferent constraints
AutoDiffDetection(Variable[]) - Constructor for class org.chocosolver.solver.constraints.nary.nvalue.amnv.differences.AutoDiffDetection
 

B

b - Variable in class org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton.Triple
 
b - Variable in class org.chocosolver.solver.constraints.nary.sum.PropSum
Bound to respect
b - Variable in class org.chocosolver.solver.constraints.real.PropScalarMixed
Bound to respect
backtrackCount - Variable in class org.chocosolver.solver.search.measure.Measures
Counts the number of backtracks done so far.
BacktrackCounter - Class in org.chocosolver.solver.search.limits
Set a limit over the number of backtracks allowed during the search.
BacktrackCounter(Model, long) - Constructor for class org.chocosolver.solver.search.limits.BacktrackCounter
 
BacktrackCounter(IMeasures, long) - Constructor for class org.chocosolver.solver.search.limits.BacktrackCounter
 
BAD_DOMAIN - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
BAD_POINT - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
BASIC_REI - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
BasicIndexedBipartiteSet - Class in org.chocosolver.memory.structure
 
BasicIndexedBipartiteSet(IEnvironment, int) - Constructor for class org.chocosolver.memory.structure.BasicIndexedBipartiteSet
Create a stored bipartite set with a size.
BC - Static variable in class org.chocosolver.solver.constraints.nary.alldifferent.AllDifferent
 
BD - Static variable in class org.chocosolver.solver.explanations.RuleStore
Mask for integer variable bounds modification
beforeAddingClauses() - Method in class org.chocosolver.sat.PropSat
 
beforeClose() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorClose
Actions to execute before closing the search
beforeClose() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
beforeDownBranch(boolean) - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorDownBranch
Action to perform before going down in the tree search
beforeDownBranch(boolean) - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
beforeDownBranch(boolean) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
beforeDownBranch(boolean) - Method in class org.chocosolver.solver.trace.SearchViz
 
beforeInitialize() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorInitialize
Actions to execute before initialisation of the solver
beforeInitialize() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
beforeOpenNode() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorOpenNode
Actions to execute before opening a node
beforeOpenNode() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
beforeRestart() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorRestart
Actions to execute before restarting the search
beforeRestart() - Method in class org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts
 
beforeRestart() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
beforeRestart() - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
beforeRestart() - Method in class org.chocosolver.solver.search.strategy.strategy.LastConflict
 
beforeUpBranch() - Method in interface org.chocosolver.solver.search.loop.monitors.IMonitorUpBranch
Actions to execute before going up in the tree search
beforeUpBranch() - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
 
beforeUpBranch() - Method in class org.chocosolver.solver.trace.SearchViz
 
bestBound(AbstractStrategy<IntVar>) - Static method in class org.chocosolver.solver.search.strategy.Search
Search heuristic combined with a constraint performing strong consistency on the next decision variable and branching on the value with the best objective bound (for optimization) and branches on the lower bound for SAT problems.
bestSolution - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
Last solution found, wrt PropagationGuidedNeighborhood.vars
bestSolution - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
Last solution found, wrt RandomNeighborhood.vars
beval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.logical.BiLoExpression
 
beval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.logical.NaLoExpression
 
beval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.logical.UnLoExpression
 
beval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.relational.BiReExpression
 
beval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.relational.NaReExpression
 
beval(int[], Map<IntVar, Integer>) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
BiArExpression - Class in org.chocosolver.solver.expression.discrete.arithmetic
Binary arithmetic expression
BiArExpression(ArExpression.Operator, ArExpression, ArExpression) - Constructor for class org.chocosolver.solver.expression.discrete.arithmetic.BiArExpression
Builds a binary expression
BiCArExpression - Class in org.chocosolver.solver.expression.continuous.arithmetic
Binary continuous arithmetic expression
BiCArExpression(CArExpression.Operator, CArExpression, CArExpression) - Constructor for class org.chocosolver.solver.expression.continuous.arithmetic.BiCArExpression
Builds a binary expression
BiCReExpression - Class in org.chocosolver.solver.expression.continuous.relational
Binary relational expression over continuous expressions
BiCReExpression(CReExpression.Operator, CArExpression, CArExpression) - Constructor for class org.chocosolver.solver.expression.continuous.relational.BiCReExpression
Builds a binary expression
BiLoExpression - Class in org.chocosolver.solver.expression.discrete.logical
Binary arithmetic expression
BiLoExpression(LoExpression.Operator, ReExpression, ReExpression) - Constructor for class org.chocosolver.solver.expression.discrete.logical.BiLoExpression
Builds a n-ary expression
BINARY - org.chocosolver.solver.constraints.PropagatorPriority
 
BinaryIntProcedure<A,​B> - Interface in org.chocosolver.util.procedure

BinaryProcedure<E,​A,​B> - Interface in org.chocosolver.util.procedure

binarySearchInc(int[], int, int, int, boolean) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Adapted from Arrays.binarySearch0(int[], int, int, int) , it returns the value greater or equal to key in an increasing order value array If the key exists in a, it returns the index of key in a, otherwise it returns the index of the closest value greater than key when gq is set to true, or the index of the closest value smaller than key when gq is set to false.
binomialCoefficients(int, int) - Static method in class org.chocosolver.util.tools.StatisticUtils
 
binPacking(IntVar[], int[], IntVar[], int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a BinPacking constraint.
BINPACKING - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
BinRelation - Class in org.chocosolver.solver.constraints.extension.binary
 
BinRelation() - Constructor for class org.chocosolver.solver.constraints.extension.binary.BinRelation
 
BIPARTITESET - org.chocosolver.util.objects.setDataStructures.SetType
 
BipartiteSetIterator() - Constructor for class org.chocosolver.util.objects.StoredIndexedBipartiteSet.BipartiteSetIterator
 
BiReExpression - Class in org.chocosolver.solver.expression.discrete.relational
Binary relational expression
BiReExpression(ReExpression.Operator, ArExpression, ArExpression) - Constructor for class org.chocosolver.solver.expression.discrete.relational.BiReExpression
Builds a binary expression
BITS_PER_WORD - Static variable in class org.chocosolver.memory.structure.S64BitSet
 
BITSET - org.chocosolver.util.objects.setDataStructures.SetType
 
BitsetArrayIntVarImpl - Class in org.chocosolver.solver.variables.impl

IntVar implementation for quite small domains bit with very distant values e.g. {-51900,42,235923}
BitsetArrayIntVarImpl(String, int[], Model) - Constructor for class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
Creates an IntVar based on an array of non-consecutive but ordered values.
BitsetIntVarImpl - Class in org.chocosolver.solver.variables.impl

BitsetIntVarImpl(String, int[], Model) - Constructor for class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
Create an enumerated IntVar based on a bitset
BitsetIntVarImpl(String, int, int, Model) - Constructor for class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
Create an enumerated IntVar based on a bitset
bitsIntChanneling(BoolVar[], IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an channeling constraint between an integer variable and a set of bit variables.
BITSINTCHANNELING - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
blackBox(IntVar...) - Static method in class org.chocosolver.solver.search.loop.lns.INeighborFactory
Creates a black-box LNS neighbor
BLUE - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
bool - Variable in class org.chocosolver.solver.constraints.ReificationConstraint
 
BOOL - Static variable in interface org.chocosolver.solver.variables.Variable
Kind of variable: boolean and integer too (unique).
BOOLCHANNELING - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
BoolEvtScheduler - Class in org.chocosolver.solver.variables.impl.scheduler
Created by cprudhom on 17/06/15.
BoolEvtScheduler() - Constructor for class org.chocosolver.solver.variables.impl.scheduler.BoolEvtScheduler
 
boolNotView(BoolVar) - Method in interface org.chocosolver.solver.variables.IViewFactory
Creates a view over bool holding the logical negation of bool (ie, ¬BOOL).
BoolNotView - Class in org.chocosolver.solver.variables.view
A view for boolean variable, that enforce not(b).
BoolNotView(BoolVar) - Constructor for class org.chocosolver.solver.variables.view.BoolNotView
Create a not view based on var
boolReif - Variable in class org.chocosolver.solver.constraints.Constraint
BoolVar that reifies this constraint, unique.
boolsIntChanneling(BoolVar[], IntVar, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an channeling constraint between an integer variable and a set of boolean variables.
boolVar() - Method in class org.chocosolver.solver.expression.discrete.logical.BiLoExpression
 
boolVar() - Method in class org.chocosolver.solver.expression.discrete.logical.LoExpression
 
boolVar() - Method in class org.chocosolver.solver.expression.discrete.logical.NaLoExpression
 
boolVar() - Method in class org.chocosolver.solver.expression.discrete.logical.UnLoExpression
 
boolVar() - Method in class org.chocosolver.solver.expression.discrete.relational.BiReExpression
 
boolVar() - Method in class org.chocosolver.solver.expression.discrete.relational.NaReExpression
 
boolVar() - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
boolVar() - Method in interface org.chocosolver.solver.variables.BoolVar
 
boolVar() - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create a boolean variable, i.e. a particular integer variable of domain {0, 1}
boolVar(boolean) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create a constant boolean variable equal to 1 if value is true and 0 otherwise
boolVar(String) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create a boolean variable
boolVar(String, boolean) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create a constant boolean variable equal to 1 if value is true and 0 otherwise
BoolVar - Interface in org.chocosolver.solver.variables

CPRU r544: remove default implementation
boolVarArray(int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create an array of size boolean variables
boolVarArray(String, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create an array of size boolean variables
BoolVarImpl - Class in org.chocosolver.solver.variables.impl

BoolVarImpl(String, Model) - Constructor for class org.chocosolver.solver.variables.impl.BoolVarImpl
Create a BoolVar {0,1} or {true, false}
boolVarMatrix(int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create a dim1*dim2-sized matrix of boolean variables
boolVarMatrix(String, int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create a dim1*dim2-sized matrix of boolean variables
BoolWorld - Class in org.chocosolver.memory.trailing.trail.chunck
A world devoted to integers.
BoolWorld(int, double) - Constructor for class org.chocosolver.memory.trailing.trail.chunck.BoolWorld
Make a new world.
BOTTOM_UP - org.chocosolver.solver.objective.OptimizationPolicy
Set the objective variable to its lowest value
bottomUpInit() - Method in class org.chocosolver.util.iterators.DisposableRangeBoundIterator
 
bottomUpInit() - Method in class org.chocosolver.util.iterators.DisposableRangeIterator
 
bottomUpInit() - Method in class org.chocosolver.util.iterators.DisposableValueBoundIterator
 
bottomUpInit() - Method in class org.chocosolver.util.iterators.DisposableValueIterator
 
bottomUpInit() - Method in interface org.chocosolver.util.iterators.RangeIterator
 
bottomUpInit() - Method in interface org.chocosolver.util.iterators.ValueIterator
Prepare iteration from smallest value to highest value (using ValueIterator.hasNext() / ValueIterator.next())
BOUND - org.chocosolver.solver.variables.events.IntEventType
Increasing lower bound and decreasing upper bound event
BOUND - org.chocosolver.solver.variables.events.RealEventType
 
boundAndInst() - Static method in enum org.chocosolver.solver.variables.events.IntEventType
 
bounds() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.utils.Counter
 
bounds() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.utils.CounterState
 
bounds() - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.utils.ICounter
 
Bounds - Class in org.chocosolver.solver.constraints.nary.automata.FA.utils
Created by IntelliJ IDEA.
Bounds.MinMax - Class in org.chocosolver.solver.constraints.nary.automata.FA.utils
 
BoundSearch - Class in org.chocosolver.solver.search.strategy
BEWARE: ONLY FOR INTEGERS (lets the default search work for other variable types) Search heuristic combined with a constraint performing strong consistency on the next decision variable and branching on the value with the best objective bound (for optimization) and branches on the lower bound for SAT problems.
BoundSearch(AbstractStrategy<IntVar>) - Constructor for class org.chocosolver.solver.search.strategy.BoundSearch
 
boundsForAddition(IntVar...) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForAddition(RealVar...) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForAtan2(RealVar, RealVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForDivision(IntVar, IntVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForDivision(RealVar, RealVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForMaximum(IntVar...) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForMaximum(RealVar...) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForMinimum(IntVar...) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForMinimum(RealVar...) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForModulo(IntVar, IntVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForMultiplication(IntVar, IntVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForMultiplication(RealVar, RealVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForPow(IntVar, IntVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForPow(RealVar, RealVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForScalar(IntVar[], int[]) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForSubstraction(IntVar, IntVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsForSubstraction(RealVar, RealVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
boundsManager - Variable in class org.chocosolver.solver.search.measure.Measures
Reference to the bound manager
branch - Variable in class org.chocosolver.solver.search.strategy.decision.Decision
Indication of the decision state. 0: not yet applied 1: applied once 2: refuter once, ...
bucket - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
 
build() - Method in class org.chocosolver.memory.EnvironmentBuilder
Build the environment
build() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.graph.G
Initialises the graph
build() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.graph.Gi
 
build() - Method in class org.chocosolver.solver.constraints.real.Ibex
Build the object (with all constraints added via add_ctr(...))
buildFakeHistory(StoredBool, boolean, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedBoolTrail
 
buildFakeHistory(StoredBool, boolean, int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredBoolTrail
 
buildFakeHistory(StoredBool, boolean, int) - Method in interface org.chocosolver.memory.trailing.trail.IStoredBoolTrail
 
buildFakeHistory(StoredDouble, double, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedDoubleTrail
 
buildFakeHistory(StoredDouble, double, int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredDoubleTrail
 
buildFakeHistory(StoredDouble, double, int) - Method in interface org.chocosolver.memory.trailing.trail.IStoredDoubleTrail
 
buildFakeHistory(StoredInt, int, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedIntTrail
 
buildFakeHistory(StoredInt, int, int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredIntTrail
 
buildFakeHistory(StoredInt, int, int) - Method in interface org.chocosolver.memory.trailing.trail.IStoredIntTrail
 
buildFakeHistory(StoredLong, long, int) - Method in class org.chocosolver.memory.trailing.trail.chunck.ChunckedLongTrail
 
buildFakeHistory(StoredLong, long, int) - Method in class org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail
 
buildFakeHistory(StoredLong, long, int) - Method in interface org.chocosolver.memory.trailing.trail.IStoredLongTrail
 
buildFakeHistoryOn(ICondition) - Method in class org.chocosolver.memory.AbstractEnvironment
 
buildFakeHistoryOn(ICondition) - Method in interface org.chocosolver.memory.IEnvironment
Force to build fake history when a stored object on a particular condition.
buildList(IEnvironment, int[]) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
 
buildList(IEnvironment, int[]) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSetWithOffset
 
buildNext() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
Build the refutation, hasNext() must be called before
bundle(int) - Method in class org.chocosolver.memory.structure.BasicIndexedBipartiteSet
Returns the bundle in which the i^h object is placed.

C

c - Variable in class org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton.Triple
 
c - Variable in exception org.chocosolver.solver.exception.ContradictionException
 
canBeTupled(IntVar...) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
Check whether the intension constraint to extension constraint substitution is enabled and can be achieved
candidates - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
Store the variable elligible for propagation
capa - Variable in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
 
card - Variable in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
 
cardinality - Variable in class org.chocosolver.solver.variables.impl.SetVarImpl
 
cardinality() - Method in interface org.chocosolver.memory.IStateBitSet
Number of bits on.
cardinality() - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
Returns the number of bits set to true in this BitSet.
cardinality() - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
Returns the number of bits set to true in this BitSet.
cardinality() - Method in class org.chocosolver.memory.structure.S64BitSet
Returns the number of bits set to true in this BitSet.
CARDINALITY - Variable in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
Total number of elements in the set
CArExpression - Interface in org.chocosolver.solver.expression.continuous.arithmetic
arithmetic expression over reals
CArExpression.Operator - Enum in org.chocosolver.solver.expression.continuous.arithmetic
List of available operator for arithmetic expression
Cause - Enum in org.chocosolver.solver

check() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
Necessary condition : checks whether the constraint is violted or not
check(double, double) - Method in class org.chocosolver.solver.constraints.real.PropScalarMixed
Whether the current state of the scalar product is entailed
check(int[]) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
check(int, int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
Whether the current state of the scalar product is entailed
check(IntVar...) - Method in class org.chocosolver.solver.constraints.extension.Tuples
Checks entailment of a table constraint over vars with this Tuples object
CHECK_SCOPE - Static variable in class org.chocosolver.solver.propagation.PropagationEngine
 
checkCondition() - Method in class org.chocosolver.solver.constraints.reification.PropConditionnal
Check a specific condition.
If the condition returns ESat.TRUE, then posts temporarily the first propagator,
If the condition returns Esat.FALSE, then it posts temporarily the second propagator,
Otherwise wait for the condition to be fully (un)satisfied.
checkCouple(int, int) - Method in class org.chocosolver.solver.constraints.extension.binary.BinRelation
return true if couple (x,y) is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if (x,y) is one of them.
checkDeclaredConstraints() - Method in class org.chocosolver.solver.DefaultSettings
 
checkDeclaredConstraints() - Method in interface org.chocosolver.solver.Settings
 
checkIntDomainRange(String, int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Checks domain range.
checkModel(Solver) - Method in class org.chocosolver.solver.DefaultSettings
 
checkModel(Solver) - Method in interface org.chocosolver.solver.Settings
 
checkNewStatus(Constraint.Status) - Method in class org.chocosolver.solver.constraints.Constraint
Check if the new status is not in conflict with the current one
checkRealDomainRange(String, double, double) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Checks domain range.
checkSort(IntVar[], int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepHeiSortCumulFilter
 
checkTuple(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.LargeRelation
return true if tuple is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if tuple is one of them.
checkTuple(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesLargeTable
 
checkTuple(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesList
 
checkTuple(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesTable
 
checkTuple(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesVeryLargeTable
 
checkWorld() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
children - Variable in class org.chocosolver.solver.constraints.nary.cnf.LogOp
 
ChunckedBoolTrail - Class in org.chocosolver.memory.trailing.trail.chunck
A trail for integers.
ChunckedBoolTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.chunck.ChunckedBoolTrail
Constructs a trail with predefined size and loadfactor
ChunckedDoubleTrail - Class in org.chocosolver.memory.trailing.trail.chunck
A trail for integers.
ChunckedDoubleTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.chunck.ChunckedDoubleTrail
Constructs a trail with predefined size and loadfactor
ChunckedIntTrail - Class in org.chocosolver.memory.trailing.trail.chunck
A trail for integers.
ChunckedIntTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.chunck.ChunckedIntTrail
Constructs a trail with predefined size and loadfactor
ChunckedLongTrail - Class in org.chocosolver.memory.trailing.trail.chunck
A trail for integers.
ChunckedLongTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.chunck.ChunckedLongTrail
Constructs a trail with predefined size and loadfactor
ChunckedOperationTrail - Class in org.chocosolver.memory.trailing.trail.chunck
 
ChunckedOperationTrail(int, int, double) - Constructor for class org.chocosolver.memory.trailing.trail.chunck.ChunckedOperationTrail
Constructs a trail with predefined size and loadfactor
ChunckedTrail<W extends World> - Class in org.chocosolver.memory.trailing.trail.chunck
An abstract segmented trail.
ChunckedTrail() - Constructor for class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail
 
circuit(IntVar[]) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a circuit constraint which ensures that
circuit(IntVar[], int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a circuit constraint which ensures that
circuit(IntVar[], int, CircuitConf) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a circuit constraint which ensures that
CIRCUIT - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
CircuitConf - Enum in org.chocosolver.solver.constraints.nary.circuit
Enum to specify the filtering level of the circuit global constraint
CircularQueue<E> - Class in org.chocosolver.util.objects.queues
A fixed sized circular queue optimized for removing first and last elements.
CircularQueue(int) - Constructor for class org.chocosolver.util.objects.queues.CircularQueue
 
clausesIntChanneling(IntVar, BoolVar[], BoolVar[]) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an channeling constraint between an integer variable and a set of clauses.
CLAUSESINTCHANNELING - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
cleanFlattenBoolVar() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
 
clear() - Method in interface org.chocosolver.memory.IStateBitSet
Remove all bits;
clear() - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
Sets all of the bits in this BitSet to false.
clear() - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
Sets all of the bits in this BitSet to false.
clear() - Method in class org.chocosolver.memory.structure.S64BitSet
Sets all of the bits in this BitSet to false.
clear() - Method in class org.chocosolver.memory.trailing.trail.chunck.BoolWorld
 
clear() - Method in class org.chocosolver.memory.trailing.trail.chunck.DoubleWorld
 
clear() - Method in class org.chocosolver.memory.trailing.trail.chunck.IntWorld
 
clear() - Method in class org.chocosolver.memory.trailing.trail.chunck.LongWorld
 
clear() - Method in class org.chocosolver.memory.trailing.trail.chunck.OperationWorld
 
clear() - Method in interface org.chocosolver.memory.trailing.trail.chunck.World
Clean the stack
clear() - Method in class org.chocosolver.solver.explanations.Rules
Clear this
clear() - Method in class org.chocosolver.solver.propagation.PropagationEngine
Clear internal structures
clear() - Method in class org.chocosolver.util.objects.IntCircularQueue
 
clear() - Method in class org.chocosolver.util.objects.IntList
The list will be empty after this call returns.
clear() - Method in class org.chocosolver.util.objects.IntMap
Removes all of the mappings from this map.
clear() - Method in class org.chocosolver.util.objects.PriorityQueue
Clears the list.
clear() - Method in class org.chocosolver.util.objects.queues.CircularQueue
Removes all the content of the queue
clear() - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_Std_BitSet
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_CstInterval
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
 
clear() - Method in interface org.chocosolver.util.objects.setDataStructures.ISet
Remove all elements from the set
clear() - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.Set_ReadOnly
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.StdSet
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
 
clear() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
 
clear(int) - Method in interface org.chocosolver.memory.IStateBitSet
Puts the specified bit off.
clear(int) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
Sets the bit specified by the index to false.
clear(int) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
Sets the bit specified by the index to false.
clear(int) - Method in class org.chocosolver.memory.structure.S64BitSet
Sets the bit specified by the index to false.
clear(int) - Method in class org.chocosolver.util.objects.IntMap
Remove the value to which the specified key is mapped.
clear(int, int) - Method in interface org.chocosolver.memory.IStateBitSet
 
clear(int, int) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
Sets the bits from the specified fromIndex (inclusive) to the specified toIndex (exclusive) to false.
clear(int, int) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
Sets the bits from the specified fromIndex (inclusive) to the specified toIndex (exclusive) to false.
clear(int, int) - Method in class org.chocosolver.memory.structure.S64BitSet
Sets the bits from the specified fromIndex (inclusive) to the specified toIndex (exclusive) to false.
clearEvents() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
clearEvents() - Method in interface org.chocosolver.solver.variables.Variable
Clear events stored temporarily by Variable.storeEvents(int, ICause)
clearInStack(int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
Clear the idx th bit of the to be removed bitset
clearMask() - Method in class org.chocosolver.solver.constraints.extension.nary.PropCompactTable.RSparseBitSet
 
clearObjective() - Method in class org.chocosolver.solver.Model
Removes any objective and set problem to a satisfaction problem
clearSupports(int, int, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph
 
clone() - Method in interface org.chocosolver.memory.structure.IndexedObject
 
clone() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
clone() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
clone() - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
 
clone() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
 
clone() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc
 
clone() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.Node
 
clone() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc
 
clone() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
 
clonePath() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
Compute the initial fragment, ie set of decisions to keep.
cloneVariableArrayInPropagator() - Method in class org.chocosolver.solver.DefaultSettings
 
cloneVariableArrayInPropagator() - Method in interface org.chocosolver.solver.Settings
 
close() - Method in class org.chocosolver.solver.trace.SearchViz
Close connection to cp-profiler.
combinaison(int, int) - Static method in class org.chocosolver.util.tools.MathUtils
it computes the number of combinaison C_n^p.
combine(IntEventType...) - Static method in enum org.chocosolver.solver.variables.events.IntEventType
Combines into a single mask some evts.
compare(int, int) - Method in class org.chocosolver.solver.constraints.extension.nary.ValidityChecker
 
compare(int, int) - Method in interface org.chocosolver.util.sort.IntComparator
comparator for primitive integers
compare(IntVar, IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
compareTo(Propagator) - Method in class org.chocosolver.solver.constraints.Propagator
 
compareTo(Variable) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
compareTo(Variable) - Method in class org.chocosolver.solver.variables.view.IntView
 
complement() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
complement(TIntHashSet) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
complement(IntIterableRangeSet, int, int) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
 
compress(int) - Method in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
 
compress(int) - Method in class org.chocosolver.util.graphOperations.dominance.AlphaDominatorsFinder
 
compress(int) - Method in class org.chocosolver.util.graphOperations.dominance.SimpleDominatorsFinder
 
computeDecision(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
computeDecision(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg
 
computeDecision(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased
 
computeDecision(IntVar) - Method in class org.chocosolver.solver.search.strategy.strategy.FullyRandom
 
computeDecision(IntVar) - Method in class org.chocosolver.solver.search.strategy.strategy.IntStrategy
 
computeDecision(RealVar) - Method in class org.chocosolver.solver.search.strategy.strategy.RealStrategy
 
computeDecision(SetVar) - Method in class org.chocosolver.solver.search.strategy.strategy.SetStrategy
 
computeDecision(Variable) - Method in class org.chocosolver.solver.search.strategy.strategy.GreedyBranching
 
computeDecision(Variable) - Method in class org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer
 
computeDecision(V) - Method in class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy
Computes a decision to be applied to variable var This method should be implemented in order to use search patterns
computeDecision(V) - Method in class org.chocosolver.solver.search.strategy.strategy.FindAndProve
 
computeLongestPath(TIntStack, double, double[], boolean, boolean, int, PropMultiCostRegular) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
 
computeMaxPriority() - Method in class org.chocosolver.solver.constraints.Constraint
 
computeMIS() - Method in interface org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.F
Computes an Independent Set as large as possible, although it is not necessarily maximum
computeMIS() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MD
 
computeMIS() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MDRk
 
computeMIS() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.Rk
 
computeMISRk() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MDRk
 
computePriority(int) - Static method in class org.chocosolver.solver.constraints.nary.sum.PropSum
Compute the priority of the propagator wrt the number of involved variables
computeSharpBounds() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
Iteratively compute upper and lower bound for the underlying RCSPP
computeShortestAndLongestPath(TIntStack, IntVar[], PropMultiCostRegular) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
 
computeShortestPath(TIntStack, double, double[], boolean, boolean, int, PropMultiCostRegular) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
 
computeSupports(Tuples) - Method in class org.chocosolver.solver.constraints.extension.nary.PropCompactTable
 
computeSupports(Tuples) - Method in class org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar
 
concat(int[], int...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Append elements at the end of another array
concat(BoolVar[], BoolVar...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Append elements at the end of another array
concat(IntVar[], IntVar...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Append elements at the end of another array
concat(T[], T...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Append elements at the end of another array
concatenate(FiniteAutomaton) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
Condition - Interface in org.chocosolver.solver.constraints.nary.alldifferent.conditions
A condition over integer variables
conf - Variable in class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
 
conflictOrderingSearch(AbstractStrategy<V>) - Static method in class org.chocosolver.solver.search.strategy.Search
Use the conflict ordering search as a pluggin to improve a former search heuristic Should be set after specifying a search strategy.
ConflictOrderingSearch<V extends Variable> - Class in org.chocosolver.solver.search.strategy.strategy
Conflict Ordering Search Composite heuristic which hacks a mainStrategy by forcing the use of variables involved in recent conflicts See "Conflict Ordering Search for Scheduling Problems", Steven Gay et al., CP2015.
ConflictOrderingSearch(Model, AbstractStrategy<V>) - Constructor for class org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch
Creates a conflict-ordering search
connect(String) - Method in class org.chocosolver.solver.trace.CPProfiler
 
connect(String) - Method in class org.chocosolver.solver.trace.GephiGenerator
 
connect(String) - Method in class org.chocosolver.solver.trace.GraphvizGenerator
 
connect(String) - Method in class org.chocosolver.solver.trace.SearchViz
 
connected - Variable in class org.chocosolver.solver.trace.SearchViz
Is connection alive
connectedGraph - Variable in class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
 
constante - Variable in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
The constant this variable relies on.
constraint - Variable in class org.chocosolver.solver.constraints.Propagator
Encapsuling constraint.
Constraint - Class in org.chocosolver.solver.constraints
A Constraint is basically a set of Propagator.
Constraint(String, Propagator...) - Constructor for class org.chocosolver.solver.constraints.Constraint
Make a new constraint defined as a set of given propagators
Constraint.Status - Enum in org.chocosolver.solver.constraints
Status of this constraint wrt the model
constraintNetworkToGephi(String) - Method in interface org.chocosolver.solver.trace.IOutputFactory
Populate a GEXF file (gexfFilename with constraint netwok to be vizualized with Gephi.
ConstraintsName - Class in org.chocosolver.solver.constraints
Utility class to store constraint's name.
ConstraintsName() - Constructor for class org.chocosolver.solver.constraints.ConstraintsName
 
contain(int) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSetWithOffset
 
contains(int) - Method in class org.chocosolver.memory.structure.BasicIndexedBipartiteSet
 
contains(int) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
contains(int) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
contains(int) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
contains(int) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
contains(int) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
contains(int) - Method in interface org.chocosolver.solver.variables.IntVar
Checks if a value v belongs to the domain of this
contains(int) - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
contains(int) - Method in class org.chocosolver.solver.variables.view.MinusView
 
contains(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
 
contains(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_Std_BitSet
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_CstInterval
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
 
contains(int) - Method in interface org.chocosolver.util.objects.setDataStructures.ISet
Test the existence of element in the set
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.Set_ReadOnly
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.StdSet
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
 
contains(int) - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
 
contains(int) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
 
contains(int) - Method in class org.chocosolver.util.objects.StoredSparseSet
Return if a value is contained.
contains(ISearchMonitor) - Method in class org.chocosolver.solver.search.loop.monitors.SearchMonitorList
Checks if this list contains a search monitor.
contains(T[], T) - Static method in enum org.chocosolver.util.tools.ArrayUtils
 
containsKey(int) - Method in class org.chocosolver.util.objects.IntMap
Returns true if this map contains a mapping for the specified key.
contract(int, double[]) - Method in class org.chocosolver.solver.constraints.real.Ibex
Same as contract(int, double bounds[], int reif) with reif=TRUE.
contract(int, double[], int) - Method in class org.chocosolver.solver.constraints.real.Ibex
Call the contractor associated to a constraint or its negation.
CONTRACT - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
contradiction(ICause, String) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
contradiction(ICause, String) - Method in interface org.chocosolver.solver.variables.Variable
Throws a contradiction exception based on
ContradictionException - Exception in org.chocosolver.solver.exception
A specific Exception to deal with contradiction.
ContradictionException() - Constructor for exception org.chocosolver.solver.exception.ContradictionException
 
convert() - Method in class org.chocosolver.solver.constraints.extension.binary.BinRelation
Convert this relation into 'Tuples'
convert() - Method in class org.chocosolver.solver.constraints.extension.nary.LargeRelation
Convert this relation into 'Tuples'
convert() - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesLargeTable
 
convert() - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesList
 
convert() - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesTable
 
convert() - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesVeryLargeTable
 
convertInMilliseconds(String) - Static method in class org.chocosolver.util.tools.TimeUtils
Convert a string which represents a duration.
convertInSeconds(String) - Static method in class org.chocosolver.util.tools.TimeUtils
Convert a string which represents a duration.
copy(V) - Static method in class org.chocosolver.solver.objective.ObjectiveFactory
 
copyIn(IntVar, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
Copy the domain of var in set.
copyOf(T[], int) - Static method in class org.chocosolver.memory.structure.S64BitSet
 
copyOf(U[], int, Class<? extends T[]>) - Static method in class org.chocosolver.memory.structure.S64BitSet
 
copySolution() - Method in class org.chocosolver.solver.Solution
 
cos() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
COS - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
cosine operator
cosh() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
COSH - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
hyperbolic cosine operator
cost - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
 
cost(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.utils.Counter
 
cost(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.utils.CounterState
 
cost(int, int) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.utils.ICounter
 
cost(int, int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.utils.Counter
 
cost(int, int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.utils.CounterState
 
cost(int, int, int) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.utils.ICounter
 
CostAutomaton - Class in org.chocosolver.solver.constraints.nary.automata.FA
Created by IntelliJ IDEA.
CostAutomaton() - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
CostAutomaton(IAutomaton) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
CostAutomaton(IAutomaton, List<ICounter>) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
CostAutomaton(IAutomaton, ICounter) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
costRegular(IntVar[], IntVar, ICostAutomaton) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a regular constraint that supports a cost function.
CostRegular - Class in org.chocosolver.solver.constraints.nary.automata
COST_REGULAR constraint
CostRegular(IntVar[], IntVar, ICostAutomaton) - Constructor for class org.chocosolver.solver.constraints.nary.automata.CostRegular
 
COSTREGULAR - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
costs - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Arcs
 
count - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood
number of neighbors declared
count(int, IntVar[], IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a count constraint.
count(IntVar, IntVar[], IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a count constraint.
COUNT - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
counter - Variable in class org.chocosolver.solver.search.loop.move.MoveLNS
Restart counter
Counter - Class in org.chocosolver.solver.constraints.nary.automata.FA.utils
Created by IntelliJ IDEA.
Counter(int[][][]) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.utils.Counter
 
Counter(int[][], int, int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.utils.Counter
 
counters - Variable in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
counters - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood
Number of time each neighbor succeed in finding a solution
CounterState - Class in org.chocosolver.solver.constraints.nary.automata.FA.utils
Created by IntelliJ IDEA.
CounterState(int[][][], int, int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.utils.CounterState
 
CPProfiler - Class in org.chocosolver.solver.trace
A search monitor to send data to cp-profiler.
CPProfiler(Solver, boolean) - Constructor for class org.chocosolver.solver.trace.CPProfiler
Active connection to cp-profiler.
createDelta() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
createDelta() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
createDelta() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
createDelta() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
createDelta() - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
 
createDelta() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
createDelta() - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
 
createDelta() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
createDelta() - Method in interface org.chocosolver.solver.variables.Variable
Create a delta, if necessary, in order to observe removed values of a this.
createDelta() - Method in class org.chocosolver.solver.variables.view.IntView
 
createDelta() - Method in class org.chocosolver.solver.variables.view.RealView
 
createEdge(Node, Node) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc.ArcFacroty
 
createEdge(Node, Node) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc.ArcFactory
 
createEdge(Node, Node) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc.ArcFactory
 
createNonRedundantSortedValues(TIntArrayList) - Static method in enum org.chocosolver.util.tools.ArrayUtils
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
createScheduler() - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
createScheduler() - Method in class org.chocosolver.solver.variables.view.MinusView
 
createScheduler() - Method in class org.chocosolver.solver.variables.view.OffsetView
 
createScheduler() - Method in class org.chocosolver.solver.variables.view.RealView
 
createScheduler() - Method in class org.chocosolver.solver.variables.view.ScaleView
 
CReExpression - Interface in org.chocosolver.solver.expression.continuous.relational
relational expression over continuous variables
CReExpression.Operator - Enum in org.chocosolver.solver.expression.continuous.relational
List of available operator for relational expression
criteria - Variable in class org.chocosolver.solver.Solver
List of stopping criteria.
Criterion - Interface in org.chocosolver.util.criteria
An interface which defines a criterion with lambda Created by cprudhom on 04/09/15.
cste - Variable in class org.chocosolver.solver.constraints.Arithmetic
 
cste - Variable in class org.chocosolver.solver.variables.view.OffsetView
A constant value
cste - Variable in class org.chocosolver.solver.variables.view.ScaleView
 
CSTE - Static variable in interface org.chocosolver.solver.variables.Variable
Type of variable: fixed (unique).
CSTE_NAME - Static variable in interface org.chocosolver.solver.variables.IVariableFactory
Default prefix for constants
CUBIC - org.chocosolver.solver.constraints.PropagatorPriority
 
cumulative(IntVar[], int[], int[], int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates and posts a decomposition of a cumulative constraint: Enforces that at each point in time, the cumulated height of the set of tasks that overlap that point does not exceed a given limit.
cumulative(Task[], IntVar[], IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a cumulative constraint: Enforces that at each point in time, the cumulated height of the set of tasks that overlap that point does not exceed a given limit.
cumulative(Task[], IntVar[], IntVar, boolean) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a cumulative constraint: Enforces that at each point in time, the cumulated height of the set of tasks that overlap that point does not exceed a given limit.
cumulative(Task[], IntVar[], IntVar, boolean, Cumulative.Filter...) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a cumulative constraint: Enforces that at each point in time, the cumulated height of the set of tasks that overlap that point does not exceed a given limit.
cumulative(Task[], IntVar[], IntVar, boolean, CumulFilter...) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a cumulative constraint: Enforces that at each point in time, the cumulated height of the set of tasks that overlap that point does not exceed a given limit.
Cumulative - Class in org.chocosolver.solver.constraints.nary.cumulative
Cumulative constraint
Cumulative(Task[], IntVar[], IntVar, boolean, Cumulative.Filter...) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.Cumulative
Cumulative constraint
Cumulative(Task[], IntVar[], IntVar, boolean, CumulFilter...) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.Cumulative
Cumulative constraint
CUMULATIVE - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
Cumulative.Filter - Enum in org.chocosolver.solver.constraints.nary.cumulative
Filtering algorithms for Cumulative constraint
cumulativeTimeDecomp(IntVar[], int[], int[], int) - Method in interface org.chocosolver.solver.constraints.binary.IDecompositionFactory
Creates and posts a decomposition of a cumulative constraint: associates a boolean variable to each task and each point of time sich that the scalar product of boolean variables per heights for each time never exceed capacity.
CumulFilter - Class in org.chocosolver.solver.constraints.nary.cumulative
Class able to filter a subset of tasks for the cumulative constraint
CumulFilter(int) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.CumulFilter
An object which can filter subset of tasks for the cumulative constraint
current - Variable in class org.chocosolver.memory.trailing.trail.chunck.ChunckedTrail
The current world.
current - Variable in class org.chocosolver.solver.search.strategy.selectors.variables.Cyclic
 
currentValue - Variable in class org.chocosolver.memory.IStateBool
 
currentValue - Variable in class org.chocosolver.memory.IStateDouble
 
currentValue - Variable in class org.chocosolver.memory.IStateInt
 
currentValue - Variable in class org.chocosolver.memory.IStateLong
 
currentValue() - Method in class org.chocosolver.solver.search.limits.BacktrackCounter
 
currentValue() - Method in class org.chocosolver.solver.search.limits.FailCounter
 
currentValue() - Method in interface org.chocosolver.solver.search.limits.ICounter
 
currentValue() - Method in class org.chocosolver.solver.search.limits.NodeCounter
 
currentValue() - Method in class org.chocosolver.solver.search.limits.SolutionCounter
 
currentValue() - Method in class org.chocosolver.solver.search.limits.TimeCounter
 
currentWorld - Variable in class org.chocosolver.memory.AbstractEnvironment
 
currTable - Variable in class org.chocosolver.solver.constraints.extension.nary.PropCompactTable
 
CUSTOM_PROPAGATION - org.chocosolver.solver.variables.events.PropagatorEventType
 
Cyclic<V extends Variable> - Class in org.chocosolver.solver.search.strategy.selectors.variables
A cyclic variable selector : Iterates over variables according to lexicographic ordering in a cyclic manner (loop back to the first variable)
Cyclic() - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.Cyclic
 

D

d - Variable in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
 
D - Interface in org.chocosolver.solver.constraints.nary.nvalue.amnv.differences
Interface to represent a set of difference constraints
date - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter.Event
 
decDepth() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
Decrements current depth
Decision<E extends Variable> - Class in org.chocosolver.solver.search.strategy.decision
An abstract which defines a Decision
Decision(int) - Constructor for class org.chocosolver.solver.search.strategy.decision.Decision
Create a arity-decision.
DecisionMaker - Class in org.chocosolver.solver.search.strategy.decision
A class that creates decisions on demand and maintains pool manager
DecisionMaker() - Constructor for class org.chocosolver.solver.search.strategy.decision.DecisionMaker
Create a decision maker, that eases decision creation.
DecisionOperator<V extends Variable> - Interface in org.chocosolver.solver.search.strategy.assignments

DecisionOperatorFactory - Class in org.chocosolver.solver.search.strategy.assignments
Create serializable decisions.
DecisionPath - Class in org.chocosolver.solver.search.strategy.decision
To handle set of decisions.
DecisionPath(IEnvironment) - Constructor for class org.chocosolver.solver.search.strategy.decision.DecisionPath
Create a decision path
declare(RealPropagator) - Method in class org.chocosolver.solver.constraints.real.IbexHandler
Add new functions to Ibex
declareAs(Constraint.Status, int) - Method in class org.chocosolver.solver.constraints.Constraint
For internal usage only, declare the status of this constraint in the model and, if need be, its position in the constraint list.
decompose() - Method in class org.chocosolver.solver.expression.discrete.logical.BiLoExpression
 
decompose() - Method in class org.chocosolver.solver.expression.discrete.logical.NaLoExpression
 
decompose() - Method in class org.chocosolver.solver.expression.discrete.logical.UnLoExpression
 
decompose() - Method in class org.chocosolver.solver.expression.discrete.relational.BiReExpression
 
decompose() - Method in class org.chocosolver.solver.expression.discrete.relational.NaReExpression
 
decompose() - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
DECUPP - org.chocosolver.solver.variables.events.IntEventType
Decreasing upper bound event
DECUPP - org.chocosolver.solver.variables.events.RealEventType
 
DEFAULT - org.chocosolver.solver.constraints.nary.cumulative.Cumulative.Filter
Combines above filters as a black-box not idempotent
DEFAULT - Static variable in class org.chocosolver.solver.constraints.nary.alldifferent.AllDifferent
 
DefaultCumulFilter - Class in org.chocosolver.solver.constraints.nary.cumulative
Default filtering for cumulative
DefaultCumulFilter(int) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.DefaultCumulFilter
 
DefaultDecisionMessage(Solver) - Constructor for class org.chocosolver.solver.trace.IOutputFactory.DefaultDecisionMessage
Create a decision message
defaultKValue - Static variable in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.Rk
number of random iterations
defaultPrefix() - Method in class org.chocosolver.solver.DefaultSettings
 
defaultPrefix() - Method in interface org.chocosolver.solver.Settings
Define the prefix of internally created variables (through a call to IVariableFactory.generateName()
defaultSearch(Model) - Static method in class org.chocosolver.solver.search.strategy.Search
Creates a default search strategy for the given model.
DefaultSettings - Class in org.chocosolver.solver
A concrete implementation of Settings that enables to modify settings programmatically.
DefaultSettings() - Constructor for class org.chocosolver.solver.DefaultSettings
 
DefaultSolutionMessage(Solver) - Constructor for class org.chocosolver.solver.trace.IOutputFactory.DefaultSolutionMessage
Create a solution message
delayedBoundUpdate(TIntStack, IntVar[], int...) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
delayedGraphUpdate() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
Updates the graphs w.r.t. the caught event during event-based propagation
delayedPropagation(Propagator, PropagatorEventType) - Method in class org.chocosolver.solver.propagation.PropagationEngine
Exeucte a delayed propagator
deleteTransition(int, int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
delta - Variable in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
 
delta - Variable in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
 
delta - Variable in class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor
 
delta - Variable in class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
 
delta - Variable in class org.chocosolver.solver.variables.impl.SetVarImpl
 
delta - Variable in class org.chocosolver.solver.variables.view.IntView
To store removed values
delta(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
delta(int, int) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
 
delta(int, int, TIntHashSet) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
delta(int, int, TIntHashSet) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
 
deny() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Flip the boolean operator of this (recursive).
depth - Variable in class org.chocosolver.solver.search.measure.Measures
Stores the current depth
desactivatePropagator(Propagator) - Method in class org.chocosolver.solver.propagation.PropagationEngine
Set the propagator as inactivated within the propagation engine
dest - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
 
dest - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc
 
dest - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc
 
dests - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Arcs
 
dests - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Arcs
 
detect(IntVar, int[], IntVar, int) - Static method in class org.chocosolver.solver.constraints.binary.element.ElementFactory
Detect and return the most adapted Element propagator wrt to the values in TABLE
developOr(LogOp) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogicTreeToolBox
Moves down 'OR' operand in the logical expression n.
DIAM - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
DICHOTOMIC - org.chocosolver.solver.objective.OptimizationPolicy
Split the domain of the objective variable
diffN(IntVar[], IntVar[], IntVar[], IntVar[], boolean) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a diffN constraint.
DIFFN - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
DIFFNWITHCUMULATIVE - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
DirectedGraph - Class in org.chocosolver.util.objects.graphs
Directed graph implementation : arcs are indexed per endpoints
DirectedGraph(int, SetType, boolean) - Constructor for class org.chocosolver.util.objects.graphs.DirectedGraph
Creates an empty graph.
DirectedGraph(Model, int, SetType, boolean) - Constructor for class org.chocosolver.util.objects.graphs.DirectedGraph
Creates an empty backtrable graph of n nodes Allocates memory for n nodes (but they should then be added explicitly, unless allNodes is true).
dis - Variable in class org.chocosolver.solver.search.loop.move.MoveBinaryLDS
current discrepancy, maintained incrementally
DIS - Variable in class org.chocosolver.solver.search.loop.move.MoveBinaryLDS
max discrepancy allowed
DISC - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
disconnect() - Method in class org.chocosolver.solver.trace.CPProfiler
 
disconnect() - Method in class org.chocosolver.solver.trace.GephiGenerator
 
disconnect() - Method in class org.chocosolver.solver.trace.GraphvizGenerator
 
disconnect() - Method in class org.chocosolver.solver.trace.SearchViz
 
DISCRETE_NOT_INSTANCIATED - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
disjoint(SetVar, SetVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint stating that the intersection of set1 and set2 should be empty Note that they can be both empty
DISJUNCTIVE_TASK_INTERVAL - org.chocosolver.solver.constraints.nary.cumulative.Cumulative.Filter
energetic reasoning to filter disjunctive constraint Only propagated on variable subsets of size < 30 not idempotent not enough to ensure correctness (only an additional filtering)
DisjunctiveTaskIntervalFilter - Class in org.chocosolver.solver.constraints.nary.cumulative
 
DisjunctiveTaskIntervalFilter(int) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.DisjunctiveTaskIntervalFilter
 
Disposable - Class in org.chocosolver.util.iterators

Disposable() - Constructor for class org.chocosolver.util.iterators.Disposable
 
DisposableIntIterator - Class in org.chocosolver.util.iterators
 
DisposableIntIterator() - Constructor for class org.chocosolver.util.iterators.DisposableIntIterator
 
DisposableRangeBoundIterator - Class in org.chocosolver.util.iterators

DisposableRangeBoundIterator(IntVar) - Constructor for class org.chocosolver.util.iterators.DisposableRangeBoundIterator
 
DisposableRangeIterator - Class in org.chocosolver.util.iterators
An disposable iterator for a range sequence.
DisposableRangeIterator() - Constructor for class org.chocosolver.util.iterators.DisposableRangeIterator
 
DisposableValueBoundIterator - Class in org.chocosolver.util.iterators

DisposableValueBoundIterator(IntVar) - Constructor for class org.chocosolver.util.iterators.DisposableValueBoundIterator
 
DisposableValueIterator - Class in org.chocosolver.util.iterators
An disposable values iterator for values.
DisposableValueIterator() - Constructor for class org.chocosolver.util.iterators.DisposableValueIterator
 
dispose() - Method in class org.chocosolver.util.iterators.Disposable
This method allows to declare that the iterator is not used anymoure.
dist(int) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
dist(ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
distance(IntVar, IntVar, String, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a distance constraint : |var1-var2| op cste
where op can take its value among {"=", ">", "<", "!
distance(IntVar, IntVar, String, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a distance constraint: |var1-var2| op var3
where op can take its value among {"=", ">", "<"}
DISTANCE - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
distribute(LogOp) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogicTreeToolBox
Distributes 'OR's inwards over 'AND's in n
div(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
div(int) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
div(CArExpression) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
div(ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
div(IntVar, IntVar, IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an euclidean division constraint.
DIV - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
division operator
DIV - org.chocosolver.solver.expression.discrete.arithmetic.ArExpression.Operator
division operator
divCeil(int, int) - Static method in class org.chocosolver.util.tools.MathUtils
Returns the smallest (closest to positive infinity) int value that is greater or equal to a/b.
divFloor(int, int) - Static method in class org.chocosolver.util.tools.MathUtils
Returns the largest (closest to positive infinity) int value that is less than or equal to a/b.
DIVISION - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
dlb - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
DM - Static variable in class org.chocosolver.solver.explanations.RuleStore
Mask for integer variable modification
doFinePropagation() - Method in class org.chocosolver.solver.constraints.Propagator
Apply fine event propagation of this.
doFlush() - Method in class org.chocosolver.solver.constraints.Propagator
Flush pending events
doInstantiateVar(int) - Method in class org.chocosolver.solver.variables.view.IntView
Action to execute on IntView.var when this view requires to instantiate it
doInstantiateVar(int) - Method in class org.chocosolver.solver.variables.view.MinusView
 
doInstantiateVar(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
 
doInstantiateVar(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
 
dom - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
 
domainCardinality(IntVar...) - Static method in class org.chocosolver.util.tools.VariableUtils
 
domFinder - Variable in class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
 
DomOverWDeg - Class in org.chocosolver.solver.search.strategy.selectors.variables
Implementation of DowOverWDeg[1]
DomOverWDeg(IntVar[], long, IntValueSelector) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg
Creates a DomOverWDeg variable selector
domOverWDegSearch(IntVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
Assignment strategy which selects a variable according to DomOverWDeg and assign it to its lower bound
doRemoveIntervalFromVar(int, int) - Method in class org.chocosolver.solver.variables.view.IntView
Action to execute on IntView.var when this view requires to remove an interval from it
doRemoveIntervalFromVar(int, int) - Method in class org.chocosolver.solver.variables.view.MinusView
 
doRemoveIntervalFromVar(int, int) - Method in class org.chocosolver.solver.variables.view.OffsetView
 
doRemoveIntervalFromVar(int, int) - Method in class org.chocosolver.solver.variables.view.ScaleView
 
doRemoveValueFromVar(int) - Method in class org.chocosolver.solver.variables.view.IntView
Action to execute on IntView.var when this view requires to remove a value from it
doRemoveValueFromVar(int) - Method in class org.chocosolver.solver.variables.view.MinusView
 
doRemoveValueFromVar(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
 
doRemoveValueFromVar(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
 
doRestart(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
Extend the neighbor when conditions are met and do the restart
doSchedule(CircularQueue<Propagator>[]) - Method in class org.chocosolver.solver.constraints.Propagator
Apply scheduling instruction
doScheduleEvent(int, int) - Method in class org.chocosolver.solver.constraints.Propagator
 
DoubleWorld - Class in org.chocosolver.memory.trailing.trail.chunck
A world devoted to integers.
DoubleWorld(int, double) - Constructor for class org.chocosolver.memory.trailing.trail.chunck.DoubleWorld
Make a new world.
doUpdateLowerBoundOfVar(int) - Method in class org.chocosolver.solver.variables.view.IntView
Action to execute on IntView.var when this view requires to update its lower bound
doUpdateLowerBoundOfVar(int) - Method in class org.chocosolver.solver.variables.view.MinusView
 
doUpdateLowerBoundOfVar(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
 
doUpdateLowerBoundOfVar(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
 
doUpdateUpperBoundOfVar(int) - Method in class org.chocosolver.solver.variables.view.IntView
Action to execute on IntView.var when this view requires to update its upper bound
doUpdateUpperBoundOfVar(int) - Method in class org.chocosolver.solver.variables.view.MinusView
 
doUpdateUpperBoundOfVar(int) - Method in class org.chocosolver.solver.variables.view.OffsetView
 
doUpdateUpperBoundOfVar(int) - Method in class org.chocosolver.solver.variables.view.ScaleView
 
dpath - Variable in class org.chocosolver.solver.Solver
The current decision
dsize - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
Domain size of each variable in PropagationGuidedNeighborhood.vars
duplicate() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
 
duplicate() - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
 
duplicate() - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
 
duplicate() - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
 
duplicate() - Method in interface org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSet
Returns a carbon-copy of this set
dynamicAddition(boolean, Propagator...) - Method in class org.chocosolver.solver.propagation.PropagationEngine
Add a constraint to the propagation engine
dynamicAdditions - Static variable in class org.chocosolver.solver.constraints.nary.nvalue.amnv.differences.AutoDiffDetection
whether or not disequality constraints may be added during search
dynamicDeletion(Propagator...) - Method in class org.chocosolver.solver.propagation.PropagationEngine
Delete the list of propagators in input from the engine
dynPriority() - Method in class org.chocosolver.solver.constraints.Propagator
Return the dynamic priority of this propagator.

E

e - Variable in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
 
eachSolutionWithMeasure(BiConsumer<Solution, IMeasures>, Criterion...) - Method in interface org.chocosolver.solver.search.IResolutionHelper
Explore the model, calling a BiConsumer for each Solution with its corresponding IMeasures.
ECP - Static variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
edgeExists(int, int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
test whether edge (x,y) is in the graph or not
EDGETAG - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
EEDGESTAG - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
EGRAPGTAG - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
elb - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
element(IntVar, int[], IntVar) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an element constraint: value = table[index]
element(IntVar, int[], IntVar, int) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
Generate valid tuples for an element constraint : TABLE[INDEX-OFFSET] = VALUE
element(IntVar, int[], IntVar, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an element constraint: value = table[index-offset]
element(IntVar, IntVar[], IntVar, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a element constraint: value = table[index-offset] where table is an array of variables.
element(IntVar, SetVar[], int, SetVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint enabling to retrieve an element set in sets: sets[index-offset] = set
element(IntVar, SetVar[], SetVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint enabling to retrieve an element set in sets: sets[index] = set
ELEMENT - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
elementData - Variable in class org.chocosolver.memory.IStateDoubleVector
Contains the elements of the vector.
elementData - Variable in class org.chocosolver.memory.IStateIntVector
Contains the elements of the vector.
ElementFactory - Class in org.chocosolver.solver.constraints.binary.element
A factory that selects the most adapted element propagator.
ELEMENTS - Variable in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
Store elements
EMPTY - Static variable in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
Express "no edge" information
enableACOnTernarySum() - Method in class org.chocosolver.solver.DefaultSettings
 
enableACOnTernarySum() - Method in interface org.chocosolver.solver.Settings
 
enableDecompositionOfBooleanSum() - Method in class org.chocosolver.solver.DefaultSettings
 
enableDecompositionOfBooleanSum() - Method in interface org.chocosolver.solver.Settings
 
enableHybridizationOfPropagationEngine() - Method in class org.chocosolver.solver.DefaultSettings
 
enableHybridizationOfPropagationEngine() - Method in interface org.chocosolver.solver.Settings
 
enableIncrementalityOnBoolSum(int) - Method in class org.chocosolver.solver.DefaultSettings
 
enableIncrementalityOnBoolSum(int) - Method in interface org.chocosolver.solver.Settings
 
enableSAT() - Method in class org.chocosolver.solver.DefaultSettings
 
enableSAT() - Method in interface org.chocosolver.solver.Settings
 
enableTableSubstitution() - Method in class org.chocosolver.solver.DefaultSettings
 
enableTableSubstitution() - Method in interface org.chocosolver.solver.Settings
 
enableViews() - Method in class org.chocosolver.solver.DefaultSettings
 
enableViews() - Method in interface org.chocosolver.solver.Settings
 
enforceEq(int, int, IntVar[], Propagator) - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.rules.R3
 
engine - Variable in class org.chocosolver.solver.Solver
The propagation engine to use
ENODESTAG - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
ensureBoundConsistency() - Method in class org.chocosolver.solver.variables.Task
Applies BC-filtering so that start + duration = end
ensureCapacity(int) - Method in class org.chocosolver.memory.structure.S64BitSet
Ensures that the BitSet can hold enough words.
ensureCapacity(int) - Method in class org.chocosolver.memory.trailing.StoredDoubleVector
Checks if the capacity is great enough, else the capacity is extended.
ensureCapacity(int) - Method in class org.chocosolver.memory.trailing.StoredIntVector
Checks if the capacity is great enough, else the capacity is extended.
ENTAILED - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
EnumDelta - Class in org.chocosolver.solver.variables.delta
A class to store the removed value of an integer variable.
EnumDelta(IEnvironment) - Constructor for class org.chocosolver.solver.variables.delta.EnumDelta
 
EnumDeltaMonitor - Class in org.chocosolver.solver.variables.delta.monitor

EnumDeltaMonitor(IEnumDelta, ICause) - Constructor for class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
 
environment - Variable in class org.chocosolver.memory.IStateBool
 
environment - Variable in class org.chocosolver.memory.IStateDouble
 
environment - Variable in class org.chocosolver.memory.IStateDoubleVector
The current environment.
environment - Variable in class org.chocosolver.memory.IStateInt
 
environment - Variable in class org.chocosolver.memory.IStateIntVector
The current environment.
environment - Variable in class org.chocosolver.memory.IStateLong
 
EnvironmentBuilder - Class in org.chocosolver.memory
Project: choco-solver.
EnvironmentBuilder() - Constructor for class org.chocosolver.memory.EnvironmentBuilder
 
EnvironmentTrailing - Class in org.chocosolver.memory.trailing
The root class for managing memory and sessions.
EnvironmentTrailing() - Constructor for class org.chocosolver.memory.trailing.EnvironmentTrailing
 
epsilon - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
Restriction parameter
eq(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
eq(int) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
eq(CArExpression) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
eq(ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
eq(ArExpression...) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
EQ - org.chocosolver.solver.constraints.Operator
 
EQ - org.chocosolver.solver.expression.continuous.relational.CReExpression.Operator
equal to
EQ - org.chocosolver.solver.expression.discrete.relational.ReExpression.Operator
equal to
equals(Object) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
 
equals(Object) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
 
equals(Object) - Method in class org.chocosolver.memory.structure.S64BitSet
 
equals(Object) - Method in class org.chocosolver.solver.constraints.Propagator
 
ESat - Enum in org.chocosolver.util

eub - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
eucl_div(IntVar, IntVar, IntVar) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
Generate valid tuples for euclidean division constraint: DIVIDEND / DIVISOR = RESULT, rounding towards 0
eval(boolean) - Static method in enum org.chocosolver.util.ESat
 
eval(int) - Method in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
 
eval(int) - Method in class org.chocosolver.util.graphOperations.dominance.AlphaDominatorsFinder
 
eval(int) - Method in class org.chocosolver.util.graphOperations.dominance.SimpleDominatorsFinder
 
evaluate(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.AntiFirstFail
 
evaluate(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.FirstFail
 
evaluate(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Largest
 
evaluate(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.MaxRegret
 
evaluate(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Smallest
 
evaluate(SetVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.MaxDelta
 
evaluate(SetVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.MinDelta
 
evaluate(T) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Random
 
evaluate(V) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Occurrence
 
evaluate(V) - Method in interface org.chocosolver.solver.search.strategy.selectors.variables.VariableEvaluator
Evaluates the heuristic that is minimized in order to find the best variable
Event() - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter.Event
 
eventComparator - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
events - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
EvtScheduler<E extends IEventType> - Interface in org.chocosolver.util.iterators
Created by cprudhom on 17/06/15.
Except_0 - Class in org.chocosolver.memory
A condition for building fake history based on the world index of the environment.
Except_0() - Constructor for class org.chocosolver.memory.Except_0
 
EXCEPT_0 - Static variable in interface org.chocosolver.solver.constraints.nary.alldifferent.conditions.Condition
Satisfied iff the variable cannot take value 0
exception - Variable in class org.chocosolver.solver.Solver
Internal unique contradiction exception, used on propagation failures
execute(int) - Method in interface org.chocosolver.util.procedure.IntProcedure
Action to execute in a Delta object, within the forEachRemVal method.
execute(int) - Method in interface org.chocosolver.util.procedure.SafeIntProcedure
Action to execute in a Delta object, within the forEachRemVal method.
execute(int, int) - Method in interface org.chocosolver.util.procedure.PairProcedure
Action to execute in a GraphDelta object, within the forEachRemVal method.
execute(E) - Method in interface org.chocosolver.util.procedure.Procedure
Action to execute in a Delta object, within the forEachRemVal method.
execute(Propagator) - Method in class org.chocosolver.solver.propagation.PropagationEngine
Execute 'coarse' propagation on a newly added propagator or one that should be propagated on backtrack
execute(Solver) - Method in interface org.chocosolver.solver.search.loop.propagate.Propagate
Propagate information throughout the constraint network, that is, apply decision and post dynamic cut (if any).
execute(Solver) - Method in class org.chocosolver.solver.search.loop.propagate.PropagateBasic
 
exists() - Method in class org.chocosolver.solver.Solution
 
exists(int...) - Method in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
Return true is PATH has a support in the mdd
EXMLTAG - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
exp() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
EXP - org.chocosolver.solver.expression.continuous.arithmetic.CArExpression.Operator
exponential operator
expandNot(LogOp) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogicTreeToolBox
Erases 'NOT' operand from the logical expression n by flipping the right children
explain() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
Force the failure, apply decisions to the last solution + cut => failure!
explain() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingObjective
 
explain(ContradictionException) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
Compute the explanation of the last event from the event store (naturally, the one that leads to a conflict), and return the explanation of the failure, that is, the (sub-)set of decisions and propagators explaining the conflict.
explain(ContradictionException) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
Compute the explanation of the last event from the event store (naturally, the one that leads to a conflict), and return the explanation of the failure, that is, the (sub-)set of decisions and propagators explaining the conflict.
explainer - Variable in class org.chocosolver.solver.Solver
An explanation engine
ExplainingCut - Class in org.chocosolver.solver.search.loop.lns.neighbors
a specific neighborhood for LNS based on the explanation of the cut imposed by a new solution.
ExplainingCut(Model, int, long) - Constructor for class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
Create a neighborhood which analyses the explanation of the cut wrt decision path to focus on decisions more prone to not interact with the cut
ExplainingObjective - Class in org.chocosolver.solver.search.loop.lns.neighbors
a specific neighborhood for LNS based on the explanation of the objective variable.
ExplainingObjective(Model, int, long) - Constructor for class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingObjective
Create a neighborhood which analyses the explanation of the objective current value to focus on decisions more prone to improve its value
Explanation - Class in org.chocosolver.solver.explanations
An explanation is simply a set of causes and decisions explaining a situation, for instance a conflict.
explanationBased(IntVar...) - Static method in class org.chocosolver.solver.search.loop.lns.INeighborFactory
Creates an Explanation based LNS Neighbor
ExplanationEngine - Class in org.chocosolver.solver.explanations
An Asynchronous, Reverse, Low-Intrusive and Lazy explanation engine Based on "A Lazy explanation engine for Choco3", C.Prud'homme.
ExplanationEngine(Model, boolean, boolean) - Constructor for class org.chocosolver.solver.explanations.ExplanationEngine
Create an explanation engine based on a rule store
extend - org.chocosolver.solver.Solver.Action
extension step
extend() - Method in class org.chocosolver.solver.Solver
Search loop extend phase
extend(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 not proven to be not consistent.
extend(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDDS
 
extend(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
 
extend(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryHBFS
 
extend(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveLearnBinaryTDR
 
extend(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
Return false when: the underlying search has no more decision to provide,
extend(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
 
extend(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveSeq
 
extension() - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
extract(IntVar) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
Copy the domain of var into an IntIterableRangeSet.
extract(Task[], IntVar[], IntVar) - Static method in class org.chocosolver.solver.constraints.nary.cumulative.Cumulative
 
extractOpenRightBranches(Solver) - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryHBFS
This methods extracts and stores all open right branches for future exploration
extractTuples() - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinCSP
Extract the tuples from this internal data structure
extractTuples() - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeCSP
Extract the tuples from this internal data structure
extractVar(HashSet<IntVar>) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
Extract the variables from this expression
extractVar(HashSet<IntVar>) - Method in class org.chocosolver.solver.expression.discrete.arithmetic.IfArExpression
 
extractVar(HashSet<IntVar>) - Method in class org.chocosolver.solver.expression.discrete.logical.BiLoExpression
 
extractVar(HashSet<IntVar>) - Method in class org.chocosolver.solver.expression.discrete.logical.NaLoExpression
 
extractVar(HashSet<IntVar>) - Method in class org.chocosolver.solver.expression.discrete.logical.UnLoExpression
 
extractVar(HashSet<IntVar>) - Method in class org.chocosolver.solver.expression.discrete.relational.BiReExpression
 
extractVar(HashSet<IntVar>) - Method in class org.chocosolver.solver.expression.discrete.relational.NaReExpression
 
extractVar(HashSet<IntVar>) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
Extract the variables from this expression
extractVar(HashSet<IntVar>) - Method in interface org.chocosolver.solver.variables.BoolVar
 

F

F - Interface in org.chocosolver.solver.constraints.nary.nvalue.amnv.mis
Interface to represent an heuristic which computes independent sets
factorial(int) - Static method in class org.chocosolver.util.tools.MathUtils
simple recursive version of factorial
FAIL - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
failCount - Variable in class org.chocosolver.solver.search.measure.Measures
Counts the number of failures encountered so far.
FailCounter - Class in org.chocosolver.solver.search.limits
Set a limit over the number of fails allowed during the search.
FailCounter(Model, long) - Constructor for class org.chocosolver.solver.search.limits.FailCounter
 
FailCounter(IMeasures, long) - Constructor for class org.chocosolver.solver.search.limits.FailCounter
 
fails() - Method in class org.chocosolver.solver.constraints.Propagator
Throws a contradiction exception
fakeHistoryNeeded() - Method in class org.chocosolver.memory.AbstractEnvironment
 
fakeHistoryNeeded() - Method in interface org.chocosolver.memory.IEnvironment
 
FALSE - org.chocosolver.util.ESat
 
FALSE - Static variable in interface org.chocosolver.memory.ICondition
False condition, never satisfied
FALSE - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
FALSE - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
FALSE_OR_TRUE - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
falseCons - Variable in class org.chocosolver.solver.constraints.ReificationConstraint
 
falseConstraint() - Method in class org.chocosolver.solver.Model
The basic "false" constraint, which is always violated
FastBooleanValidityChecker - Class in org.chocosolver.solver.constraints.extension.nary
 
FastBooleanValidityChecker(int, IntVar[]) - Constructor for class org.chocosolver.solver.constraints.extension.nary.FastBooleanValidityChecker
 
FastPathFinder - Class in org.chocosolver.solver.constraints.nary.automata.structure.multicostregular
Created by IntelliJ IDEA.
FastPathFinder(StoredDirectedMultiGraph) - Constructor for class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
 
FastResetArrayStack() - Constructor for class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst.FastResetArrayStack
 
FC - Static variable in class org.chocosolver.solver.constraints.nary.alldifferent.AllDifferent
 
feasible - Variable in class org.chocosolver.solver.Solver
Problem feasbility: - UNDEFINED if unknown, - TRUE if satisfiable, - FALSE if unsatisfiable
fgmtSize - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
Intial size of the fragment
fifo - Variable in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MD
 
fill(Automaton, TIntHashSet) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
fillInStackTrace() - Method in exception org.chocosolver.solver.exception.ContradictionException
filter - Variable in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffAC
 
filter() - Method in class org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffBC
 
filter() - Method in class org.chocosolver.solver.constraints.nary.min_max.PropBoolMax
 
filter() - Method in class org.chocosolver.solver.constraints.nary.min_max.PropBoolMin
 
filter() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
Execute filtering wrt the operator
filter() - Method in class org.chocosolver.solver.constraints.real.PropScalarMixed
Execute filtering wrt the operator
filter() - Method in class org.chocosolver.solver.constraints.set.PropNbEmpty
 
filter(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, ISet, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.CumulFilter
Filters the cumulative constraint over the subset of tasks induced by tasks
filter(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, ISet, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.DefaultCumulFilter
 
filter(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, ISet, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.DisjunctiveTaskIntervalFilter
 
filter(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, ISet, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.NaiveTimeCumulFilter
 
filter(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, ISet, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.NRJCumulFilter
 
filter(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, ISet, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
filter(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, ISet, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepHeiSortCumulFilter
 
filter(IntVar[], IntVar[], IntVar[], IntVar[], IntVar, ISet, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.TimeCumulFilter
 
filter(IntVar[], UndirectedGraph, F, Propagator) - Method in interface org.chocosolver.solver.constraints.nary.nvalue.amnv.rules.R
 
filter(IntVar[], UndirectedGraph, F, Propagator) - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.rules.R1
 
filter(IntVar[], UndirectedGraph, F, Propagator) - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.rules.R2
 
filter(IntVar[], UndirectedGraph, F, Propagator) - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.rules.R3
 
filter(IntVar[], UndirectedGraph, F, Propagator) - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.rules.R4
 
filter(ISet) - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
 
filterAround(int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropGraphCumulative
 
filterDown(double) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
Filters w.r.t. a given lower bound.
filterFromBox(int) - Method in class org.chocosolver.solver.constraints.nary.PropDiffN
 
filterFromDom(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_AntiArboFiltering
 
filterFromDom(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
 
filterFromSource(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropCircuitSCC
 
filterFromVarToVar(IntVar, IntVar) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
Initial propagation in case of EQ and enumerated domains
filterFromXYtoLBZ(int) - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
Update lower bound of Z if X !
filterFromXYtoUBZ(int) - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
update upper bound of Z as max(|Y.sup - X.inf|, |Y.inf - X.sup|) - delta
filterFromXYtoZ() - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
 
filterFromXYtoZ() - Method in class org.chocosolver.solver.constraints.ternary.PropEQDistanceXYZ
 
filterFromXYtoZ() - Method in class org.chocosolver.solver.constraints.ternary.PropGEDistanceXYZ
 
filterFromXYtoZ() - Method in class org.chocosolver.solver.constraints.ternary.PropGTDistanceXYZ
 
filterFromXYtoZ() - Method in class org.chocosolver.solver.constraints.ternary.PropLEDistanceXYZ
 
filterFromXYtoZ() - Method in class org.chocosolver.solver.constraints.ternary.PropLTDistanceXYZ
 
filterFromXZToY() - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
 
filterFromXZToY() - Method in class org.chocosolver.solver.constraints.ternary.PropEQDistanceXYZ
 
filterFromXZToY() - Method in class org.chocosolver.solver.constraints.ternary.PropGEDistanceXYZ
 
filterFromXZToY() - Method in class org.chocosolver.solver.constraints.ternary.PropGTDistanceXYZ
 
filterFromXZToY() - Method in class org.chocosolver.solver.constraints.ternary.PropLEDistanceXYZ
 
filterFromXZToY() - Method in class org.chocosolver.solver.constraints.ternary.PropLTDistanceXYZ
 
filterFromYZToX() - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
 
filterFromYZToX() - Method in class org.chocosolver.solver.constraints.ternary.PropEQDistanceXYZ
 
filterFromYZToX() - Method in class org.chocosolver.solver.constraints.ternary.PropGEDistanceXYZ
 
filterFromYZToX() - Method in class org.chocosolver.solver.constraints.ternary.PropGTDistanceXYZ
 
filterFromYZToX() - Method in class org.chocosolver.solver.constraints.ternary.PropLEDistanceXYZ
 
filterFromYZToX() - Method in class org.chocosolver.solver.constraints.ternary.PropLTDistanceXYZ
 
filterGreaterFromIZToJ(int, int, int) - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
update bounds of X (resp.
filterGT() - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
In case of a GT
filterGTonVar(IntVar, IntVar) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
In case of a GT, due to a modification on v0 domain
filterInf(IntVar, int, int, int, int, int, int[], int, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.TimeCumulFilter
 
filterLowerFromIZToJ(int, int, int) - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
update bounds of X (resp.
filterLT() - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
In case of a LT
filterLTonVar(IntVar, IntVar) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
In case of a LT, due to a modification on v0 domain
filterNeq() - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
 
filterOnEq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropScalar
 
filterOnEq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
Apply filtering when operator is EQ
filterOnEq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBool
 
filterOnEq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBool
 
filterOnEq() - Method in class org.chocosolver.solver.constraints.real.PropScalarMixed
 
filterOnGeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropScalar
 
filterOnGeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
Apply filtering when operator is GE
filterOnGeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBool
 
filterOnGeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBool
 
filterOnGeq() - Method in class org.chocosolver.solver.constraints.real.PropScalarMixed
 
filterOnInf(IntVar, IntVar) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
In case of a EQ, due to a modification of the lower bound of v0
filterOnInst(IntVar, int) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
In case of a EQ, due to the instantion to one variable to val
filterOnLeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropScalar
 
filterOnLeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
Apply filtering when operator is LE
filterOnLeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBool
 
filterOnLeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBool
 
filterOnLeq() - Method in class org.chocosolver.solver.constraints.real.PropScalarMixed
 
filterOnNeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropScalar
 
filterOnNeq() - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
Apply filtering when operator is NE
filterOnSup(IntVar, IntVar) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
In case of a EQ, due to a modification of the upper bound of v0
filters - Variable in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
 
filterSup(int, IntVar, int, int, int, int, int[], int, Propagator<IntVar>) - Method in class org.chocosolver.solver.constraints.nary.cumulative.TimeCumulFilter
 
filterUp(double) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
Filters w.r.t. a given upper bound.
finalize() - Method in class org.chocosolver.solver.constraints.real.IbexHandler
 
findAllOptimalSolutions(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.
findAllSCC() - Method in class org.chocosolver.util.graphOperations.connectivity.StrongConnectivityFinder
 
findAllSCCOf(BitSet) - Method in class org.chocosolver.util.graphOperations.connectivity.StrongConnectivityFinder
 
findAllSolutions(Criterion...) - Method in interface org.chocosolver.solver.search.IResolutionHelper
Attempts to find all solutions of the declared satisfaction problem.
FindAndProve<V extends Variable> - Class in org.chocosolver.solver.search.strategy.strategy
Enables to switch from one heuristic to another once a solution has been found
FindAndProve(V[], AbstractStrategy<V>, AbstractStrategy<V>) - Constructor for class org.chocosolver.solver.search.strategy.strategy.FindAndProve
Heuristic which switches from one heuristic (heurToFindASol) to another (heurToProveOpt) once a solution has been found
findDominators() - Method in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
Find immediate dominators of the given graph and preprocess dominance requests
findLexOptimalSolution(IntVar[], boolean, Criterion...) - Method in interface org.chocosolver.solver.search.IResolutionHelper
Attempts optimize the value of the objectives variable w.r.t. to an optimization criteria.
findOptimalSolution(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.
findParetoFront(IntVar[], boolean, Criterion...) - Method in interface org.chocosolver.solver.search.IResolutionHelper
Attempts optimize the value of the objectives variable w.r.t. to an optimization criteria.
findPostDominators() - Method in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
Find immediate postdominators of the given graph and preprocess dominance requests post dominators are dominators of the inverse graph
findSolution(Criterion...) - Method in interface org.chocosolver.solver.search.IResolutionHelper
Attempts to find a solution of the declared satisfaction problem.
FiniteAutomaton - Class in org.chocosolver.solver.constraints.nary.automata.FA
Created by IntelliJ IDEA.
FiniteAutomaton() - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
FiniteAutomaton(String) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
Create a finite automaton based on a regular expression.
FiniteAutomaton(String, int, int) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
Create a finite automaton based on a regular expression.
FiniteAutomaton(FiniteAutomaton) - Constructor for class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
first - Variable in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
 
first - Variable in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
 
first - Variable in class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
 
FIRST - org.chocosolver.solver.constraints.nary.circuit.CircuitConf
 
FirstFail - Class in org.chocosolver.solver.search.strategy.selectors.variables
First fail variable selector.
FirstFail(Model) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.FirstFail
First fail variable selector.
FIXED_ARRAY - org.chocosolver.util.objects.setDataStructures.SetType
 
FIXED_INTERVAL - org.chocosolver.util.objects.setDataStructures.SetType
 
FixedBoolVarImpl - Class in org.chocosolver.solver.variables.impl
A constant view specific to boolean variable
FixedBoolVarImpl(String, int, Model) - Constructor for class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
 
FixedIntVarImpl - Class in org.chocosolver.solver.variables.impl
A IntVar with one domain value.
FixedIntVarImpl(String, int, Model) - Constructor for class org.chocosolver.solver.variables.impl.FixedIntVarImpl
Creates a variable whom domain is natively reduced to the singleton {constante}.
FixedRealVarImpl - Class in org.chocosolver.solver.variables.impl
Project: choco-solver.
FixedRealVarImpl(String, double, Model) - Constructor for class org.chocosolver.solver.variables.impl.FixedRealVarImpl
Create the shared data of any type of variable.
fixpoint() - Method in class org.chocosolver.solver.constraints.nary.alldifferent.conditions.PropCondAllDiffInst
 
fixpoint() - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst
 
FIXPOINT - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
fixSomeVariables(DecisionPath) - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
 
fixSomeVariables(DecisionPath) - Method in interface org.chocosolver.solver.search.loop.lns.neighbors.INeighbor
Freezes some variables in order to have a fast computation.
fixSomeVariables(DecisionPath) - Method in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
 
fixSomeVariables(DecisionPath) - Method in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
 
fixSomeVariables(DecisionPath) - Method in class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood
 
flatten(int[][]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Flattens a matrix M[n][m] in an array F[n*m] such that F[i*n+j] = M[i][j].
flatten(T[][]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Flattens a matrix M[n][m] in an array F[n*m] such that F[i*n+j] = M[i][j].
flatten(T[][][]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Flattens a matrix M[n][m][p] in an array F[n*m*p] such that F[(i*n*m) + (j*m) + k] = M[i][j][k].
flattenBoolVar() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Extracts and returns the flatten array of BoolVar contained in this.
flattenSubMatrix(int, int, int, int, T[][]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
 
flip() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Flip the boolean evaluation of this (recursive).
flip() - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
 
flip(LogOp.Operator) - Static method in enum org.chocosolver.solver.constraints.nary.cnf.LogOp.Operator
 
flip(LogOp.Type) - Static method in enum org.chocosolver.solver.constraints.nary.cnf.LogOp.Type
 
FLOOR - Static variable in class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMiddle
 
flush() - Method in class org.chocosolver.solver.propagation.PropagationEngine
Flush this, ie. remove every pending events
force(int, ICause) - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
force(int, ICause) - Method in interface org.chocosolver.solver.variables.SetVar
Adds element to the lower bound, i.e. every solution must include element
forceCft - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
Indicates if the cut has already been explained
forcePathRecomputation() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
forcePropagate(PropagatorEventType) - Method in class org.chocosolver.solver.constraints.Propagator
Schedules a coarse propagation to filter all variables at once.
forcePropagationOnBacktrack() - Method in class org.chocosolver.solver.constraints.Propagator
Call this method when either the propagator has to be awake on backtrack.
forEach(IntProcedure, SetEventType) - Method in interface org.chocosolver.solver.variables.delta.ISetDeltaMonitor
Apply 'proc' on each value store
forEach(IntProcedure, SetEventType) - Method in class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
 
forEachRemVal(IntProcedure) - Method in interface org.chocosolver.solver.variables.delta.IIntDeltaMonitor
Apply 'proc' on each value removed.
forEachRemVal(IntProcedure) - Method in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
 
forEachRemVal(IntProcedure) - Method in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
 
forEachRemVal(IntProcedure) - Method in class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor
 
forEachRemVal(IntProcedure) - Method in class org.chocosolver.solver.variables.view.ViewDeltaMonitor
 
forEachRemVal(SafeIntProcedure) - Method in interface org.chocosolver.solver.variables.delta.IIntDeltaMonitor
Apply 'proc' on each value removed.
forEachRemVal(SafeIntProcedure) - Method in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
 
forEachRemVal(SafeIntProcedure) - Method in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
 
forEachRemVal(SafeIntProcedure) - Method in class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor
 
forEachRemVal(SafeIntProcedure) - Method in class org.chocosolver.solver.variables.view.ViewDeltaMonitor
 
forget(Solver) - Method in interface org.chocosolver.solver.search.loop.learn.Learn
Forget some pieces of knowledge.
forget(Solver) - Method in class org.chocosolver.solver.search.loop.learn.LearnCBJ
 
forget(Solver) - Method in class org.chocosolver.solver.search.loop.learn.LearnExplained
 
forget(Solver) - Method in class org.chocosolver.solver.search.loop.learn.LearnNothing
 
forgetLast() - Method in class org.chocosolver.solver.explanations.ArrayEventStore
Forget the last event pushed
fragment - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
Indicate which variables are selected in a fragment
fragment - Variable in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
Indicate which variables are selected to be part of the fragment
free() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
Free the decision, ie, it can be reused
free() - Method in class org.chocosolver.solver.search.strategy.decision.IbexDecision
 
free() - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
 
free() - Method in class org.chocosolver.solver.search.strategy.decision.RealDecision
 
free() - Method in class org.chocosolver.solver.search.strategy.decision.RootDecision
 
free() - Method in class org.chocosolver.solver.search.strategy.decision.SetDecision
 
FREE - org.chocosolver.solver.constraints.Constraint.Status
Indicate that this constraint is not posted or reified yet
freeDecisionExplanation(Decision) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
Free the explanation related to the decision (for efficiency purpose only)
freeDecisionExplanation(Decision) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
Free the explanation related to the decision (for efficiency purpose only)
freeDecisionExplanation(Decision) - Method in class org.chocosolver.solver.explanations.RuleStore
Free the explanation related to the decision (for efficiency purpose only)
freeze() - Method in interface org.chocosolver.solver.variables.delta.IDeltaMonitor
Freeze the delta for iteration
freeze() - Method in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
 
freeze() - Method in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
 
freeze() - Method in class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor
 
freeze() - Method in class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
 
freeze() - Method in class org.chocosolver.solver.variables.view.ViewDeltaMonitor
 
frequency - Variable in class org.chocosolver.solver.search.loop.move.MoveLNS
For restart strategy
freshRestart - Variable in class org.chocosolver.solver.search.loop.move.MoveLNS
Indicate a restart has been triggered
fromChunk() - Method in class org.chocosolver.memory.EnvironmentBuilder
Build a chunk environment
fromFlat() - Method in class org.chocosolver.memory.EnvironmentBuilder
Build a flat environment
frozenFirst - Variable in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
 
frozenFirst - Variable in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
 
frozenFirst - Variable in class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
 
frozenLast - Variable in class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor
 
frozenLast - Variable in class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
 
frozenLast - Variable in class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor
 
FULL_INFLATE - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
FULL_PROPAGATION - org.chocosolver.solver.variables.events.PropagatorEventType
 
fullReport(Model) - Static method in enum org.chocosolver.solver.search.loop.Reporting
 
FullyRandom - Class in org.chocosolver.solver.search.strategy.strategy
Project: choco-solver.
FullyRandom(IntVar[], long) - Constructor for class org.chocosolver.solver.search.strategy.strategy.FullyRandom
 
functions - Variable in class org.chocosolver.solver.constraints.real.RealPropagator
 

G

g - Variable in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
 
G - Class in org.chocosolver.solver.constraints.nary.nvalue.amnv.graph
Backtrackable undirected graph
G(Model, int) - Constructor for class org.chocosolver.solver.constraints.nary.nvalue.amnv.graph.G
Creates a backtrackable undirected graph of nbNodes nodes
GArcs - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
 
GArcs - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
GCC - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
Gci - Class in org.chocosolver.solver.constraints.nary.nvalue.amnv.graph
Constrained intersection graph
Gci(IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.nvalue.amnv.graph.Gci
Creates the constrained intersection graph of X and D by automatically detecting disequalities and allDifferent constraints.
Gci(IntVar[], D) - Constructor for class org.chocosolver.solver.constraints.nary.nvalue.amnv.graph.Gci
Creates the constrained intersection graph of X and D
ge(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ge(int) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
ge(CArExpression) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
ge(ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
GE - org.chocosolver.solver.constraints.Operator
 
GE - org.chocosolver.solver.expression.continuous.relational.CReExpression.Operator
greater than
GE - org.chocosolver.solver.expression.discrete.relational.ReExpression.Operator
greater than
GeneralizedMinDomVarSelector - Class in org.chocosolver.solver.search.strategy.selectors.variables
First fail variable selector generalized to all variables.
GeneralizedMinDomVarSelector() - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.GeneralizedMinDomVarSelector
Chooses the non-instantiated variable with the smallest domain First fail generalization to all variable kinds.
GeneralizedMinDomVarSelector(boolean) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.GeneralizedMinDomVarSelector
Chooses the non-instantiated variable with the smallest domain First fail generalization to all variable kinds.
generateMinEvents(int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.HeightCumulFilter
 
generateMinEvents(int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
generateMinEvents(int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.SweepHeiSortCumulFilter
 
generateName() - Method in interface org.chocosolver.solver.variables.IVariableFactory
Return a generated short string, prefixed with Settings.defaultPrefix() and followed with a single-use number.
generateName(String) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Return a generated short string prefixed with prefix and followed with a single-use number.
generateTuples(TupleValidator, boolean, int[]...) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
A method that generates all tuples from a set of variables and stores (and returns) the valid tuples wrt to the filter.
generateTuples(TupleValidator, boolean, IntVar...) - Static method in class org.chocosolver.solver.constraints.extension.TuplesFactory
A method that generates all tuples from a set of variables and stores (and returns) the valid tuples wrt to the filter.
GephiConstants - Class in org.chocosolver.solver.trace
Project: choco-solver.
GephiGenerator - Class in org.chocosolver.solver.trace
Project: choco-solver.
GephiGenerator(String, Solver) - Constructor for class org.chocosolver.solver.trace.GephiGenerator
 
GephiNetwork - Class in org.chocosolver.solver.trace
Project: choco-solver.
get() - Method in class org.chocosolver.memory.IStateBool
Returns the current value.
get() - Method in class org.chocosolver.memory.IStateDouble
Returns the current value.
get() - Method in class org.chocosolver.memory.IStateInt
Returns the current value.
get() - Method in class org.chocosolver.memory.IStateLong
Returns the current value.
get(int) - Method in interface org.chocosolver.memory.IStateBitSet
 
get(int) - Method in class org.chocosolver.memory.IStateDoubleVector
Returns the indexth element of the vector.
get(int) - Method in class org.chocosolver.memory.structure.BasicIndexedBipartiteSet
 
get(int) - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
Returns the value of the bit with the specified index.
get(int) - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
Returns the value of the bit with the specified index.
get(int) - Method in class org.chocosolver.memory.structure.S64BitSet
Returns the value of the bit with the specified index.
get(int) - Method in class org.chocosolver.solver.constraints.extension.Tuples
Return the idx^th tuple
get(int) - Static method in enum org.chocosolver.solver.constraints.PropagatorPriority
 
get(int) - Method in class org.chocosolver.solver.variables.delta.EnumDelta
 
get(int) - Method in interface org.chocosolver.solver.variables.delta.IEnumDelta
Return the idx^th value stored in the delta, if any
get(int) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
get(int) - Method in class org.chocosolver.solver.variables.delta.OneValueDelta
 
get(int) - Method in class org.chocosolver.util.objects.IntCircularQueue
 
get(int) - Method in class org.chocosolver.util.objects.IntList
Returns the element at the specified position in this list.
get(int) - Method in class org.chocosolver.util.objects.IntMap
Returns the value to which the specified key is mapped, or -1 if this map contains no mapping for the key.
get(int) - Method in class org.chocosolver.util.objects.queues.CircularQueue
Get the index element of the queue, 0 being the last element
get(int, int) - Method in interface org.chocosolver.solver.variables.delta.ISetDelta
 
get(int, int) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
get(int, int) - Method in class org.chocosolver.solver.variables.delta.SetDelta
 
get(int, List<T>...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Returns the element in position index when considering all arrays appended altogether.
get(int, T[]...) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Returns the element in position index when considering all arrays appended altogether.
get(String) - Static method in enum org.chocosolver.solver.constraints.Operator
 
getActivity(IntVar) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
getAlphabet() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getAndChild() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Returns the first AND logic tree within the list of children.
getArity() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
 
getBackTrackCount() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getBackTrackCount() - Method in class org.chocosolver.solver.search.measure.Measures
 
getBackTrackCount() - Method in class org.chocosolver.solver.Solver
 
getBestLB() - Method in interface org.chocosolver.solver.objective.IBoundsManager
 
getBestModel() - Method in class org.chocosolver.solver.ParallelPortfolio
Returns the first model from the list which, either : finds a solution when dealing with a satisfaction problem, or finds (and possibly proves) the best solution when dealing with an optimization problem.
getBestSolutionValue() - Method in interface org.chocosolver.solver.objective.IBoundsManager
 
getBestSolutionValue() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getBestSolutionValue() - Method in class org.chocosolver.solver.search.measure.Measures
 
getBestSolutionValue() - Method in class org.chocosolver.solver.Solver
 
getBestUB() - Method in interface org.chocosolver.solver.objective.IBoundsManager
 
getBooleanValue() - Method in interface org.chocosolver.solver.variables.BoolVar
 
getBooleanValue() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
getBooleanValue() - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
 
getBooleanValue() - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
getBoolTrail() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
 
getBoundsManager() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getBoundsManager() - Method in class org.chocosolver.solver.search.measure.Measures
 
getBoundsManager() - Method in class org.chocosolver.solver.Solver
 
getCachedConstants() - Method in class org.chocosolver.solver.Model
Get the map of constant IntVar the have default names to avoid creating multiple identical constants.
getCard() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
getCard() - Method in interface org.chocosolver.solver.variables.SetVar
get the constrained cardinality variable of this set.
getCause() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getCause() - Method in interface org.chocosolver.solver.variables.Variable
 
getCause(int) - Method in class org.chocosolver.solver.explanations.ArrayEventStore
 
getCause(int) - Method in interface org.chocosolver.solver.explanations.store.IEventStore
 
getCause(int) - Method in class org.chocosolver.solver.variables.delta.EnumDelta
 
getCause(int) - Method in interface org.chocosolver.solver.variables.delta.IntDelta
Return the cause of the idx^th cause stored in the delta, if any
getCause(int) - Method in class org.chocosolver.solver.variables.delta.IntervalDelta
 
getCause(int) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
getCause(int) - Method in class org.chocosolver.solver.variables.delta.OneValueDelta
 
getCause(int, int) - Method in interface org.chocosolver.solver.variables.delta.ISetDelta
 
getCause(int, int) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
getCause(int, int) - Method in class org.chocosolver.solver.variables.delta.SetDelta
 
getCauses() - Method in class org.chocosolver.solver.explanations.Explanation
 
getCharFromInt(int) - Static method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getChildBut(ILogical) - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Returns the first child within the list of children, different from child.
getChildMoves() - Method in interface org.chocosolver.solver.search.loop.move.Move
Returns the child moves or null Some Move only accepts one single move as child.
getChildMoves() - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
 
getChildMoves() - Method in class org.chocosolver.solver.search.loop.move.MoveLearnBinaryTDR
 
getChildMoves() - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
 
getChildMoves() - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
 
getChildMoves() - Method in class org.chocosolver.solver.search.loop.move.MoveSeq
 
getChildren() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Returns the array of children of this.
getCidxInModel() - Method in class org.chocosolver.solver.constraints.Constraint
 
getColumn(double[][], int) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Returns the column c extracted from matrix array.
getColumn(int[][], int) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Returns the column c extracted from matrix array.
getColumn(T[][], int) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Returns the column c extracted from matrix array.
getColumn(T[][], int, Class<? extends T[]>) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Returns the column c extracted from matrix array.
getConstraint() - Method in class org.chocosolver.solver.constraints.Propagator
 
getContradictionException() - Method in class org.chocosolver.solver.Solver
 
getCost(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
getCost(int, int) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton
 
getCostByResource(int, int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
getCostByResource(int, int, int) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton
 
getCostByResourceAndState(int, int, int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
getCostByResourceAndState(int, int, int, int) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton
 
getCostByState(int, int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
getCostByState(int, int, int) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton
 
getCounters() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
getCounters() - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton
 
getCreationTime() - Method in class org.chocosolver.solver.Model
Get the creation time (in milliseconds) of the model (to estimate modeling duration)
getCstrs() - Method in class org.chocosolver.solver.Model
Returns the array of Constraint objects posted in this Model.
getCurrentDepth() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getCurrentDepth() - Method in class org.chocosolver.solver.search.measure.Measures
 
getCurrentDepth() - Method in class org.chocosolver.solver.Solver
 
getDecision() - Method in class org.chocosolver.solver.objective.ObjectiveStrategy
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.BoundSearch
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy
Provides access to the current decision in the strategy.
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.FindAndProve
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.GreedyBranching
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.IntStrategy
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.LastConflict
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.RealStrategy
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.SetStrategy
 
getDecision() - Method in class org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer
Provides access to the current decision in the strategy.
getDecision(int) - Method in class org.chocosolver.solver.search.strategy.decision.DecisionPath
Return the decision in position i in this decision path, or null if no decision exists at that position.
getDecisionCount() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getDecisionCount() - Method in class org.chocosolver.solver.search.measure.Measures
 
getDecisionCount() - Method in class org.chocosolver.solver.Solver
 
getDecisionOperator() - Method in class org.chocosolver.solver.search.strategy.strategy.IntStrategy
 
getDecisionPath() - Method in class org.chocosolver.solver.Solver
 
getDecisionRefutation(Decision) - Method in class org.chocosolver.solver.explanations.RuleStore
Get the explanation associated with a decision refutation
getDecisionRefutationExplanation(Decision) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
Get the explanation of a decision refutation
getDecisionRefutationExplanation(Decision) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
Get the explanation of a decision refutation
getDecisions() - Method in class org.chocosolver.solver.explanations.Explanation
 
getDecisionValue() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
Return the value object involves in the decision
getDecisionValue() - Method in class org.chocosolver.solver.search.strategy.decision.IbexDecision
 
getDecisionValue() - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
 
getDecisionValue() - Method in class org.chocosolver.solver.search.strategy.decision.RealDecision
 
getDecisionValue() - Method in class org.chocosolver.solver.search.strategy.decision.RootDecision
 
getDecisionValue() - Method in class org.chocosolver.solver.search.strategy.decision.SetDecision
 
getDecisionVariable() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
Return the variable object involves in the decision
getDecOp() - Method in class org.chocosolver.solver.search.strategy.decision.IntDecision
 
getDelta() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
getDelta() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
getDelta() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
getDelta() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getDelta() - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
 
getDelta() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
getDelta() - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
 
getDelta() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
getDelta() - Method in interface org.chocosolver.solver.variables.Variable
Return the delta domain of this
getDelta() - Method in class org.chocosolver.solver.variables.view.IntView
 
getDelta() - Method in class org.chocosolver.solver.variables.view.RealView
 
getDiagram() - Method in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
Return the diagram (not a copy) of the MDD
getDindex(int) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getDindex(int) - Method in interface org.chocosolver.solver.variables.Variable
This variable's propagators are stored in specific way which ease iteration based on propagation conditions.
getDomainSize() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
getDomainSize() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
getDomainSize() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
getDomainSize() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getDomainSize() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
getDomainSize() - Method in interface org.chocosolver.solver.variables.IntVar
Returns the size of this domain, that is the number of elements in this domain.
getDomainSize() - Method in class org.chocosolver.solver.variables.view.IntView
 
getDomainUnion(IntVar...) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Get the list of values in the domains of vars
getDominatorTree() - Method in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
Get the dominator tree formed with arcs (x,y) such that x is the immediate dominator of y
getDoubleTrail() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
 
getDoubleVectorTrail() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
 
getDuration() - Method in class org.chocosolver.solver.variables.Task
 
getE() - Method in class org.chocosolver.util.PoolManager
 
getEdge(int) - Method in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
Return the edge valued in the k^th cell of the diagram
getEnd() - Method in class org.chocosolver.solver.variables.Task
 
getEngine() - Method in class org.chocosolver.solver.Solver
 
getEnvironment() - Method in class org.chocosolver.solver.Model
Return the backtracking environment of this model.
getEnvironment() - Method in class org.chocosolver.solver.search.loop.TimeStampedObject
 
getEnvironment() - Method in class org.chocosolver.solver.Solver
 
getEnvironment() - Method in interface org.chocosolver.solver.variables.delta.IDelta
Return the associate environment
getEnvironment() - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
getEnvironment() - Method in interface org.chocosolver.solver.variables.Variable
 
getEnvironmentHistorySimulationCondition() - Method in class org.chocosolver.solver.DefaultSettings
 
getEnvironmentHistorySimulationCondition() - Method in interface org.chocosolver.solver.Settings
 
getErr() - Method in class org.chocosolver.solver.Solver
 
getErr() - Method in interface org.chocosolver.solver.trace.IOutputFactory
 
getEventStore() - Method in class org.chocosolver.solver.explanations.ExplanationEngine
 
getEventStore() - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
 
getEventType(int) - Method in class org.chocosolver.solver.explanations.ArrayEventStore
 
getEventType(int) - Method in interface org.chocosolver.solver.explanations.store.IEventStore
 
getEvtScheduler() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getEvtScheduler() - Method in interface org.chocosolver.solver.variables.Variable
For scheduling purpose only
getEvtstrIdx() - Method in class org.chocosolver.solver.explanations.Explanation
Get the event store idx at which the last analysis ends
getExplainer() - Method in class org.chocosolver.solver.Solver
Return the explanation engine plugged into this.
getExpressionChild() - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
getExpressionChild() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.BiArExpression
 
getExpressionChild() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.IfArExpression
 
getExpressionChild() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression
 
getExpressionChild() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.UnArExpression
 
getFailCount() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getFailCount() - Method in class org.chocosolver.solver.search.measure.Measures
 
getFailCount() - Method in class org.chocosolver.solver.Solver
 
getFinalStates() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getFirstValue(int) - Method in class org.chocosolver.solver.explanations.ArrayEventStore
 
getFirstValue(int) - Method in interface org.chocosolver.solver.explanations.store.IEventStore
 
getFlip(String) - Static method in enum org.chocosolver.solver.constraints.Operator
Flips the direction of an inequality
getGraph() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
getHook(String) - Method in class org.chocosolver.solver.Model
Returns the object associated with the named hookName
getHooks() - Method in class org.chocosolver.solver.Model
Returns the map containing declared hooks.
getIbexHandler() - Method in class org.chocosolver.solver.Model
Return a constraint embedding an instance of Ibex (continuous solver).
getId() - Method in class org.chocosolver.solver.constraints.Propagator
 
getId() - Method in interface org.chocosolver.solver.Identity
 
getId() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getIdx(K) - Method in interface org.chocosolver.util.Indexable
Return the index of this in variable
getImmediateDominatorsOf(int) - Method in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
 
getIndexInPropagator(int) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getIndexInPropagator(int) - Method in interface org.chocosolver.solver.variables.Variable
Return the position of the variable in the propagator at position pidx
getInitialState() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getInitialState() - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
 
getInStack() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
Getter to the is arc in to be removed stack bitSet
getInstantiatedLayerCosts(int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
getInstantiatedLayerCosts(int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
getIntFromChar(char) - Static method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getIntTrail() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
 
getIntVal(IntVar) - Method in class org.chocosolver.solver.Solution
Get the value of variable v in this solution.
getIntVectorTrail() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
 
getIterator() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
 
getJumpTo() - Method in class org.chocosolver.solver.Solver
 
getLastDecision() - Method in class org.chocosolver.solver.search.strategy.decision.DecisionPath
Retrieves, but not removes, the last decision of the decision path.
getLastExplanation() - Method in class org.chocosolver.solver.search.loop.learn.LearnExplained
Return the explanation of the last conflict
getLB() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
Retrieves the lower bound of the variable
getLB() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
Retrieves the lower bound of the variable
getLB() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
Retrieves the lower bound of the variable
getLB() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getLB() - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
 
getLB() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
Retrieves the lower bound of the variable
getLB() - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
 
getLB() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
getLB() - Method in interface org.chocosolver.solver.variables.IntVar
Retrieves the lower bound of the variable
getLB() - Method in interface org.chocosolver.solver.variables.RealVar
Retrieves the lower bound of the variable
getLB() - Method in interface org.chocosolver.solver.variables.SetVar
Get SetVar Lower Bound : the set of integers that must belong to every solution (i.e. a subset of all solutions) To iterate over this set, use the following loop: ISet lbSet = getLB(); for(int i : lbSet){ ... } This object is read-only.
getLB() - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
getLB() - Method in class org.chocosolver.solver.variables.view.MinusView
 
getLB() - Method in class org.chocosolver.solver.variables.view.OffsetView
 
getLB() - Method in class org.chocosolver.solver.variables.view.RealView
 
getLB() - Method in class org.chocosolver.solver.variables.view.ScaleView
 
getLB(int) - Method in interface org.chocosolver.solver.variables.delta.IIntervalDelta
Return the lower bound of idx^th interval stored in the delta, if any
getLB(int) - Method in class org.chocosolver.solver.variables.delta.IntervalDelta
 
getLB(int) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
getLearner() - Method in class org.chocosolver.solver.Solver
 
getLimitValue() - Method in class org.chocosolver.solver.search.limits.ACounter
 
getLimitValue() - Method in interface org.chocosolver.solver.search.limits.ICounter
 
getLongestPath() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
 
getLongestPathValue() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
 
getLongTrail() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
 
getMask() - Method in interface org.chocosolver.solver.variables.events.IEventType
Return the value of the mask associated with the event.
getMask() - Method in enum org.chocosolver.solver.variables.events.IntEventType
 
getMask() - Method in enum org.chocosolver.solver.variables.events.PropagatorEventType
 
getMask() - Method in enum org.chocosolver.solver.variables.events.RealEventType
 
getMask() - Method in enum org.chocosolver.solver.variables.events.SetEventType
 
getMask() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getMask() - Method in interface org.chocosolver.solver.variables.Variable
 
getMask(Variable) - Method in class org.chocosolver.solver.explanations.RuleStore
Return the current rule mask associated to the variable vid
getMaxDepth() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getMaxDepth() - Method in class org.chocosolver.solver.search.measure.Measures
 
getMaxDepth() - Method in class org.chocosolver.solver.Solver
 
getMaxDomSizeForEnumerated() - Method in class org.chocosolver.solver.DefaultSettings
 
getMaxDomSizeForEnumerated() - Method in interface org.chocosolver.solver.Settings
 
getMaxTupleSizeForSubstitution() - Method in class org.chocosolver.solver.DefaultSettings
 
getMaxTupleSizeForSubstitution() - Method in interface org.chocosolver.solver.Settings
 
getMCRDecimalPrecision() - Method in class org.chocosolver.solver.DefaultSettings
 
getMCRDecimalPrecision() - Method in interface org.chocosolver.solver.Settings
 
getMeasures() - Method in class org.chocosolver.solver.Solver
Returns a reference to the measures recorder.
getMinCardForSumDecomposition() - Method in class org.chocosolver.solver.DefaultSettings
 
getMinCardForSumDecomposition() - Method in interface org.chocosolver.solver.Settings
 
getMinisat() - Method in class org.chocosolver.solver.Model
Returns the unique constraint embedding a minisat model.
getMinMaxPathCostForAssignment(int, int, int...) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
getMinMaxPathCostForAssignment(int, int, int...) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
getMinPathCost(int...) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
getMinPathCost(int...) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
getMinPathCostForAssignment(int, int, int...) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
getMinPathCostForAssignment(int, int, int...) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
getMIS() - Method in interface org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.F
 
getMIS() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MD
 
getMIS() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.Rk
 
getModel() - Method in class org.chocosolver.solver.constraints.Propagator
 
getModel() - Method in class org.chocosolver.solver.expression.continuous.arithmetic.BiCArExpression
 
getModel() - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
Return the associated model
getModel() - Method in class org.chocosolver.solver.expression.continuous.arithmetic.UnCArExpression
 
getModel() - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
Return the associated model
getModel() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.BiArExpression
 
getModel() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.IfArExpression
 
getModel() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression
 
getModel() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.UnArExpression
 
getModel() - Method in class org.chocosolver.solver.expression.discrete.logical.BiLoExpression
 
getModel() - Method in class org.chocosolver.solver.expression.discrete.logical.LoExpression
Return the associated model
getModel() - Method in class org.chocosolver.solver.expression.discrete.logical.NaLoExpression
 
getModel() - Method in class org.chocosolver.solver.expression.discrete.logical.UnLoExpression
 
getModel() - Method in class org.chocosolver.solver.expression.discrete.relational.BiReExpression
 
getModel() - Method in class org.chocosolver.solver.expression.discrete.relational.NaReExpression
 
getModel() - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
Return the associated model
getModel() - Method in class org.chocosolver.solver.Solver
 
getModel() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getModel() - Method in interface org.chocosolver.solver.variables.Variable
Return the associated model
getModelName() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getModelName() - Method in class org.chocosolver.solver.search.measure.Measures
 
getModelName() - Method in class org.chocosolver.solver.Solver
 
getModels() - Method in class org.chocosolver.solver.ParallelPortfolio
 
getMove() - Method in class org.chocosolver.solver.Solver
 
getName() - Method in class org.chocosolver.solver.constraints.Constraint
 
getName() - Method in class org.chocosolver.solver.Model
Return the name of this model.
getName() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getName() - Method in interface org.chocosolver.solver.variables.Variable
Returns the name of this
getNbBoolVar() - Method in class org.chocosolver.solver.Model
Returns the number of BoolVar of the model involved in this, It also counts FIXED variables and VIEWS, if any.
getNbChildren() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Returns the number of direct children of this
getNbCstrs() - Method in class org.chocosolver.solver.Model
Return the number of constraints posted in this.
getNbIntVar(boolean) - Method in class org.chocosolver.solver.Model
Returns the number of IntVar of the model involved in this, excluding BoolVar if includeBoolVar=false.
getNbMaxNodes() - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
 
getNbMaxNodes() - Method in interface org.chocosolver.util.objects.graphs.IGraph
The maximum number of nodes in the graph Vertices of the graph belong to [0,getNbMaxNodes()-1] This quantity is fixed at the creation of the graph
getNbMaxNodes() - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
 
getNbProps() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getNbProps() - Method in interface org.chocosolver.solver.variables.Variable
Return the number of propagators
getNbRealVar() - Method in class org.chocosolver.solver.Model
Returns the number of RealVar of the model involved in this, It also counts FIXED variables and VIEWS, if any.
getNbResources() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton
 
getNbResources() - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton
 
getNbSCC() - Method in class org.chocosolver.util.graphOperations.connectivity.StrongConnectivityFinder
 
getNbSetVar() - Method in class org.chocosolver.solver.Model
Returns the number of SetVar of the model involved in this, It also counts FIXED variables and VIEWS, if any.
getNbStates() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getNbStates() - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
 
getNbSymbols() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getNbVars() - Method in class org.chocosolver.solver.constraints.Propagator
 
getNbVars() - Method in class org.chocosolver.solver.Model
Returns the number of variables involved in this.
getNeighOf(int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
Get neighbors of node x
getNextCutoff() - Method in class org.chocosolver.solver.search.restart.MonotonicRestartStrategy
 
getNextNode(int) - Method in class org.chocosolver.util.graphOperations.connectivity.StrongConnectivityFinder
 
getNoChild() - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
getNoChild() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.BiArExpression
 
getNoChild() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.IfArExpression
 
getNoChild() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression
 
getNoChild() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.UnArExpression
 
getNoChild() - Method in interface org.chocosolver.solver.variables.IntVar
 
getNodeCount() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getNodeCount() - Method in class org.chocosolver.solver.search.measure.Measures
 
getNodeCount() - Method in class org.chocosolver.solver.Solver
 
getNodes() - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
 
getNodes() - Method in interface org.chocosolver.util.objects.graphs.IGraph
 
getNodes() - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
 
getNodeSize(int) - Method in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
Return the initial domain size of the variable in layer
getNodesSCC() - Method in class org.chocosolver.util.graphOperations.connectivity.StrongConnectivityFinder
 
getNogoodStore() - Method in class org.chocosolver.solver.Model
Return a constraint embedding a nogood store (based on a sat model).
getObjectIdx() - Method in interface org.chocosolver.memory.structure.IndexedObject
 
getObjectIdx() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
 
getObjectIdx() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc
 
getObjectIdx() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc
 
getObjective() - Method in class org.chocosolver.solver.Model
Return the (possibly null) objective variable
getObjective() - Method in interface org.chocosolver.solver.objective.IObjectiveManager
 
getObjectiveManager() - Method in class org.chocosolver.solver.Solver
 
getOffset() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSetWithOffset
 
getOffset(int) - Method in class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram
Return the initial LB of the variable in layer
getOp() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.BiArExpression
 
getOp() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression
 
getOp() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.UnArExpression
 
getOperationTrail() - Method in class org.chocosolver.memory.trailing.EnvironmentTrailing
 
getOperator() - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
 
getOperator() - Method in class org.chocosolver.solver.constraints.ternary.PropEQDistanceXYZ
 
getOperator() - Method in class org.chocosolver.solver.constraints.ternary.PropGEDistanceXYZ
 
getOperator() - Method in class org.chocosolver.solver.constraints.ternary.PropGTDistanceXYZ
 
getOperator() - Method in class org.chocosolver.solver.constraints.ternary.PropLEDistanceXYZ
 
getOperator() - Method in class org.chocosolver.solver.constraints.ternary.PropLTDistanceXYZ
 
getOpposite() - Method in class org.chocosolver.solver.constraints.Constraint
Get the opposite constraint of this constraint.
getOpposite(Operator) - Static method in enum org.chocosolver.solver.constraints.Operator
 
getOut() - Method in class org.chocosolver.solver.Solver
 
getOut() - Method in interface org.chocosolver.solver.trace.IOutputFactory
 
getParetoFront() - Method in class org.chocosolver.solver.objective.ParetoOptimizer
 
getPaRules(int) - Method in class org.chocosolver.solver.explanations.Rules
Get the propagator activation rule associated with 'pid'
getPathFinder() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
getPIndices() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getPIndices() - Method in interface org.chocosolver.solver.variables.Variable
 
getPolicy() - Method in interface org.chocosolver.solver.objective.IBoundsManager
 
getPosition() - Method in class org.chocosolver.solver.constraints.Propagator
 
getPosition() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
Get the position of this decision in the decision path Note that the position a decision is unique, but some decisions taken together have the same rank.
getPosition(int) - Method in class org.chocosolver.solver.constraints.extension.nary.ValidityChecker
 
getPrecision() - Method in class org.chocosolver.solver.Model
In case of real variable(s) to optimize, a precision is required.
getPrecision() - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
 
getPrecision() - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
 
getPrecision() - Method in interface org.chocosolver.solver.variables.RealVar
 
getPrecision() - Method in class org.chocosolver.solver.variables.view.RealView
 
getPredOf(int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
Get predecessors of node x
getPredOrNeighOf(int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
 
getPredOrNeighOf(int) - Method in interface org.chocosolver.util.objects.graphs.IGraph
Get either x's predecessors or neighbors.
getPredOrNeighOf(int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
 
getPriority() - Method in class org.chocosolver.solver.constraints.Propagator
 
getPropagate() - Method in class org.chocosolver.solver.Solver
 
getPropagationConditions(int) - Method in class org.chocosolver.sat.PropSat
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropAbsolute
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropDistanceXYC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_Y
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualX_YC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropEqualXY_C
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_Y
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_YC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualXY_C
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropLessOrEqualXY_C
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualX_Y
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualX_YC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.binary.PropNotEqualXY_C
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinFC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffBC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.among.PropAmongGAC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropCostRegular
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.binPacking.PropItemToLoad
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.binPacking.PropLoadToItem
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropBitChanneling
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelBC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropNoSubtour
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.circuit.PropSubcircuit
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.cnf.PropFalse
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.cnf.PropTrue
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.count.PropCount_AC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.count.PropCountVar
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.globalcardinality.PropFastGCC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.lex.PropLexChain
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.min_max.PropMax
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.min_max.PropMin
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.nvalue.PropAMNV
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.nvalue.PropAtMostNValues_BC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.PropDiffN
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.PropKnapsack
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSum
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumBool
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.nary.sum.PropSumFullBool
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.Propagator
Returns the specific mask indicating the variable events on which this Propagator object can react.
A mask is a bitwise OR operations over IEventType this can react on.
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.real.PropScalarMixed
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.real.RealPropagator
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropAllDisjoint
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropAtMost1Empty
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropCardinality
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropIntBoundedMemberSet
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropIntEnumMemberSet
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropIntersectionFilterSets
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropMaxElement
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropMinElement
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropNbEmpty
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropNotMemberIntSet
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropNotMemberSetInt
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropSubsetEq
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.set.PropSumOfElements
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.ternary.AbstractPropDistanceXYZ
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.ternary.PropMaxBC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.ternary.PropMinBC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.ternary.PropTimesNaive
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.unary.PropGreaterOrEqualXC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.unary.PropLessOrEqualXC
 
getPropagationConditions(int) - Method in class org.chocosolver.solver.constraints.unary.PropMemberBound
 
getPropagator(int) - Method in class org.chocosolver.solver.constraints.Constraint
 
getPropagator(int) - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getPropagator(int) - Method in interface org.chocosolver.solver.variables.Variable
Return the "idx" th propagator of this
getPropagators() - Method in class org.chocosolver.solver.constraints.Constraint
Return an array which contains the propagators declared in this.
getPropagators() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getPropagators() - Method in interface org.chocosolver.solver.variables.Variable
Return the array of propagators this
getPropNogoods() - Method in class org.chocosolver.solver.constraints.nary.nogood.NogoodConstraint
 
getPropSat() - Method in class org.chocosolver.solver.constraints.nary.cnf.SatConstraint
 
getQuick(int) - Method in class org.chocosolver.util.objects.IntList
Returns the element at the specified position in this list without doing any bounds checking.
getRange() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
getRange() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
getRange() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
getRange() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getRange() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
getRange() - Method in interface org.chocosolver.solver.variables.IntVar
Returns the range of this domain, that is, the difference between the upper bound and the lower bound.
getRange() - Method in class org.chocosolver.solver.variables.view.IntView
 
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
getRangeIterator(boolean) - Method in interface org.chocosolver.solver.variables.IntVar
Retrieves an iterator over ranges (or intervals) of this.
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.view.IntView
 
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.view.MinusView
 
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.view.OffsetView
 
getRangeIterator(boolean) - Method in class org.chocosolver.solver.variables.view.ScaleView
 
getReadingTimeCount() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getReadingTimeCount() - Method in class org.chocosolver.solver.Solver
 
getReadingTimeCountInNanoSeconds() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getReadingTimeCountInNanoSeconds() - Method in class org.chocosolver.solver.search.measure.Measures
 
getReadingTimeCountInNanoSeconds() - Method in class org.chocosolver.solver.Solver
 
getRealBounds(RealVar) - Method in class org.chocosolver.solver.Solution
Get the bounds of r in this solution.
getRegret(int, int, int...) - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
 
getRegret(int, int, int...) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
getRelation() - Method in class org.chocosolver.solver.constraints.extension.binary.PropBinCSP
 
getRelation() - Method in class org.chocosolver.solver.constraints.extension.nary.PropLargeCSP
 
getResolutionPolicy() - Method in class org.chocosolver.solver.Model
Get the resolution policy of the model
getRestartCount() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getRestartCount() - Method in class org.chocosolver.solver.search.measure.Measures
 
getRestartCount() - Method in class org.chocosolver.solver.Solver
 
getRules() - Method in class org.chocosolver.solver.explanations.Explanation
Return the rules, may be null
getRuleStore() - Method in class org.chocosolver.solver.explanations.ExplanationEngine
 
getRuleStore() - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
 
getSatSolver() - Method in class org.chocosolver.sat.PropSat
 
getSCCFirstNode(int) - Method in class org.chocosolver.util.graphOperations.connectivity.StrongConnectivityFinder
 
getSearch() - Method in class org.chocosolver.solver.Solver
 
getSearchMonitors() - Method in class org.chocosolver.solver.Solver
 
getSearchState() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getSearchState() - Method in class org.chocosolver.solver.search.measure.Measures
 
getSearchState() - Method in class org.chocosolver.solver.Solver
 
getSearchWorldIndex() - Method in class org.chocosolver.solver.Solver
 
getSecondValue(int) - Method in class org.chocosolver.solver.explanations.ArrayEventStore
 
getSecondValue(int) - Method in interface org.chocosolver.solver.explanations.store.IEventStore
 
getSettings() - Method in class org.chocosolver.solver.Model
Return the current settings for the solver
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_BitSet
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.bitset.Set_Std_BitSet
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_CstInterval
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.constant.Set_FixedArray
 
getSetType() - Method in interface org.chocosolver.util.objects.setDataStructures.ISet
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.Set_ReadOnly
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.StdSet
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap2
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap
 
getSetType() - Method in class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap2
 
getSetVal(SetVar) - Method in class org.chocosolver.solver.Solution
Get the value of variable s in this solution.
getSharedBipartiteSetForBooleanVars() - Method in class org.chocosolver.memory.AbstractEnvironment
Factory pattern : shared StoredBitSetVector objects is return by the environment
getSharedBipartiteSetForBooleanVars() - Method in interface org.chocosolver.memory.IEnvironment
Factory pattern : shared IndexedBipartiteSet object is return by the environment
getShortestPath() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
 
getShortestPathValue() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder
 
getSize() - Method in class org.chocosolver.solver.explanations.ArrayEventStore
 
getSize() - Method in interface org.chocosolver.solver.explanations.store.IEventStore
 
getSize(int) - Method in interface org.chocosolver.solver.variables.delta.ISetDelta
 
getSize(int) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
getSize(int) - Method in class org.chocosolver.solver.variables.delta.SetDelta
 
getSolutionCount() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getSolutionCount() - Method in class org.chocosolver.solver.search.measure.Measures
 
getSolutionCount() - Method in class org.chocosolver.solver.Solver
 
getSolver() - Method in class org.chocosolver.solver.Model
Returns the unique and internal propagation and search object to solve this model.
getStart() - Method in class org.chocosolver.solver.variables.Task
 
getStarValue() - Method in class org.chocosolver.solver.constraints.extension.Tuples
 
getStatus() - Method in class org.chocosolver.solver.constraints.Constraint
 
getStrategy() - Method in interface org.chocosolver.solver.search.loop.move.Move
Returns the search strategy in use.
getStrategy() - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
 
getStrategy() - Method in class org.chocosolver.solver.search.loop.move.MoveLearnBinaryTDR
 
getStrategy() - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
 
getStrategy() - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
 
getStrategy() - Method in class org.chocosolver.solver.search.loop.move.MoveSeq
 
getSuccOf(int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
Get successors of node x
getSuccOrNeighOf(int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
 
getSuccOrNeighOf(int) - Method in interface org.chocosolver.util.objects.graphs.IGraph
Get either x's successors or neighbors.
getSuccOrNeighOf(int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
 
getSupport(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
 
getSupport(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph
 
getThirdValue(int) - Method in class org.chocosolver.solver.explanations.ArrayEventStore
 
getThirdValue(int) - Method in interface org.chocosolver.solver.explanations.store.IEventStore
 
getTimeCount() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getTimeCount() - Method in class org.chocosolver.solver.Solver
 
getTimeCountInNanoSeconds() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getTimeCountInNanoSeconds() - Method in class org.chocosolver.solver.search.measure.Measures
 
getTimeCountInNanoSeconds() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
 
getTimeCountInNanoSeconds() - Method in class org.chocosolver.solver.Solver
 
getTimestamp() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
getTimestamp() - Method in class org.chocosolver.solver.search.measure.Measures
 
getTimestamp() - Method in class org.chocosolver.solver.Solver
 
getTimeStamp() - Method in class org.chocosolver.memory.AbstractEnvironment
 
getTimeStamp() - Method in interface org.chocosolver.memory.IEnvironment
Return the current time stamp.
getTimeStamp() - Method in class org.chocosolver.solver.search.loop.TimeStampedObject
 
getTransitions() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getTransitions() - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
 
getTransitions(int) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
getTransitions(int) - Method in interface org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton
 
getTuple(int) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesList
 
getTupleTable() - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesList
 
getType() - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
 
getType() - Method in interface org.chocosolver.util.objects.graphs.IGraph
Get the type of data structures used in the graph
getType() - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
getTypeAndKind() - Method in interface org.chocosolver.solver.variables.Variable
Return a MASK composed of 2 main information: TYPE and KIND.
getTypeAndKind() - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.view.IntView
 
getTypeAndKind() - Method in class org.chocosolver.solver.variables.view.RealView
 
getUB() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
Retrieves the upper bound of the variable
getUB() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
Retrieves the upper bound of the variable
getUB() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
Retrieves the upper bound of the variable
getUB() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getUB() - Method in class org.chocosolver.solver.variables.impl.FixedRealVarImpl
 
getUB() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
Retrieves the upper bound of the variable
getUB() - Method in class org.chocosolver.solver.variables.impl.RealVarImpl
 
getUB() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
getUB() - Method in interface org.chocosolver.solver.variables.IntVar
Retrieves the upper bound of the variable
getUB() - Method in interface org.chocosolver.solver.variables.RealVar
Retrieves the upper bound of the variable
getUB() - Method in interface org.chocosolver.solver.variables.SetVar
Get SetVar Upper Bound : the set of integers that may belong to a solution (i.e. a superset of all solutions) To iterate over this set, use the following loop: ISet ubSet = getUB(); for(int i : ubSet){ ... } This object is read-only.
getUB() - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
getUB() - Method in class org.chocosolver.solver.variables.view.MinusView
 
getUB() - Method in class org.chocosolver.solver.variables.view.OffsetView
 
getUB() - Method in class org.chocosolver.solver.variables.view.RealView
 
getUB() - Method in class org.chocosolver.solver.variables.view.ScaleView
 
getUB(int) - Method in interface org.chocosolver.solver.variables.delta.IIntervalDelta
Return the upper bound idx^th interval stored in the delta, if any
getUB(int) - Method in class org.chocosolver.solver.variables.delta.IntervalDelta
 
getUB(int) - Method in enum org.chocosolver.solver.variables.delta.NoDelta
 
getUBport(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
getValSelector() - Method in class org.chocosolver.solver.search.strategy.strategy.IntStrategy
 
getValue() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
Retrieves the current value of the variable if instantiated, otherwier the lower bound.
getValue() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
Retrieves the current value of the variable if instantiated, otherwier the lower bound.
getValue() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
Retrieves the current value of the variable if instantiated, otherwier the lower bound.
getValue() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getValue() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
Retrieves the current value of the variable if instantiated, otherwier the lower bound.
getValue() - Method in interface org.chocosolver.solver.variables.IntVar
Retrieves the current value of the variable if instantiated, otherwier the lower bound.
getValue() - Method in interface org.chocosolver.solver.variables.SetVar
Retrieves the current value of the variable if instantiated, otherwise the lower bound (kernel).
getValue() - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
getValue() - Method in class org.chocosolver.solver.variables.view.MinusView
 
getValue() - Method in class org.chocosolver.solver.variables.view.OffsetView
 
getValue() - Method in class org.chocosolver.solver.variables.view.ScaleView
 
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
getValueIterator(boolean) - Method in interface org.chocosolver.solver.variables.IntVar
Retrieves an iterator over values of this.
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.view.IntView
 
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.view.MinusView
 
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.view.OffsetView
 
getValueIterator(boolean) - Method in class org.chocosolver.solver.variables.view.ScaleView
 
getVar(int) - Method in class org.chocosolver.solver.constraints.Propagator
Returns the element at the specified position in this internal list of V objects.
getVar(int) - Method in class org.chocosolver.solver.Model
Returns the ith variable within the array of variables defined in this.
getVariable() - Method in class org.chocosolver.solver.variables.view.IntView
 
getVariable() - Method in interface org.chocosolver.solver.variables.view.IView
Return the basis variable
getVariable() - Method in class org.chocosolver.solver.variables.view.RealView
 
getVariable(int) - Method in class org.chocosolver.solver.explanations.ArrayEventStore
 
getVariable(int) - Method in interface org.chocosolver.solver.explanations.store.IEventStore
 
getVariable(IntVar[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.AntiFirstFail
 
getVariable(IntVar[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.FirstFail
 
getVariable(IntVar[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Largest
 
getVariable(IntVar[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.MaxRegret
 
getVariable(IntVar[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Smallest
 
getVariable(SetVar[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.MaxDelta
 
getVariable(SetVar[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.MinDelta
 
getVariable(Variable[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.GeneralizedMinDomVarSelector
 
getVariable(T[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Random
 
getVariable(V[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Cyclic
 
getVariable(V[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.InputOrder
 
getVariable(V[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.Occurrence
 
getVariable(V[]) - Method in interface org.chocosolver.solver.search.strategy.selectors.variables.VariableSelector
Provides access to the current selected variable among variables.
getVariable(V[]) - Method in class org.chocosolver.solver.search.strategy.selectors.variables.VariableSelectorWithTies
 
getVariables() - Method in class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy
 
getVars() - Method in class org.chocosolver.solver.constraints.Propagator
 
getVars() - Method in class org.chocosolver.solver.Model
Returns the array of Variable objects declared in this Model.
getVarSelector() - Method in class org.chocosolver.solver.search.strategy.strategy.IntStrategy
 
getViews() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
getViews() - Method in interface org.chocosolver.solver.variables.Variable
Get the views observing this variables
getVIndice(int) - Method in class org.chocosolver.solver.constraints.Propagator
 
getVIndices() - Method in class org.chocosolver.solver.constraints.Propagator
 
getVmRemval(int) - Method in class org.chocosolver.solver.explanations.Rules
Get the removed values associated with 'vid'
getVmRules(int) - Method in class org.chocosolver.solver.explanations.Rules
Get the variable modification rule associated with 'vid'
getWeight() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
 
getWelcomeMessage() - Method in class org.chocosolver.solver.DefaultSettings
 
getWelcomeMessage() - Method in interface org.chocosolver.solver.Settings
 
getWorldIndex() - Method in class org.chocosolver.memory.AbstractEnvironment
 
getWorldIndex() - Method in interface org.chocosolver.memory.IEnvironment
Returns the world number.
Gi - Class in org.chocosolver.solver.constraints.nary.nvalue.amnv.graph
Intersection Graph
Gi(IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.nvalue.amnv.graph.Gi
Creates the intersection graph of X
globalCardinality(IntVar[], int[], IntVar[], boolean) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates a global cardinality constraint (GCC): Each value values[i] should be taken by exactly occurrences[i] variables of vars.
GlobalCardinality - Class in org.chocosolver.solver.constraints.nary.globalcardinality
Global Cardinality constraint
GlobalCardinality(IntVar[], int[], IntVar[]) - Constructor for class org.chocosolver.solver.constraints.nary.globalcardinality.GlobalCardinality
 
GNodes - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
 
GNodes - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
graph - Variable in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MD
 
graph - Variable in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.Rk
 
GraphvizGenerator - Class in org.chocosolver.solver.trace
Project: choco-solver.
GraphvizGenerator(String, Solver) - Constructor for class org.chocosolver.solver.trace.GraphvizGenerator
 
GreedyBranching - Class in org.chocosolver.solver.search.strategy.strategy
 
GreedyBranching(AbstractStrategy) - Constructor for class org.chocosolver.solver.search.strategy.strategy.GreedyBranching
 
greedySearch(AbstractStrategy) - Static method in class org.chocosolver.solver.search.strategy.Search
Make the input search strategy greedy, that is, decisions can be applied but not refuted.
GREEN - Static variable in class org.chocosolver.solver.trace.GephiConstants
 
gt(double) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
gt(int) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
gt(CArExpression) - Method in interface org.chocosolver.solver.expression.continuous.arithmetic.CArExpression
 
gt(ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
GT - org.chocosolver.solver.constraints.Operator
 
GT - org.chocosolver.solver.expression.continuous.relational.CReExpression.Operator
greater than or equal to
GT - org.chocosolver.solver.expression.discrete.relational.ReExpression.Operator
greater than or equal to

H

h - Variable in class org.chocosolver.solver.constraints.nary.cumulative.PropCumulative
 
HARD_CODED - Static variable in class org.chocosolver.util.objects.setDataStructures.SetFactory
 
hardReset() - Method in class org.chocosolver.solver.Solver
Resetting a solver to its creation state.
hasAndChild() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Checks if at least one children is an AND logic tree
hasCard() - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
hasCard() - Method in interface org.chocosolver.solver.variables.SetVar
 
hasEndedUnexpectedly() - Method in class org.chocosolver.solver.Solver
 
hasEnumeratedDomain() - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
 
hasEnumeratedDomain() - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
 
hasEnumeratedDomain() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
hasEnumeratedDomain() - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
hasEnumeratedDomain() - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
 
hasEnumeratedDomain() - Method in interface org.chocosolver.solver.variables.IntVar
Indicates wether (or not) this has an enumerated domain (represented in extension) or not (only bounds)
hasEnumeratedDomain() - Method in class org.chocosolver.solver.variables.view.IntView
 
hashCode() - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
 
hashCode() - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
 
hashCode() - Method in class org.chocosolver.memory.structure.S64BitSet
 
hashCode() - Method in class org.chocosolver.solver.constraints.Propagator
 
hasNext() - Method in class org.chocosolver.solver.search.strategy.decision.Decision
Return true if the decision can be refuted
hasNext() - Method in class org.chocosolver.solver.variables.impl.scheduler.BoolEvtScheduler
 
hasNext() - Method in class org.chocosolver.solver.variables.impl.scheduler.IntEvtScheduler
 
hasNext() - Method in class org.chocosolver.solver.variables.impl.scheduler.RealEvtScheduler
 
hasNext() - Method in class org.chocosolver.solver.variables.impl.scheduler.SetEvtScheduler
 
hasNext() - Method in class org.chocosolver.util.iterators.DisposableRangeBoundIterator
 
hasNext() - Method in class org.chocosolver.util.iterators.DisposableValueBoundIterator
 
hasNext() - Method in interface org.chocosolver.util.iterators.IntIterator
Returns true if the iteration has more elements.
hasNext() - Method in class org.chocosolver.util.iterators.IntVarValueIterator
 
hasNext() - Method in interface org.chocosolver.util.iterators.RangeIterator
Returns true if the iteration has more ranges.
hasNext() - Method in interface org.chocosolver.util.iterators.ValueIterator
Returns true if the iteration has more values.
hasNext() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet.BipartiteSetIterator
Returns true if the iteration has more elements.
hasNextMIS() - Method in interface org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.F
 
hasNextMIS() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MD
 
hasNextMIS() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MDRk
 
hasNextMIS() - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.Rk
 
hasNot() - Method in interface org.chocosolver.solver.variables.BoolVar
 
hasNot() - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
 
hasNot() - Method in class org.chocosolver.solver.variables.impl.FixedBoolVarImpl
 
hasNot() - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
hasObjective() - Method in interface org.chocosolver.solver.search.measure.IMeasures
 
hasObjective() - Method in class org.chocosolver.solver.search.measure.Measures
 
hasObjective() - Method in class org.chocosolver.solver.Solver
 
hasOrChild() - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Check if at least one children is an OR logic tree
hasPrevious() - Method in class org.chocosolver.util.iterators.DisposableRangeBoundIterator
 
hasPrevious() - Method in class org.chocosolver.util.iterators.DisposableValueBoundIterator
 
hasPrevious() - Method in interface org.chocosolver.util.iterators.RangeIterator
Returns true if the iteration has more ranges.
hasPrevious() - Method in interface org.chocosolver.util.iterators.ValueIterator
Returns true if the iteration has more ranges.
hasSupport(int, int) - Method in class org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph
 
HeightCumulFilter - Class in org.chocosolver.solver.constraints.nary.cumulative
Filtering (sweep-based) algorithm to filter task maximum heights
HeightCumulFilter(int) - Constructor for class org.chocosolver.solver.constraints.nary.cumulative.HeightCumulFilter
 
HEIGHTS - org.chocosolver.solver.constraints.nary.cumulative.Cumulative.Filter
filters height variables only (sweep-based algorithm) idempotent (on the given set of variables only)
hlb - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter
 
holdOnVar(IntVar) - Method in interface org.chocosolver.solver.constraints.nary.alldifferent.conditions.Condition
 

I

I - Variable in class org.chocosolver.solver.constraints.nary.sum.PropSum
Variability of each variable (ie domain amplitude)
I - Variable in class org.chocosolver.solver.constraints.real.PropScalarMixed
Variability of each variable (ie domain amplitude)
IAutomaton - Interface in org.chocosolver.solver.constraints.nary.automata.FA
Created by IntelliJ IDEA.
IAutomaton.NonDeterministicOperationException - Exception in org.chocosolver.solver.constraints.nary.automata.FA
 
IAutomaton.StateNotInAutomatonException - Exception in org.chocosolver.solver.constraints.nary.automata.FA
 
IAutomaton.Triple - Class in org.chocosolver.solver.constraints.nary.automata.FA
 
ibex(double) - Method in class org.chocosolver.solver.expression.continuous.relational.BiCReExpression
 
ibex(double) - Method in interface org.chocosolver.solver.expression.continuous.relational.CReExpression
 
ibex(String, Variable...) - 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( ),...'
Ibex - Class in org.chocosolver.solver.constraints.real
 
Ibex(double[]) - Constructor for class org.chocosolver.solver.constraints.real.Ibex
Create a new Ibex object.
IBEX_HOOK_NAME - Static variable in class org.chocosolver.solver.Model
 
IbexDecision - Class in org.chocosolver.solver.search.strategy.decision
A decision that delegates the search process to Ibex
IbexDecision(Model) - Constructor for class org.chocosolver.solver.search.strategy.decision.IbexDecision
Create an decision based on an RealVar
IbexHandler - Class in org.chocosolver.solver.constraints.real
Utility class to build the right Ibex instance.
IbexHandler() - Constructor for class org.chocosolver.solver.constraints.real.IbexHandler
 
ibexSolving(Model) - Static method in class org.chocosolver.solver.search.strategy.Search
Create a strategy which lets Ibex terminates the solving process for the CSP, once all integer variables have been instantiated.
IBoundsManager - Interface in org.chocosolver.solver.objective
interface to monitor bounds.
ICause - Interface in org.chocosolver.solver
This interface describes services of smallest element which can act on variables.
ICondition - Interface in org.chocosolver.memory

IConstraintFactory - Interface in org.chocosolver.solver.constraints
Interface to make constraints over BoolVar, IntVar, RealVar and SetVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
ICostAutomaton - Interface in org.chocosolver.solver.constraints.nary.automata.FA
Created by IntelliJ IDEA.
ICounter - Interface in org.chocosolver.solver.constraints.nary.automata.FA.utils
Created by IntelliJ IDEA.
ICounter - Interface in org.chocosolver.solver.search.limits
An interface to define count smth during search process
ICounter.Impl - Enum in org.chocosolver.solver.search.limits
 
id - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc
 
id - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc
 
id - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.Node
 
id - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc
 
IDecompositionFactory - Interface in org.chocosolver.solver.constraints.binary
An interface dedicated to list decomposition of some constraints.
IDelta - Interface in org.chocosolver.solver.variables.delta

IDeltaMonitor - Interface in org.chocosolver.solver.variables.delta
A delta monitor.
identifyRefutedDecision(int) - Method in class org.chocosolver.solver.search.loop.learn.LearnCBJ
Identify the decision to reconsider, and explain its refutation in the explanation data base
identifyRefutedDecision(int) - Method in class org.chocosolver.solver.search.loop.learn.LearnDBT
Main reason of the class
Identity - Interface in org.chocosolver.solver
An interface to provide an identity to object, using a positive int to caracterize the object.
idxToObjects - Variable in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
If objects are added to the list, a mapping from their indexes is needed.
IEnumDelta - Interface in org.chocosolver.solver.variables.delta
Interface for delta enumerated dedicated to integer variable
IEnvironment - Interface in org.chocosolver.memory
An interface to ease declaration of backtrackable objects (mostly primitives).
ieval(int[], Map<IntVar, Integer>) - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
ieval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.arithmetic.BiArExpression
 
ieval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.arithmetic.IfArExpression
 
ieval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression
 
ieval(int[], Map<IntVar, Integer>) - Method in class org.chocosolver.solver.expression.discrete.arithmetic.UnArExpression
 
ieval(int[], Map<IntVar, Integer>) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
IEventStore - Interface in org.chocosolver.solver.explanations.store
Created by cprudhom on 13/11/14.
IEventType - Interface in org.chocosolver.solver.variables.events
An interface to define event to categorize the filtering algorithm to apply.
IExplanationEngine - Interface in org.chocosolver.solver.explanations
Interface for Lazy explanation engine.
IfArExpression - Class in org.chocosolver.solver.expression.discrete.arithmetic
Project: choco-solver.
IfArExpression(ReExpression, ArExpression, ArExpression) - Constructor for class org.chocosolver.solver.expression.discrete.arithmetic.IfArExpression
 
iff(ReExpression...) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
IFF - org.chocosolver.solver.expression.discrete.logical.LoExpression.Operator
 
ifOnlyIf(Constraint, Constraint) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
Posts an equivalence constraint stating that cstr1 is satisfied <=> cstr2 is satisfied, BEWARE : it is automatically posted (it cannot be reified)
ifOnlyIf(ILogical, ILogical) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Create a biconditional, results in true if and only if both operands are false or both operands are true
ift(int, int) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
ift(int, ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
ift(ArExpression, int) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
ift(ArExpression, ArExpression) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
ifThen(Constraint, Constraint) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
Posts a constraint ensuring that if ifCstr is satisfied, then thenCstr is satisfied as well BEWARE : it is automatically posted (it cannot be reified)
ifThen(BoolVar, Constraint) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
Posts an implication constraint: ifVar => thenCstr Also called half reification constraint Ensures:
ifThenElse(Constraint, Constraint, Constraint) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
Posts a constraint ensuring that if ifCstr is satisfied, then thenCstr must be satisfied as well Otherwise, elseCstr must be satisfied ifCstr => ThenCstr not(ifCstr) => ElseCstr BEWARE : it is automatically posted (it cannot be reified)
ifThenElse(ILogical, ILogical, ILogical) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Create an implication, results in true if a is true` and b is true or a is false and c is true.
ifThenElse(BoolVar, Constraint, Constraint) - Method in interface org.chocosolver.solver.constraints.IReificationFactory
Posts an implication constraint: ifVar => thenCstr && not(ifVar) => elseCstr.
ignoreModifications() - Method in class org.chocosolver.solver.propagation.PropagationEngine
 
IGraph - Interface in org.chocosolver.util.objects.graphs
 
IIntConstraintFactory - Interface in org.chocosolver.solver.constraints
Interface to make constraints over BoolVar and IntVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
IIntDeltaMonitor - Interface in org.chocosolver.solver.variables.delta

IIntDeltaMonitor.Default - Enum in org.chocosolver.solver.variables.delta
 
IIntervalDelta - Interface in org.chocosolver.solver.variables.delta
Interface for delta bounded dedicated to integer variable
ILearnFactory - Interface in org.chocosolver.solver.search.loop.learn
Interface to define how to learn during the solving process (e.g.
ILogical - Interface in org.chocosolver.solver.constraints.nary.cnf

IMeasures - Interface in org.chocosolver.solver.search.measure
Interface for providing resolution statistics
IMessage - Interface in org.chocosolver.solver.trace

IModel - Interface in org.chocosolver.solver
Interface to ease modeling Enables to make variables, views and constraints
IMonitorClose - Interface in org.chocosolver.solver.search.loop.monitors
An interface to monitor close operation of the search loop
IMonitorContradiction - Interface in org.chocosolver.solver.search.loop.monitors
An interface to monitor contradiction in search loop
IMonitorDownBranch - Interface in org.chocosolver.solver.search.loop.monitors
An interface to monitor down branch actions in the search loop
IMonitorInitialize - Interface in org.chocosolver.solver.search.loop.monitors
An interface to monitor the initialization action of the search loop
IMonitorOpenNode - Interface in org.chocosolver.solver.search.loop.monitors
An interface to monitor open node action in the search loop
IMonitorRestart - Interface in org.chocosolver.solver.search.loop.monitors
An interface to monitor restart instruction in the search loop
IMonitorSolution - Interface in org.chocosolver.solver.search.loop.monitors
An interface to monitor solution instruction in the search loop
IMonitorUpBranch - Interface in org.chocosolver.solver.search.loop.monitors
An interface to monitor up branch actions in the search loop
IMoveFactory - Interface in org.chocosolver.solver.search.loop.move
Interface to define how to explore the search space from a macro perspective (DFS, LDS, LNS, etc.)
imp(ReExpression) - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
IMP - org.chocosolver.solver.expression.discrete.logical.LoExpression.Operator
 
ImpactBased - Class in org.chocosolver.solver.search.strategy.selectors.variables
Implementation of the search described in: "Impact-Based Search Strategies for Constraint Programming", Philippe Refalo, CP2004.
ImpactBased(IntVar[], boolean) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased
 
ImpactBased(IntVar[], int, int, int, long, boolean) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased
Create an Impact-based search strategy with Node Impact strategy.
implies(ILogical, ILogical) - Static method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Create an implication, results in true if a is false or b is true.
impose(int, DecisionPath) - Method in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
Impose a decision to be part of the fragment
impose(int, DecisionPath) - Method in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
Impose a decision to be part of the fragment
IN_SEC - Static variable in interface org.chocosolver.solver.search.measure.IMeasures
To transform time from nanoseconds to seconds
inArcs - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.Nodes
 
inArcs - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.Nodes
 
incBackTrackCount() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
increment backtrack counter
incDepth() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
Increments current depth
incFailCount() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
increment fail counter
INCLOW - org.chocosolver.solver.variables.events.IntEventType
Increasing lower bound event
INCLOW - org.chocosolver.solver.variables.events.RealEventType
 
includedIn(IntVar, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
 
includedIn(IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
 
incNodeCount() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
increment node counter
increaseLimit() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
Increase the relaxing limit
incRestartCount() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
increment restart counter
incSolutionCount() - Method in class org.chocosolver.solver.search.measure.MeasuresRecorder
increment solution counter
index - Variable in class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter.Event
 
Indexable<K> - Interface in org.chocosolver.util

IndexedObject - Interface in org.chocosolver.memory.structure
Interface to manipulate object as integers in some StoredData Structures : e.g : StoredIndexedBipartiteSet
indexOf(E) - Method in class org.chocosolver.util.objects.queues.CircularQueue
Search an element equal to the parameter in the CircularQueue, and return its index (0 is the last element)
indexPreviousLevelLastLevel() - Method in class org.chocosolver.solver.search.strategy.decision.DecisionPath
Return the position of the first decision of the last level.
INeighbor - Interface in org.chocosolver.solver.search.loop.lns.neighbors
An interface defining services required for the LNS to select variables to freeze-unfreeze.
INeighborFactory - Class in org.chocosolver.solver.search.loop.lns
Factory to creates INeighbor objects that configures LNS
INeighborFactory() - Constructor for class org.chocosolver.solver.search.loop.lns.INeighborFactory
 
inflate(int, double[], double[], boolean) - Method in class org.chocosolver.solver.constraints.real.Ibex
Inflate a point to a box with respect to a constraint or its negation.
INFLATE - Static variable in class org.chocosolver.solver.constraints.real.Ibex
 
inGraph - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
 
init() - Method in class org.chocosolver.solver.objective.ObjectiveStrategy
 
init() - Method in class org.chocosolver.solver.search.limits.ACounter
 
init() - Method in interface org.chocosolver.solver.search.limits.ICounter
 
init() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut
 
init() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingObjective
 
init() - Method in interface org.chocosolver.solver.search.loop.lns.neighbors.INeighbor
Initialize this neighbor
init() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood
 
init() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood
 
init() - Method in class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood
 
init() - Method in interface org.chocosolver.solver.search.loop.move.Move
Called before the search starts.
init() - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryDFS
 
init() - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryHBFS
 
init() - Method in class org.chocosolver.solver.search.loop.move.MoveBinaryLDS
 
init() - Method in class org.chocosolver.solver.search.loop.move.MoveLearnBinaryTDR
 
init() - Method in class org.chocosolver.solver.search.loop.move.MoveLNS
 
init() - Method in class org.chocosolver.solver.search.loop.move.MoveRestart
 
init() - Method in class org.chocosolver.solver.search.loop.move.MoveSeq
 
init() - Method in class org.chocosolver.solver.search.strategy.BoundSearch
 
init() - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased
 
init() - Method in class org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased
 
init() - Method in class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy
Prepare this to be used in a search loop The initialization can detect inconsistency, in that case, it returns false
init() - Method in class org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch
 
init() - Method in class org.chocosolver.solver.search.strategy.strategy.FindAndProve
 
init() - Method in class org.chocosolver.solver.search.strategy.strategy.GreedyBranching
 
init() - Method in class org.chocosolver.solver.search.strategy.strategy.IntStrategy
 
init() - Method in class org.chocosolver.solver.search.strategy.strategy.LastConflict
 
init() - Method in class org.chocosolver.solver.search.strategy.strategy.RealStrategy
 
init() - Method in class org.chocosolver.solver.search.strategy.strategy.SetStrategy
 
init() - Method in class org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer
 
init() - Method in class org.chocosolver.util.iterators.Disposable
Freeze the iterator, cannot be reused.
init(int) - Method in class org.chocosolver.solver.variables.impl.scheduler.BoolEvtScheduler
 
init(int) - Method in class org.chocosolver.solver.variables.impl.scheduler.IntEvtScheduler
 
init(int) - Method in class org.chocosolver.solver.variables.impl.scheduler.RealEvtScheduler
 
init(int) - Method in class org.chocosolver.solver.variables.impl.scheduler.SetEvtScheduler
 
init(int) - Method in interface org.chocosolver.util.iterators.EvtScheduler
Initializes the scheduler with an event defined by 'mask'.
init(int[], int[], IStateInt, IndexedObject[]) - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet.BipartiteSetIterator
Freeze the iterator, cannot be reused.
init(Explanation) - Method in class org.chocosolver.solver.explanations.RuleStore
Initialize the rulestore for a new explanation
initialize - org.chocosolver.solver.Solver.Action
Initialization step
initialize() - Method in class org.chocosolver.sat.PropNogoods
Initializes this propagator
initialize() - Method in class org.chocosolver.sat.PropSat
Initializes this propagator
initialize() - Method in class org.chocosolver.solver.constraints.nary.automata.PropCostRegular
Build internal structure of the propagator, if necessary
initialize() - Method in class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular
Build internal structure of the propagator, if necessary
initialize() - Method in class org.chocosolver.solver.propagation.PropagationEngine
Build up internal structure, if not yet done, in order to allow propagation.
initialize() - Method in class org.chocosolver.solver.Solver
Preparation of the search: - start time recording, - store root world - push a back up world, - run the initial propagation, - initialize the Move and the search strategy
initParams(boolean) - Method in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
 
initParams(boolean) - Method in class org.chocosolver.util.graphOperations.dominance.AlphaDominatorsFinder
 
initPathInfo() - Method in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
 
initSolver(Model) - Method in class org.chocosolver.solver.DefaultSettings
 
initSolver(Model) - Method in interface org.chocosolver.solver.Settings
This method is called in Model(IEnvironment, String, Settings) to create the solver to associate with a model.
injectDomain() - Method in class org.chocosolver.solver.constraints.real.IbexHandler
 
inMIS - Variable in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.MD
 
inMIS - Variable in class org.chocosolver.solver.constraints.nary.nvalue.amnv.mis.Rk
 
InputOrder<V extends Variable> - Class in org.chocosolver.solver.search.strategy.selectors.variables
Input order variable selector.
InputOrder(Model) - Constructor for class org.chocosolver.solver.search.strategy.selectors.variables.InputOrder
Input order variable selector.
inputOrderLBSearch(IntVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
Assigns the first non-instantiated variable to its lower bound.
inputOrderUBSearch(IntVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
Assigns the first non-instantiated variable to its upper bound.
inStack - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph
 
inStack - Variable in class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph
 
INSTANTIATE - org.chocosolver.solver.variables.events.IntEventType
Instantiation event
instantiateTo(int[], ICause) - Method in class org.chocosolver.solver.variables.impl.SetVarImpl
 
instantiateTo(int[], ICause) - Method in interface org.chocosolver.solver.variables.SetVar
Enforces the set variable to contain exactly the set of integers given in parameter
instantiateTo(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl
Instantiates the domain of this to value.
instantiateTo(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BitsetIntVarImpl
Instantiates the domain of this to value.
instantiateTo(int, ICause) - Method in class org.chocosolver.solver.variables.impl.BoolVarImpl
Instantiates the domain of this to value.
instantiateTo(int, ICause) - Method in class org.chocosolver.solver.variables.impl.FixedIntVarImpl
 
instantiateTo(int, ICause) - Method in class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
Instantiates the domain of this to value.
instantiateTo(int, ICause) - Method in interface org.chocosolver.solver.variables.IntVar
Instantiates the domain of this to value.
instantiateTo(int, ICause) - Method in class org.chocosolver.solver.variables.view.BoolNotView
 
instantiateTo(int, ICause) - Method in class org.chocosolver.solver.variables.view.IntView
 
instantiateTo(IntVar, int, ICause, int, int) - Method in class org.chocosolver.solver.explanations.ExplanationEngine
Explain the assignment to val of var due to cause.
instantiateTo(IntVar, int, ICause, int, int) - Method in interface org.chocosolver.solver.explanations.IExplanationEngine
Explain the assignment to val of var due to cause.
instantiation() - Static method in enum org.chocosolver.solver.variables.events.IntEventType
 
INT - Static variable in interface org.chocosolver.solver.variables.Variable
Kind of variable: integer (unique).
INT_VALUE_PRECEDE - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
intAbsView(IntVar) - Method in interface org.chocosolver.solver.variables.IViewFactory
Creates a view over var such that: |var|.
intAffineView(int, IntVar, int) - Method in interface org.chocosolver.solver.variables.IViewFactory
Creates an affine view over x such that: a.x + b.
IntCircularQueue - Class in org.chocosolver.util.objects
A fix sized circular queue optimized for removing first and last elements.
IntCircularQueue(int) - Constructor for class org.chocosolver.util.objects.IntCircularQueue
 
IntComparator - Interface in org.chocosolver.util.sort
Comparator to sort primitive integers (presumably indexes)
IntDecision - Class in org.chocosolver.solver.search.strategy.decision
A decision based on a IntVar
IntDecision(PoolManager<IntDecision>) - Constructor for class org.chocosolver.solver.search.strategy.decision.IntDecision
Create an decision based on an IntVar
IntDelta - Interface in org.chocosolver.solver.variables.delta
An empty interface for delta dedicated to integer variable
IntDomainBest - Class in org.chocosolver.solver.search.strategy.selectors.values
Value selector for optimization problems: Branches on the value with the best objective bound (evaluated each possible assignment)
IntDomainBest() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest
Create a value selector for assignments that returns the best value wrt to the objective to optimize.
IntDomainBest(int, DecisionOperator<IntVar>) - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest
Create a value selector that returns the best value wrt to the objective to optimize.
IntDomainImpact - Class in org.chocosolver.solver.search.strategy.selectors.values
Value selector for any type of problems: Branches on the value with the best/worst impact on domains cardinality (evaluated each possible assignment)
IntDomainImpact() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainImpact
Create a value selector for assignments that returns the best value wrt to its impact on domains cardinality.
IntDomainImpact(int, DecisionOperator<IntVar>, boolean) - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainImpact
Create a value selector that returns the best value wrt to its impact on domains cardinality.
IntDomainLast - Class in org.chocosolver.solver.search.strategy.selectors.values
Value selector for optimization problems: Branches on the value in the last solution, if still in domain
IntDomainLast(Solution, IntValueSelector) - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast
Create a value selector that returns the value in the last solution.
IntDomainMax - Class in org.chocosolver.solver.search.strategy.selectors.values
Selects the variable upper bound
IntDomainMax() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMax
 
IntDomainMedian - Class in org.chocosolver.solver.search.strategy.selectors.values
Selects the median value in the variable domain.
IntDomainMedian() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMedian
 
IntDomainMiddle - Class in org.chocosolver.solver.search.strategy.selectors.values
Selects the value in the variable domain closest to the mean of its current bounds.
IntDomainMiddle(boolean) - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMiddle
Selects the middle value
IntDomainMin - Class in org.chocosolver.solver.search.strategy.selectors.values
Selects the variable lower bound
IntDomainMin() - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMin
 
IntDomainRandom - Class in org.chocosolver.solver.search.strategy.selectors.values
Selects randomly a value in the variable domain.
IntDomainRandom(long) - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainRandom
 
IntDomainRandomBound - Class in org.chocosolver.solver.search.strategy.selectors.values
Selects randomly between the lower and the upper bound of the variable
IntDomainRandomBound(long) - Constructor for class org.chocosolver.solver.search.strategy.selectors.values.IntDomainRandomBound
 
INTEQREAL - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
intersect(int, int) - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.graph.Gci
 
intersect(int, int) - Method in class org.chocosolver.solver.constraints.nary.nvalue.amnv.graph.Gi
 
intersect(int, int, int) - Method in class org.chocosolver.solver.explanations.Rules
Check whether an interval intersects at least one value from a given set
intersect(IntVar, IntVar) - Static method in class org.chocosolver.util.tools.VariableUtils
 
intersect(IntVar, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
 
intersect(IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
 
intersection(IAutomaton) - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
intersection(SetVar[], SetVar) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint which ensures that the intersection of sets is equal to intersectionSet
intersection(SetVar[], SetVar, boolean) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint which ensures that the intersection of sets is equal to intersectionSet
intersection(IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
 
intersection(IntIterableRangeSet, IntIterableRangeSet, int, int) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
Set setr to set1 ∩ [from,to]
intersection(IntIterableRangeSet, IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
Set setr to set1set2
intersectionOf(IntIterableRangeSet, IntIterableRangeSet) - Static method in class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
Set set1 to set1set2
IntervalDelta - Class in org.chocosolver.solver.variables.delta
A class to store the removed intervals of an integer variable.
IntervalDelta(IEnvironment) - Constructor for class org.chocosolver.solver.variables.delta.IntervalDelta
 
IntervalDeltaMonitor - Class in org.chocosolver.solver.variables.delta.monitor

IntervalDeltaMonitor(IIntervalDelta, ICause) - Constructor for class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor
 
IntervalIntVarImpl - Class in org.chocosolver.solver.variables.impl

IntervalIntVarImpl(String, int, int, Model) - Constructor for class org.chocosolver.solver.variables.impl.IntervalIntVarImpl
Create a bounded domain IntVar : [min,max]
IntEventType - Enum in org.chocosolver.solver.variables.events
An enum defining the integer variable event types: IntEventType.REMOVE: value removal event, IntEventType.INCLOW: lower bound increase event, IntEventType.DECUPP: upper bound decrease event, IntEventType.BOUND: lower bound increase and/or upper bound decrease event, IntEventType.INSTANTIATE: variable instantiation event Int event types are used with four different purposes.
IntEvtScheduler - Class in org.chocosolver.solver.variables.impl.scheduler
Created by cprudhom on 17/06/15.
IntEvtScheduler() - Constructor for class org.chocosolver.solver.variables.impl.scheduler.IntEvtScheduler
 
IntIterableBitSet - Class in org.chocosolver.util.objects.setDataStructures.iterable
An IntIterableBitSet based on a BitSet Created by cprudhom on 09/07/15.
IntIterableBitSet() - Constructor for class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet
Creates an IntIterable object relying on an offseted bitset implementation.
IntIterableRangeSet - Class in org.chocosolver.util.objects.setDataStructures.iterable
Concret implementation of IntIterableSet wherein values are stored in range set.
IntIterableRangeSet() - Constructor for class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
Create an interval-based ordered set
IntIterableRangeSet(int) - Constructor for class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
Create an interval-based ordered set initialized to singleton {e}
IntIterableRangeSet(int[]) - Constructor for class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
Create an interval-based ordered set initialized to an array of values
IntIterableRangeSet(int, int) - Constructor for class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableRangeSet
Create an interval-based ordered set initialized to [a,b]
IntIterableSet - Interface in org.chocosolver.util.objects.setDataStructures.iterable
An interface to store a set of values, to be used with IntVar.removeValues(IntIterableSet, org.chocosolver.solver.ICause) and IntVar.removeAllValuesBut(IntIterableSet, org.chocosolver.solver.ICause) Created by cprudhom on 09/07/15.
IntIterableSetUtils - Class in org.chocosolver.util.objects.setDataStructures.iterable
Project: choco.
IntIterableSetUtils() - Constructor for class org.chocosolver.util.objects.setDataStructures.iterable.IntIterableSetUtils
 
IntIterator - Interface in org.chocosolver.util.iterators
An interface for collections over native integers.
IntLinCombFactory - Class in org.chocosolver.solver.constraints.nary.sum
A factory to reduce and detect specific cases related to integer linear combinations.
IntList - Class in org.chocosolver.util.objects
A specific implementation for list of integers.
IntList() - Constructor for class org.chocosolver.util.objects.IntList
Constructs an empty list with the initial capacity of 10
IntList(int) - Constructor for class org.chocosolver.util.objects.IntList
Constructs an empty list with the specified initial capacity.
IntList(int...) - Constructor for class org.chocosolver.util.objects.IntList
Constructs a list containing the elements of values.
IntMap - Class in org.chocosolver.util.objects
A specific implementation for hash map of integers wherein all keys and values are greater or equal to 0.
IntMap() - Constructor for class org.chocosolver.util.objects.IntMap
 
IntMap(int) - Constructor for class org.chocosolver.util.objects.IntMap
 
IntMap(int, int) - Constructor for class org.chocosolver.util.objects.IntMap
 
intMinusView(IntVar) - Method in interface org.chocosolver.solver.variables.IViewFactory
Creates a view over var equal to -var.
intOffsetView(IntVar, int) - Method in interface org.chocosolver.solver.variables.IViewFactory
Creates a view based on var, equal to var+cste.
IntProcedure - Interface in org.chocosolver.util.procedure

intScaleView(IntVar, int) - Method in interface org.chocosolver.solver.variables.IViewFactory
Creates a view over var equal to var*cste.
IntStrategy - Class in org.chocosolver.solver.search.strategy.strategy
Class to perform branching decisions over integer variables
IntStrategy(IntVar[], VariableSelector<IntVar>, IntValueSelector) - Constructor for class org.chocosolver.solver.search.strategy.strategy.IntStrategy
Creates a search strategy which selects a variable X and a value V to perform the decision X = V BEWARE: if the variable domain is not enumerated, the value V should be a domain bound.
IntStrategy(IntVar[], VariableSelector<IntVar>, IntValueSelector, DecisionOperator<IntVar>) - Constructor for class org.chocosolver.solver.search.strategy.strategy.IntStrategy
Creates a search strategy which selects a variable X and a value V to perform the decision X decOperator V This can be X <= V for instance.
intValuePrecedeChain(IntVar[], int[]) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an intValuePrecedeChain constraint.
intValuePrecedeChain(IntVar[], int, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an intValuePrecedeChain constraint.
IntValueSelector - Interface in org.chocosolver.solver.search.strategy.selectors.values
A value selector specifies which value should be chosen to constrain the given variable.
intVar() - Method in interface org.chocosolver.solver.expression.discrete.arithmetic.ArExpression
 
intVar() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.BiArExpression
 
intVar() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.IfArExpression
 
intVar() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression
 
intVar() - Method in class org.chocosolver.solver.expression.discrete.arithmetic.UnArExpression
 
intVar() - Method in interface org.chocosolver.solver.expression.discrete.relational.ReExpression
 
intVar() - Method in interface org.chocosolver.solver.variables.BoolVar
 
intVar() - Method in interface org.chocosolver.solver.variables.IntVar
 
intVar(int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create a constant integer variable equal to value
intVar(int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create an integer variable of initial domain values.
intVar(int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create an integer variable of initial domain [lb, ub] Uses an enumerated domain if ub-lb is small, and a bounded domain otherwise
intVar(int, int, boolean) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create an integer variable of initial domain [lb, ub]
intVar(String, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create a constant integer variable equal to value
intVar(String, int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create an integer variable of initial domain values Uses an enumerated domain that supports holes
intVar(String, int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create an integer variable of initial domain [lb, ub] Uses an enumerated domain if ub-lb is small, and a bounded domain otherwise
intVar(String, int, int, boolean) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Create an integer variable of initial domain [lb, ub]
IntVar - Interface in org.chocosolver.solver.variables
Interface for integer variables.
intVarArray(int, int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates an array of size integer variables, taking their domain in values
intVarArray(int, int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates an array of size integer variables, taking their domain in [lb, ub]
intVarArray(int, int, int, boolean) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates an array of size integer variables, taking their domain in [lb, ub]
intVarArray(String, int, int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates an array of size integer variables, taking their domain in values
intVarArray(String, int, int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates an array of size integer variables, taking their domain in [lb, ub]
intVarArray(String, int, int, int, boolean) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates an array of size integer variables, taking their domain in [lb, ub]
intVarMatrix(int, int, int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates a matrix of dim1*dim2 integer variables taking their domain in values
intVarMatrix(int, int, int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates a matrix of dim1*dim2 integer variables taking their domain in [lb, ub]
intVarMatrix(int, int, int, int, boolean) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates a matrix of dim1*dim2 integer variables taking their domain in [lb, ub]
intVarMatrix(String, int, int, int[]) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates a matrix of dim1*dim2 integer variables taking their domain in values
intVarMatrix(String, int, int, int, int) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates a matrix of dim1*dim2 integer variables taking their domain in [lb, ub]
intVarMatrix(String, int, int, int, int, boolean) - Method in interface org.chocosolver.solver.variables.IVariableFactory
Creates a matrix of dim1*dim2 integer variables taking their domain in [lb, ub]
intVarSearch(VariableSelector<IntVar>, IntValueSelector, DecisionOperator<IntVar>, IntVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
Builds your own search strategy based on binary decisions.
intVarSearch(VariableSelector<IntVar>, IntValueSelector, IntVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
Builds your own assignment strategy based on binary decisions.
intVarSearch(IntVar...) - Static method in class org.chocosolver.solver.search.strategy.Search
Builds a default search heuristics of integer variables Variable selection relies on Search.domOverWDegSearch(IntVar...) Value selection relies on InDomainBest for optimization and InDomainMin for satisfaction
IntVarValueIterator - Class in org.chocosolver.util.iterators
Object to iterate over an IntVar values using for(int value:var){ ... } that is equivalent to int ub = var.getUB(); for(int value = var.getLB(); values <= ub; value = var.nextValue(value)){ ... }
IntVarValueIterator(IntVar) - Constructor for class org.chocosolver.util.iterators.IntVarValueIterator
Creates an object to iterate over an IntVar values using for(int value:var){ ... } that is equivalent to int ub = var.getUB(); for(int value = var.getLB(); values <= ub; value = var.nextValue(value)){ ... }
IntView<I extends IntVar> - Class in org.chocosolver.solver.variables.view
"A view implements the same operations as a variable.
IntWorld - Class in org.chocosolver.memory.trailing.trail.chunck
A world devoted to integers.
IntWorld(int, double) - Constructor for class org.chocosolver.memory.trailing.trail.chunck.IntWorld
Make a new world.
inUse() - Method in class org.chocosolver.solver.search.strategy.decision.IbexDecision
 
inverseChanneling(IntVar[], IntVar[]) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an inverse channeling between vars1 and vars2: vars1[i] = j <=> vars2[j] = i Performs AC if domains are enumerated.
inverseChanneling(IntVar[], IntVar[], int, int) - Method in interface org.chocosolver.solver.constraints.IIntConstraintFactory
Creates an inverse channeling between vars1 and vars2: vars1[i-offset2] = j <=> vars2[j-offset1] = i Performs AC if domains are enumerated.
INVERSECHANNELING - Static variable in class org.chocosolver.solver.constraints.ConstraintsName
 
inverseSet(SetVar[], SetVar[], int, int) - Method in interface org.chocosolver.solver.constraints.ISetConstraintFactory
Creates a constraint stating that : x in sets[y-offset1] <=> y in invSets[x-offset2]
inverseSign(int[]) - Static method in enum org.chocosolver.util.tools.ArrayUtils
Reverse all signs of the a given int table.
IObjectiveManager<V extends Variable> - Interface in org.chocosolver.solver.objective
interface to monitor the bounds of the objective variable.
IOperation - Interface in org.chocosolver.memory.structure
Generic interface used to undo modifications upon backtracking
IOperationTrail - Interface in org.chocosolver.memory.trailing.trail

IOutputFactory - Interface in org.chocosolver.solver.trace
This aims at simplifying resolution trace output by providing a unique entry point for most (not to say all) resolution message.
IOutputFactory.DefaultDecisionMessage - Class in org.chocosolver.solver.trace
The default decision message format
IOutputFactory.DefaultSolutionMessage - Class in org.chocosolver.solver.trace
The default solution message format
IRealConstraintFactory - Interface in org.chocosolver.solver.constraints
Interface to make constraints over RealVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
IReificationFactory - Interface in org.chocosolver.solver.constraints
Interface to reify constraints A kind of factory relying on interface default implementation to allow (multiple) inheritance
IResolutionHelper - Interface in org.chocosolver.solver.search
Interface to define most commonly used resolution procedures.
is(LogOp.Operator) - Method in class org.chocosolver.solver.constraints.nary.cnf.LogOp
Current tree is rooted with the logical operator op
isAConstant() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
isAConstant() - Method in interface org.chocosolver.solver.variables.Variable
 
isActive() - Method in class org.chocosolver.solver.constraints.Propagator
 
isArcOrEdge(int, int) - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
 
isArcOrEdge(int, int) - Method in interface org.chocosolver.util.objects.graphs.IGraph
If this is directed returns true if and only if arc (x,y) exists Else, if this is undirected returns true if and only if edge (x,y) exists
isArcOrEdge(int, int) - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
 
ISatFactory - Interface in org.chocosolver.solver.constraints
A factory dedicated to SAT.
isBool() - Method in class org.chocosolver.solver.variables.impl.AbstractVariable
 
isBool() - Method in interface org.chocosolver.solver.variables.IntVar
 
isBound(int) - Static method in enum org.chocosolver.solver.variables.events.IntEventType
 
isBound(int) - Static method in enum org.chocosolver.solver.variables.events.RealEventType
 
isComplete() - Method in class org.chocosolver.solver.explanations.Explanation
 
isCompletelyInstantiated() - Method in class org.chocosolver.solver.constraints.Propagator
 
isConsistent(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.LargeRelation
Test whether a tuple is consistent
isConsistent(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesLargeTable
 
isConsistent(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesList
 
isConsistent(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesTable
 
isConsistent(int[]) - Method in class org.chocosolver.solver.constraints.extension.nary.TuplesVeryLargeTable
 
isConsistent(int, int) - Method in class org.chocosolver.solver.constraints.extension.binary.BinRelation
Test whether the couple (x,y) is consistent
isConstant(Variable) - Static method in class org.chocosolver.util.tools.VariableUtils
 
isCustomPropagation(int) - Static method in enum org.chocosolver.solver.variables.events.PropagatorEventType
 
isDecupp(int) - Static method in enum org.chocosolver.solver.variables.events.IntEventType
 
isDecupp(int) - Static method in enum org.chocosolver.solver.variables.events.RealEventType
 
isDefaultSearchUsed() - Method in class org.chocosolver.solver.Solver
Indicates if the default search strategy is used
isDeterministic() - Method in class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton
 
isDirected() - Method in class org.chocosolver.util.objects.graphs.DirectedGraph
 
isDirected() - Method in interface org.chocosolver.util.objects.graphs.IGraph
 
isDirected() - Method in class org.chocosolver.util.objects.graphs.UndirectedGraph
 
isDomminatedBy(int, int) - Method in class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder
BEWARE requires preprocessDominanceRequests()
ISearchMonitor - Interface in org.chocosolver.solver.search.loop.monitors

ISearchMonitorFactory - Interface in org.chocosolver.solver.search.loop.monitors
Interface to define some search monitors to be used
ISelf<V> - Interface in org.chocosolver.solver
An interface dedicated to encapsulate a given type
isEmpty() - Method in interface org.chocosolver.memory.IStateBitSet
 
isEmpty() - Method in class org.chocosolver.memory.structure.BasicIndexedBipartiteSet
 
isEmpty() - Method in class org.chocosolver.memory.structure.OneWordS32BitSet
Returns true if this BitSet contains no bits that are set to true.
isEmpty() - Method in class org.chocosolver.memory.structure.OneWordS64BitSet
Returns true if this BitSet contains no bits that are set to true.
isEmpty() - Method in class org.chocosolver.memory.structure.S64BitSet
Returns true if this BitSet contains no bits that are set to true.
isEmpty() - Method in class org.chocosolver.solver.explanations.Rules
 
isEmpty() - Method in class org.chocosolver.util.objects.IntCircularQueue
 
isEmpty() - Method in class org.chocosolver.util.objects.IntList
Returns true if this list contains no elements.
isEmpty() - Method in class org.chocosolver.util.objects.IntMap
Returns true if this map contains no elements.
isEmpty() - Method in class org.chocosolver.util.objects.PriorityQueue
Tests if the list is empty or not.
isEmpty() - Method in class org.chocosolver.util.objects.queues.CircularQueue
 
isEmpty() - Method in interface org.chocosolver.util.objects.setDataStructures.ISet
 
isEmpty() - Method in class org.chocosolver.util.objects.StoredIndexedBipartiteSet
 
isEntailed() - Method in class org.chocosolver.sat.PropNogoods
 
isEntailed() - Method in class org.chocosolver.sat.PropSat
 
isEntailed() - Method in class org.chocosolver.solver.constraints.binary.element.PropElement
 
isEntailed() - Method in class org.chocosolver.solver.constraints.binary.PropAbsolute