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 _

C

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

Public user API: Domains : testing whether two variables have intersecting domains.

canBeEqualTo(IntDomainVar) - Method in class choco.integer.var.IntDomainVarImpl

Checks if it can be equals to another variable.

canBeEqualTo(SetVar) - Method in interface choco.set.SetVar

Public user API: Domains : testing whether two variables have intersecting domains.

canBeEqualTo(SetVar) - Method in class choco.set.var.SetVarImpl

Check if the both domain intersects

canBeInstantiatedIn(int[], int) - Method in interface choco.integer.IntDomainVar

Public user API: Domains : testing whether one value among a list is present in the domain.

canBeInstantiatedIn(int[], int) - Method in class choco.integer.var.IntDomainVarImpl

Checks if the variables can be instantiated to at least one value in the array.

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

Public user API: Domains : testing whether a value is in the domain.

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

Checks if a value is still in the domain.

canBeInstantiatedTo(int[]) - Method in class choco.set.var.SetDomainImpl

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

the initial size of the domain (never increases)

capacity() - Method in class choco.mem.StoredBitSet

capaMax - Variable in class choco.global.Cumulative

card(Constraint[], IntVar) - Method in class choco.AbstractModel

Cardinality - Class in choco.bool

A class for cardinality/atleast/atmost constraints (constraints modelling by a domain variable the number of subconstraints that are true among a list

Cardinality(Constraint[], IntDomainVar, boolean, boolean) - Constructor for class choco.bool.Cardinality

cardinality() - Method in class choco.mem.StoredBitSet

Number of bits on.

cause - Variable in exception choco.palm.cbj.search.JumpContradictionException

cause - Variable in class choco.prop.VarEvent

Cause of this basic var.

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

A chained list implementing two subsets of values: - the removed values waiting to be propagated - the removed values being propagated (each element points to the index of the enxt element) -1 for the last element

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

A chained list implementing two subsets of values: - the removed values waiting to be propagated - the removed values being propagated (each element points to the index of the enxt element) -1 for the last element

changeGoal(AbstractIntBranching, IntDomainVar) - Method in class choco.palm.benders.search.SubOptimizer

changeGoal(AbstractIntBranching) - Method in class choco.palm.benders.search.SubSearchSolver

change the goal of the search solver (called when one want to solve the next sub-problem)

CHECK - Static variable in class choco.global.Cumulative.Event

checkAcceptable(List) - Method in class choco.palm.dbt.search.PalmLearn

checkAcceptable(List) - Method in class choco.palm.dbt.search.PalmUnsureExtend

Check if a decision is valid (according to the learner)

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

Checks if the constraints that should be posted are acceptable w.r.t. the learner component.

checkAcceptableRelaxation(Constraint) - Method in class choco.palm.dbt.search.PalmLearn

checkAddition(SymbolicDecision[], LinkedList) - Method in class choco.palm.search.NogoodConstraint

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

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

checking that the propagation engine remains in a proper state

checkCouple(int, int) - Method in interface choco.integer.constraints.extension.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.

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

checkCut(SymbolicDecision[], SymbolicDecision[]) - Method in class choco.palm.search.NogoodConstraint

check whether cut1 contains cut2 or cut2 contains cut1

checkLex(int) - Method in class choco.global.Lex

checkNbFalseStatus() - Method in class choco.bool.LargeDisjunction

this compares the number of false constraints (subconstraints whose status is false) with the overall number of constraints.

checkNbPossible() - Method in class choco.global.Occurrence

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

checkNbSure() - Method in class choco.global.Occurrence

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

CHECKPROF - Static variable in class choco.global.Cumulative.Event

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

When restoration are raised, some value removal can be inappropiate.

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

Checks if current solution is still valid.

checkStatus(int) - Method in class choco.bool.BinDisjunction

checkStatus(int) - Method in class choco.bool.Cardinality

checkStatus(int) - Method in class choco.bool.Equiv

checkStatus(int) - Method in class choco.bool.Guard

checkStatus(int) - Method in class choco.bool.LargeDisjunction

checks the status of the i-th constraint of the disjunction and propagates accordingly

checkTuple(int[]) - Method in interface choco.integer.constraints.extension.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 choco.integer.constraints.extension.TuplesTable

ChocEngine - Class in choco.prop

Implementation of an AbstractPropagationEngine for Choco.

ChocEngine(AbstractProblem) - Constructor for class choco.prop.ChocEngine

Constructs a new engine by initializing the var queues.

choco - package choco

The root package for the Constraint Programming Kernel

choco.bool - package choco.bool

A package devoted to propagation over Boolean combinations of constraints

choco.branch - package choco.branch

A package devoted to control (branching schemes and heuristics) for branching in a search tree

choco.global - package choco.global

choco.global.matching - package choco.global.matching

choco.integer - package choco.integer

A package devoted to propagation over integer domain variables.

choco.integer.constraints - package choco.integer.constraints

A package devoted to constraints over integers.

choco.integer.constraints.extension - package choco.integer.constraints.extension

choco.integer.search - package choco.integer.search

A package devoted to choice points and search heuristics specific to integer variables

choco.integer.var - package choco.integer.var

A package devoted to the management of variables and domains for integers

choco.mem - package choco.mem

A package devoted to backtrackable data structures.

choco.palm - package choco.palm

A package devoted to e-tools - an explanation-based solver and all the needed tools.

choco.palm.benders - package choco.palm.benders

choco.palm.benders.explain - package choco.palm.benders.explain

choco.palm.benders.search - package choco.palm.benders.search

choco.palm.cbj - package choco.palm.cbj

choco.palm.cbj.explain - package choco.palm.cbj.explain

choco.palm.cbj.integer - package choco.palm.cbj.integer

choco.palm.cbj.search - package choco.palm.cbj.search

choco.palm.dbt - package choco.palm.dbt

choco.palm.dbt.explain - package choco.palm.dbt.explain

This package contains generic interfaces and classes for storing and managing explanations.

choco.palm.dbt.integer - package choco.palm.dbt.integer

choco.palm.dbt.integer.explain - package choco.palm.dbt.integer.explain

A package devoted to integer explanations, that is explanations for the different kinds of variables.

choco.palm.dbt.prop - package choco.palm.dbt.prop

A package devoted to an extension of Choco propagation tool to support explanation features.

choco.palm.dbt.search - package choco.palm.dbt.search

A package devoted to explanation based search.

choco.palm.dbt.search.pathrepair - package choco.palm.dbt.search.pathrepair

A package devoted to the decision-repair algorithm.

choco.palm.global.matching - package choco.palm.global.matching

choco.palm.integer - package choco.palm.integer

This package contains classes for integer-based objects (integer constraints, variables, explanations).

choco.palm.integer.constraints - package choco.palm.integer.constraints

Package devoted for integer constraints.

choco.palm.real - package choco.palm.real

This package contains classes for real-based objects (real constraints, variables, explanations).

choco.palm.real.constraints - package choco.palm.real.constraints

choco.palm.real.exp - package choco.palm.real.exp

choco.palm.real.explain - package choco.palm.real.explain

choco.palm.real.search - package choco.palm.real.search

choco.palm.search - package choco.palm.search

choco.prop - package choco.prop

A package of classes devoted to the event model of constraint propagation

choco.real - package choco.real

A package devoted to continuous propagation based on interval arithmetic.

choco.real.constraint - package choco.real.constraint

A package devoted continuous constraints.

choco.real.exp - package choco.real.exp

A package devoted real expression, that is composition of operators over real variables.

choco.real.search - package choco.real.search

A package devoted to serach tools based on real constraints and variables.

choco.real.var - package choco.real.var

A package devoted to contiinuous domains and variables.

choco.search - package choco.search

A package devoted to the the control of search algorithms

choco.set - package choco.set

choco.set.constraint - package choco.set.constraint

choco.set.search - package choco.set.search

choco.set.var - package choco.set.var

choco.util - package choco.util

A package devoted to non-backtrackable data structures

cIdx0 - Variable in class choco.integer.constraints.AbstractBinIntConstraint

The index of the constraint among all listeners of its first variable.

cIdx0 - Variable in class choco.integer.constraints.AbstractTernIntConstraint

The index of the constraint among all listeners of its first variable.

cIdx0 - Variable in class choco.integer.constraints.AbstractUnIntConstraint

The index of the constraint among all listeners of its first (and unique) variable.

cIdx0 - Variable in class choco.real.constraint.AbstractBinRealIntConstraint

cIdx0 - Variable in class choco.real.constraint.AbstractUnRealConstraint

The index of this constraints w.r.t. the variable v0.

cIdx0 - Variable in class choco.set.constraint.AbstractBinSetConstraint

The index of the constraint among all listeners of its first variable.

cIdx0 - Variable in class choco.set.constraint.AbstractBinSetIntConstraint

The index of the constraint among all listeners of its first variable.

cIdx0 - Variable in class choco.set.constraint.AbstractTernSetConstraint

The index of the constraint among all listeners of its first variable.

cIdx0 - Variable in class choco.set.constraint.AbstractUnSetConstraint

The index of the constraint among all listeners of its first (and unique) variable.

cIdx1 - Variable in class choco.integer.constraints.AbstractBinIntConstraint

The index of the constraint among all listeners of its second variable.

cIdx1 - Variable in class choco.integer.constraints.AbstractTernIntConstraint

The index of the constraint among all listeners of its second variable.

cIdx1 - Variable in class choco.real.constraint.AbstractBinRealIntConstraint

cIdx1 - Variable in class choco.set.constraint.AbstractBinSetConstraint

The index of the constraint among all listeners of its second variable.

cIdx1 - Variable in class choco.set.constraint.AbstractBinSetIntConstraint

The index of the constraint among all listeners of its second variable.

cIdx1 - Variable in class choco.set.constraint.AbstractTernSetConstraint

The index of the constraint among all listeners of its second variable.

cIdx2 - Variable in class choco.integer.constraints.AbstractTernIntConstraint

The index of the constraint among all listeners of its third variable.

cIdx2 - Variable in class choco.set.constraint.AbstractTernSetConstraint

The index of the constraint among all listeners of its third variable.

cIndices - Variable in class choco.integer.constraints.AbstractLargeIntConstraint

The list, containing, for each variable, the index of the constraint among all its incident listeners.

cIndices - Variable in class choco.real.constraint.AbstractLargeRealConstraint

Indices associated with this contraint in each variable.

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

clear() - Method in interface choco.ConstraintCollection

Deletes all indirect constraints.

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

Clears the var: delegates to the basic events.

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

Puts the specified bit off.

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

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

Deletes all indirect constraints.

clear() - Method in class choco.prop.ConstraintEvent

Clears the var.

clear() - Method in interface choco.prop.PropagationEvent

Clears the var if it not useful anymore.

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

Clears the var: delegates to the basic events.

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

clear() - Method in class choco.search.IntBranchingTrace

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

Clears the var: delegates to the basic events.

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

Clears all the queue.

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

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

cleans the data structure implementing the delta domain

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

cleans the data structure implementing the delta domain

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

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

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

cleans the data structure implementing the delta domain

clone() - Method in class choco.AbstractConstraint

clone() - Method in class choco.bool.AbstractBinBoolConstraint

clone() - Method in class choco.bool.AbstractBinBoolConstraintWithCounterOpposite

clone() - Method in class choco.bool.AbstractBinCompositeConstraint

Builds a copy of this constraint.

clone() - Method in class choco.bool.AbstractLargeBoolConstraint

clone() - Method in class choco.bool.AbstractLargeBoolConstraintWithCounterOpposite

clone() - Method in class choco.bool.AbstractLargeCompositeConstraint

clone() - Method in class choco.bool.BinConjunction

clone() - Method in class choco.bool.BinDisjunction

clone() - Method in class choco.bool.Cardinality

clone() - Method in class choco.bool.ConstantConstraint

clone() - Method in class choco.bool.Equiv

clone() - Method in class choco.bool.Guard

clone() - Method in class choco.bool.LargeConjunction

clone() - Method in class choco.bool.LargeDisjunction

clone() - Method in interface choco.Constraint

returns a copy of the constraint.

clone() - Method in class choco.Formula

clone() - Method in class choco.global.matching.AbstractBipartiteFlow

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

clone() - Method in class choco.global.matching.AbstractBipartiteMatching

Builds a copy of this contraint.

clone() - Method in class choco.global.matching.AllDifferent

clone() - Method in class choco.global.matching.GlobalCardinality

clone() - Method in class choco.global.Occurrence

clone() - Method in class choco.integer.constraints.AbstractLargeIntConstraint

clone() - Method in class choco.integer.constraints.Element

clone() - Method in class choco.integer.constraints.ElementV

clone() - Method in class choco.integer.constraints.EqualXC

clone() - Method in class choco.integer.constraints.EqualXYC

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

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

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

clone() - Method in class choco.integer.constraints.extension.CspLargeConstraint

clone() - Method in class choco.integer.constraints.GreaterOrEqualXC

clone() - Method in class choco.integer.constraints.GreaterOrEqualXYC

clone() - Method in class choco.integer.constraints.IntLinComb

Builds a copy of this contraint.

clone() - Method in class choco.integer.constraints.LessOrEqualXC

clone() - Method in class choco.integer.constraints.NotEqualXC

clone() - Method in class choco.integer.constraints.NotEqualXYC

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

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

clone() - Method in class choco.palm.integer.AbstractPalmLargeIntConstraint

clone() - Method in class choco.palm.integer.constraints.PalmAssignment

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

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

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

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

clone() - Method in class choco.palm.real.constraints.AbstractPalmSplit

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

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

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

clone() - Method in class choco.real.constraint.AbstractBinRealIntConstraint

clone() - Method in class choco.real.constraint.AbstractLargeRealConstraint

Makes a copy of this constraint.

clone() - Method in class choco.real.constraint.Equation

clone() - Method in class choco.real.constraint.MixedCstElt

clone() - Method in class choco.real.constraint.MixedEqXY

clone() - Method in class choco.set.constraint.AbstractUnSetConstraint

clone() - Method in class choco.set.constraint.MemberX

clone() - Method in class choco.set.constraint.NotMemberX

clone() - Method in class choco.set.constraint.SetCard

clone() - Method in class choco.set.constraint.SetIntersection

coefficients - Variable in class choco.integer.var.IntTerm

The coefficients

coeffs - Variable in class choco.integer.constraints.IntLinComb

The coefficients of the linear equations.

collectVars(Set) - Method in class choco.real.exp.AbstractRealBinTerm

collectVars(Set) - Method in class choco.real.exp.AbstractRealUnTerm

collectVars(Set) - Method in class choco.real.exp.RealIntervalConstant

collectVars(Set) - Method in interface choco.real.RealExp

Collects recursively all the variable this expression depends on.

collectVars(Set) - Method in class choco.real.var.RealVarImpl

compare(Object, Object) - Method in class choco.global.Cumulative.EndingDateComparator

compare(Object, Object) - Method in class choco.global.Cumulative.EventComparator

compare(Object, Object) - Method in class choco.global.Cumulative.StartingDateComparator

compare(Object, Object) - Method in class choco.palm.dbt.explain.BetterConstraintComparator

Compares two PalmConstraint. o1 is less than o2 (returns a negative value) if and only if (o1.weight < o2.weight) or ( (o1.weight = o2.weight) and (o1.timestamp > o2.timestamp) ).

compareTo(Object) - Method in class choco.palm.integer.constraints.PalmAssignment

compareTo(Object) - Method in class choco.palm.search.Assignment

compatibleFlow - Variable in class choco.global.matching.AbstractBipartiteFlow

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

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

CompositeConstraint - Interface in choco.bool

An interface for all implementations of listeners using search variables.

computeBound(int, int[], int) - Method in class choco.palm.benders.MasterSlavesRelation

compute a bound for the subproblem k. 0 denotes the master problem

computeBound(int, int[], int) - Method in class choco.palm.benders.search.SumRelation

computeExpl(Explanation[]) - Method in class choco.palm.benders.MasterSlavesRelation

Compute an explanation for the master problem using a serie of explanations extracted from the subproblems

computeExpl(Explanation[]) - Method in class choco.palm.benders.search.SumRelation

computeLowerBound() - Method in class choco.integer.constraints.IntLinComb

Computes a lower bound estimate of a linear combination of variables.

computeUpperBound() - Method in class choco.integer.constraints.IntLinComb

Computes an upper bound estimate of a linear combination of variables.

connectVar(AbstractVar, int, boolean) - Method in class choco.AbstractConstraint

ConsistencyRelation - Class in choco.integer.constraints.extension

ConsistencyRelation() - Constructor for class choco.integer.constraints.extension.ConsistencyRelation

const0 - Variable in class choco.bool.AbstractBinCompositeConstraint

The first sub-constraint of the composition.

const1 - Variable in class choco.bool.AbstractBinCompositeConstraint

The second sub-constraint of the composition.

constant - Variable in class choco.integer.var.IntTerm

the integer constant involved in the term

ConstantConstraint - Class in choco.bool

ConstantConstraint(boolean) - Constructor for class choco.bool.ConstantConstraint

constAwake(boolean) - Method in class choco.AbstractConstraint

Initial propagation of the constraint.

constAwake(boolean) - Method in class choco.palm.search.Assignment

constAwake(boolean) - Method in interface choco.Propagator

Forces a propagation of the constraint.

constAwakeEvent - Variable in class choco.AbstractConstraint

The constraint awake var attached to the constraint.

constrainOnInfNumber - Variable in class choco.bool.Cardinality

constrainOnInfNumber - Variable in class choco.global.Occurrence

constrainOnSupNumber - Variable in class choco.bool.Cardinality

constrainOnSupNumber - Variable in class choco.global.Occurrence

Constraint - Interface in choco

ConstraintCollection - Interface in choco

An interface for handling collections (sets/sequences) of constraints.

ConstraintEvent - Class in choco.prop

A class for constraint revisions in the propagation process.

ConstraintEvent(Propagator, boolean, int) - Constructor for class choco.prop.ConstraintEvent

Constructs a new var with the specified values for the fileds.

ConstraintEventQueue - Class in choco.prop

Implements an EventQueue for managing the constraint awake events.

ConstraintEventQueue(PropagationEngine) - Constructor for class choco.prop.ConstraintEventQueue

Constructs a new queue for the specified engine.

constraintIdx - Variable in class choco.palm.cbj.explain.JumpConstraintPlugin

constraintOperator - Variable in class choco.Formula

this slots characterizes the type of formula being stored (the predicate/relation/operator)

ConstraintPlugin - Interface in choco.prop

An interface for all objects that can be plugged to a constraint.

constraints - Variable in class choco.AbstractModel

All the constraints of the problem.

constraints - Variable in class choco.AbstractVar

The list of constraints (listeners) observing the variable.

constraints - Variable in class choco.bool.AbstractLargeCompositeConstraint

all subconstraints from the composition

constraintsToString() - Method in class choco.AbstractProblem

contains(Propagator) - Method in interface choco.ConstraintCollection

test if a constraint is in the collection

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

Checks if the value is present.

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

Testing whether an search value is contained within the domain.

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

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

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

contains(int) - Method in class choco.palm.cbj.integer.JumpBitSetIntDomain

Checks if the value is in the domain.

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

Checks if the explain contains a constraint.

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

Checks if the value is in the domain.

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

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

Checks if the value is present.

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

Checks if the object is in the queue.

containsAll(ConstraintCollection) - Method in interface choco.ConstraintCollection

test inclusion

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

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

Checks if another explain is included in this one.

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

Checks if all the element are in the queue.

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

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

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

A bit set indicating for each value whether it is present or not

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

A bit set indicating for each value whether it is present or not

contradictionCause - Variable in class choco.prop.AbstractPropagationEngine

Storing the cause of the last contradiction.

ContradictionException - Exception in choco

An exception thrown when a contradiction achieved.

ContradictionException(AbstractProblem) - Constructor for exception choco.ContradictionException

Contradiction without any identifiable cause

ContradictionException(Entity) - Constructor for exception choco.ContradictionException

Constructs a new contradiction with the specified cause.

contradictionExplanation - Variable in class choco.palm.JumpProblem

Contradiction explanation: a conflict set justifying that the problem is inconsistent.

contributions - Variable in class choco.global.Cumulative

copy() - Method in interface choco.ConstraintCollection

Clones the collection as a new one.

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

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

Clones the explain as a new one.

cos(RealExp) - Method in class choco.AbstractModel

Cosinus of an expression.

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

Cosinus of an expression.

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

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

Cosinus of an expression.

countNonNullCoeffs(int[]) - Static method in class choco.AbstractModel

CouplesTable - Class in choco.integer.constraints.extension

CouplesTable() - Constructor for class choco.integer.constraints.extension.CouplesTable

CouplesTable(boolean, int, int, int, int) - Constructor for class choco.integer.constraints.extension.CouplesTable

CouplesTest - Class in choco.integer.constraints.extension

CouplesTest() - Constructor for class choco.integer.constraints.extension.CouplesTest

the default constructor build a relation in feasability

CouplesTest(boolean) - Constructor for class choco.integer.constraints.extension.CouplesTest

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

createAC2001BinConstraint(IntVar, IntVar, BinRelation) - Method in class choco.palm.JumpProblem

createAC2001BinConstraint(IntVar, IntVar, BinRelation) - Method in class choco.Problem

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

createAC3BinConstraint(IntVar, IntVar, BinRelation) - Method in class choco.palm.JumpProblem

createAC3BinConstraint(IntVar, IntVar, BinRelation) - Method in class choco.Problem

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

createAC4BinConstraint(IntVar, IntVar, BinRelation) - Method in class choco.palm.JumpProblem

createAC4BinConstraint(IntVar, IntVar, BinRelation) - Method in class choco.Problem

createAllDifferent(IntVar[]) - Method in class choco.AbstractModel

createAllDifferent(IntVar[]) - Method in class choco.palm.JumpProblem

createAllDifferent(IntVar[]) - Method in class choco.Problem

createBinConjunction(Constraint, Constraint) - Method in class choco.AbstractModel

createBinConjunction(Constraint, Constraint) - Method in class choco.palm.JumpProblem

createBinConjunction(Constraint, Constraint) - Method in class choco.Problem

createBinDisjunction(Constraint, Constraint) - Method in class choco.AbstractModel

createBinDisjunction(Constraint, Constraint) - Method in class choco.palm.JumpProblem

createBinDisjunction(Constraint, Constraint) - Method in class choco.Problem

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

createBoolChanneling(IntVar, IntVar, int) - Method in class choco.palm.JumpProblem

createBoolChanneling(IntVar, IntVar, int) - Method in class choco.Problem

createBoundAllDiff(IntVar[], boolean) - Method in class choco.AbstractModel

createBoundAllDiff(IntVar[], boolean) - Method in class choco.palm.JumpProblem

createBoundAllDiff(IntVar[], boolean) - Method in class choco.Problem

createCardinality(Constraint[], IntVar, boolean, boolean) - Method in class choco.AbstractModel

createCardinality(Constraint[], IntVar, boolean, boolean) - Method in class choco.palm.JumpProblem

createCardinality(Constraint[], IntVar, boolean, boolean) - Method in class choco.Problem

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

createCspLargeConstraint(IntVar[], LargeRelation) - Method in class choco.palm.JumpProblem

createCspLargeConstraint(IntVar[], LargeRelation) - Method in class choco.Problem

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

createCumulative(IntVar[], IntVar[], IntVar[], int[], int) - Method in class choco.palm.JumpProblem

createCumulative(IntVar[], IntVar[], IntVar[], int[], int) - Method in class choco.Problem

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

createDisjoint(SetVar, SetVar) - Method in class choco.palm.JumpProblem

createDisjoint(SetVar, SetVar) - Method in class choco.Problem

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

createEqualXC(IntVar, int) - Method in class choco.palm.JumpProblem

createEqualXC(IntVar, int) - Method in class choco.Problem

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

createEqualXYC(IntVar, IntVar, int) - Method in class choco.palm.JumpProblem

createEqualXYC(IntVar, IntVar, int) - Method in class choco.Problem

createEquation(RealVar[], RealExp, RealIntervalConstant) - Method in class choco.AbstractModel

createEquation(RealVar[], RealExp, RealIntervalConstant) - Method in class choco.palm.JumpProblem

createEquation(RealVar[], RealExp, RealIntervalConstant) - Method in class choco.Problem

createEquiv(Constraint, Constraint) - Method in class choco.AbstractModel

createEquiv(Constraint, Constraint) - Method in class choco.palm.JumpProblem

createEquiv(Constraint, Constraint) - Method in class choco.Problem

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

createGlobalCardinality(IntVar[], int, int, int[], int[]) - Method in class choco.palm.JumpProblem

createGlobalCardinality(IntVar[], int, int, int[], int[]) - Method in class choco.Problem

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

createGreaterOrEqualXC(IntVar, int) - Method in class choco.palm.JumpProblem

createGreaterOrEqualXC(IntVar, int) - Method in class choco.Problem

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

createGreaterOrEqualXYC(IntVar, IntVar, int) - Method in class choco.palm.JumpProblem

createGreaterOrEqualXYC(IntVar, IntVar, int) - Method in class choco.Problem

createGuard(Constraint, Constraint) - Method in class choco.AbstractModel

createGuard(Constraint, Constraint) - Method in class choco.palm.JumpProblem

createGuard(Constraint, Constraint) - Method in class choco.Problem

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

createIntLinComb(IntVar[], int[], int, int, int) - Method in class choco.palm.JumpProblem

createIntLinComb(IntVar[], int[], int, int, int) - Method in class choco.Problem

createIntVar(String, int, int, int) - Method in class choco.AbstractModel

createIntVar(String, int[]) - Method in class choco.AbstractModel

createIntVar(String, int, int, int) - Method in class choco.palm.JumpProblem

createIntVar(String, int[]) - Method in class choco.palm.JumpProblem

createIntVar(String, int, int, int) - Method in class choco.palm.PalmProblem

createIntVar(String, int[]) - Method in class choco.palm.PalmProblem

createIntVar(String, int, int, int) - Method in class choco.Problem

createIntVar(String, int[]) - Method in class choco.Problem

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

createInverseChanneling(IntVar[], IntVar[]) - Method in class choco.palm.JumpProblem

createInverseChanneling(IntVar[], IntVar[]) - Method in class choco.Problem

createLargeConjunction(Constraint[]) - Method in class choco.AbstractModel

createLargeConjunction(Constraint[]) - Method in class choco.palm.JumpProblem

createLargeConjunction(Constraint[]) - Method in class choco.Problem

createLargeDisjunction(Constraint[]) - Method in class choco.AbstractModel

createLargeDisjunction(Constraint[]) - Method in class choco.palm.JumpProblem

createLargeDisjunction(Constraint[]) - Method in class choco.Problem

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

createLessOrEqualXC(IntVar, int) - Method in class choco.palm.JumpProblem

createLessOrEqualXC(IntVar, int) - Method in class choco.Problem

createLex(IntVar[], IntVar[], boolean) - Method in class choco.AbstractModel

createLex(IntVar[], IntVar[], boolean) - Method in class choco.palm.JumpProblem

createLex(IntVar[], IntVar[], boolean) - Method in class choco.Problem

createMemberX(SetVar, int) - Method in class choco.AbstractModel

createMemberX(SetVar, int) - Method in class choco.palm.JumpProblem

createMemberX(SetVar, int) - Method in class choco.Problem

createMemberXY(SetVar, IntVar) - Method in class choco.AbstractModel

createMemberXY(SetVar, IntVar) - Method in class choco.palm.JumpProblem

createMemberXY(SetVar, IntVar) - Method in class choco.Problem

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

createNotEqualXC(IntVar, int) - Method in class choco.palm.JumpProblem

createNotEqualXC(IntVar, int) - Method in class choco.Problem

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

createNotEqualXYC(IntVar, IntVar, int) - Method in class choco.palm.JumpProblem

createNotEqualXYC(IntVar, IntVar, int) - Method in class choco.Problem

createNotMemberX(SetVar, int) - Method in class choco.AbstractModel

createNotMemberX(SetVar, int) - Method in class choco.palm.JumpProblem

createNotMemberX(SetVar, int) - Method in class choco.Problem

createNotMemberXY(SetVar, IntVar) - Method in class choco.AbstractModel

createNotMemberXY(SetVar, IntVar) - Method in class choco.palm.JumpProblem

createNotMemberXY(SetVar, IntVar) - Method in class choco.Problem

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

createOccurrence(IntVar[], int, boolean, boolean) - Method in class choco.palm.JumpProblem

createOccurrence(IntVar[], int, boolean, boolean) - Method in class choco.Problem

createRealCos(RealExp) - Method in class choco.AbstractModel

createRealCos(RealExp) - Method in class choco.palm.JumpProblem

createRealCos(RealExp) - Method in class choco.Problem

createRealIntegerPower(RealExp, int) - Method in class choco.AbstractModel

createRealIntegerPower(RealExp, int) - Method in class choco.palm.JumpProblem

createRealIntegerPower(RealExp, int) - Method in class choco.Problem

createRealIntervalConstant(double, double) - Method in class choco.AbstractModel

createRealIntervalConstant(double, double) - Method in class choco.palm.JumpProblem

createRealIntervalConstant(double, double) - Method in class choco.Problem

createRealMinus(RealExp, RealExp) - Method in class choco.AbstractModel

createRealMinus(RealExp, RealExp) - Method in class choco.palm.JumpProblem

createRealMinus(RealExp, RealExp) - Method in class choco.Problem

createRealMult(RealExp, RealExp) - Method in class choco.AbstractModel

createRealMult(RealExp, RealExp) - Method in class choco.palm.JumpProblem

createRealMult(RealExp, RealExp) - Method in class choco.Problem

createRealPlus(RealExp, RealExp) - Method in class choco.AbstractModel

createRealPlus(RealExp, RealExp) - Method in class choco.palm.JumpProblem

createRealPlus(RealExp, RealExp) - Method in class choco.Problem

createRealSin(RealExp) - Method in class choco.AbstractModel

createRealSin(RealExp) - Method in class choco.palm.JumpProblem

createRealSin(RealExp) - Method in class choco.Problem

createRealVal(String, double, double) - Method in class choco.AbstractModel

createRealVal(String, double, double) - Method in class choco.palm.JumpProblem

createRealVal(String, double, double) - Method in class choco.palm.PalmProblem

createRealVal(String, double, double) - Method in class choco.Problem

createSetCard(SetVar, IntVar, boolean, boolean) - Method in class choco.AbstractModel

createSetCard(SetVar, IntVar, boolean, boolean) - Method in class choco.palm.JumpProblem

createSetCard(SetVar, IntVar, boolean, boolean) - Method in class choco.Problem

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

createSetIntersection(SetVar, SetVar, SetVar) - Method in class choco.palm.JumpProblem

createSetIntersection(SetVar, SetVar, SetVar) - Method in class choco.Problem

createSetVar(String, int, int) - Method in class choco.AbstractModel

createSetVar(String, int, int) - Method in class choco.palm.JumpProblem

createSetVar(String, int, int) - Method in class choco.Problem

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

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

createSubscript(IntVar, int[], IntVar, int) - Method in class choco.palm.JumpProblem

createSubscript(IntVar, IntVar[], IntVar, int) - Method in class choco.palm.JumpProblem

createSubscript(IntVar, int[], IntVar, int) - Method in class choco.Problem

createSubscript(IntVar, IntVar[], IntVar, int) - Method in class choco.Problem

createTimesXYZ(IntVar, IntVar, IntVar) - Method in class choco.AbstractModel

createTimesXYZ(IntVar, IntVar, IntVar) - Method in class choco.palm.JumpProblem

createTimesXYZ(IntVar, IntVar, IntVar) - Method in class choco.Problem

CspBinConstraint - Class in choco.integer.constraints.extension

CspBinConstraint(IntDomainVar, IntDomainVar, BinRelation) - Constructor for class choco.integer.constraints.extension.CspBinConstraint

CspLargeConstraint - Class in choco.integer.constraints.extension

CspLargeConstraint(IntDomainVar[], LargeRelation) - Constructor for class choco.integer.constraints.extension.CspLargeConstraint

cst(double) - Method in class choco.AbstractModel

Makes a constant interval from a double d ([d,d]).

cst(double, double) - Method in class choco.AbstractModel

Makes a constant interval between two doubles [a,b].

cst(double) - Method in class choco.palm.real.PalmRealModeler

Makes a constant interval from a double d ([d,d]).

cst(double, double) - Method in class choco.palm.real.PalmRealModeler

Makes a constant interval between two doubles [a,b].

cst(double) - Method in class choco.real.RealModeler

Makes a constant interval from a double d ([d,d]).

cst(double, double) - Method in class choco.real.RealModeler

Makes a constant interval between two doubles [a,b].

cste - Variable in class choco.integer.constraints.AbstractLargeIntConstraint

The search constant attached to the constraint.

cste - Variable in class choco.integer.constraints.BooleanChanneling

cste - Variable in class choco.integer.constraints.EqualXC

The search constant of the constraint

cste - Variable in class choco.integer.constraints.EqualXYC

The search constant of the constraint

cste - Variable in class choco.integer.constraints.GreaterOrEqualXC

The search constant of the constraint

cste - Variable in class choco.integer.constraints.GreaterOrEqualXYC

The search constant of the constraint

cste - Variable in class choco.integer.constraints.IntLinComb

The constant of the constraint.

cste - Variable in class choco.integer.constraints.LessOrEqualXC

The search constant of the constraint

cste - Variable in class choco.integer.constraints.NotEqualXC

The search constant of the constraint

cste - Variable in class choco.integer.constraints.NotEqualXYC

The search constant of the constraint

cste - Variable in class choco.palm.integer.constraints.PalmElt

Uses the cste slot: l[i + cste] = x.

cste - Variable in class choco.palm.integer.constraints.PalmEqualXC

cste - Variable in class choco.palm.integer.constraints.PalmEqualXYC

cste - Variable in class choco.palm.integer.constraints.PalmGreaterOrEqualXC

cste - Variable in class choco.palm.integer.constraints.PalmGreaterOrEqualXYC

cste - Variable in class choco.palm.integer.constraints.PalmLessOrEqualXC

cste - Variable in class choco.palm.integer.constraints.PalmNotEqualXC

cste - Variable in class choco.palm.integer.constraints.PalmNotEqualXYC

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

cste - Variable in class choco.set.constraint.MemberX

cste - Variable in class choco.set.constraint.NotMemberX

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

Cumulative : Given a set of tasks defined by their starting dates, ending dates, durations and consumptions/heights, the cumulative ensures that at any time t, the sum of the heights of the tasks which are executed at time t does not exceed a given limit C (the capacity of the ressource).

Cumulative - Class in choco.global

Created by IntelliJ IDEA.

Cumulative(IntDomainVar[], IntDomainVar[], IntDomainVar[], int[], int) - Constructor for class choco.global.Cumulative

Cumulative.EndingDateComparator - Class in choco.global

Cumulative.EndingDateComparator(IntDomainVar[]) - Constructor for class choco.global.Cumulative.EndingDateComparator

Cumulative.Event - Class in choco.global

Cumulative.Event(int, int, int, int) - Constructor for class choco.global.Cumulative.Event

Cumulative.EventComparator - Class in choco.global

Cumulative.EventComparator() - Constructor for class choco.global.Cumulative.EventComparator

Cumulative.IntList - Class in choco.global

Cumulative.IntList(int) - Constructor for class choco.global.Cumulative.IntList

Cumulative.StartingDateComparator - Class in choco.global

Cumulative.StartingDateComparator(IntDomainVar[]) - Constructor for class choco.global.Cumulative.StartingDateComparator

current - Variable in class choco.palm.real.constraints.AbstractPalmSplit

The propagated interval value (instantiated on creation on the specialized class).

current - Variable in class choco.palm.real.search.PalmCyclicSplit

The index of the last splitted variable.

current - Variable in class choco.real.search.CyclicRealVarSelector

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

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

currentFail - Variable in class choco.palm.cbj.search.JumpGlobalSearchSolver

An explanation justifying the current contradiction.

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

currentIndex - Variable in class choco.integer.var.BitSetIntDomain.DeltaIntDomainIterator

currentIndex - Variable in class choco.palm.dbt.integer.PalmBitSetIntDomain.RepairIntDomainIterator

currentIndex - Variable in class choco.set.var.BitSetEnumeratedDomain.DeltaDomainIterator

currentInfPropagated - Variable in class choco.integer.var.AbstractIntDomain

for the delta domain: current value of the inf (domain lower bound) when the bound started beeing propagated (just to check that it does not change during the propagation phase)

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

for the delta domain: current value of the inf (domain lower bound) when the bound started beeing propagated (just to check that it does not change during the propagation phase)

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

currentSupport0 - Variable in class choco.integer.constraints.extension.AC2001BinConstraint

currentSupport1 - Variable in class choco.integer.constraints.extension.AC2001BinConstraint

currentSupPropagated - Variable in class choco.integer.var.AbstractIntDomain

for the delta domain: current value of the sup (domain upper bound) when the bound started beeing propagated (just to check that it does not change during the propagation phase)

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

for the delta domain: current value of the sup (domain upper bound) when the bound started beeing propagated (just to check that it does not change during the propagation phase)

currentTraceIndex - Variable in class choco.search.AbstractGlobalSearchSolver

index of the current trace in the stack

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

currentValue - Variable in class choco.integer.var.AbstractIntDomain.IntDomainIterator

currentValue - Variable in class choco.set.var.SetDomainImpl.SetDomainIterator

currentValue - Variable in class choco.set.var.SetDomainImpl.SetOpenDomainIterator

currentWorld - Variable in class choco.mem.Environment

The current world number (should be less than maxWorld).

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

The nogood constraint gathering all benders cuts

CyclicRealVarSelector - Class in choco.real.search

A cyclic variable selector : since a dichotomy algorithm is used, cyclic assiging is nedded for instantiate a real interval variable.

CyclicRealVarSelector(AbstractProblem) - Constructor for class choco.real.search.CyclicRealVarSelector