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 _

I

IBoundExplanation - Interface in choco.palm.dbt.integer.explain

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

ifOnlyIf(Constraint, Constraint) - Method in interface choco.BoolModeler

Creates an equivalence from two constraints

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

ifThen(Constraint, Constraint) - Method in interface choco.BoolModeler

Creates a lazy implication from two constraints

IGlobalSearchLimit - Interface in choco.search

The interface of objects limiting the global search exploration

IIntVarSelector - Interface in choco.integer.search

an interface for objects controlling the selection of an search variable (for heuristic purposes)

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

implies(Constraint, Constraint) - Method in interface choco.BoolModeler

Creates an implication from two constraints

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

Constants for the eventType bitvector: index of bit for updates to lower bound of IntVars

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

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

Constants for the eventType bitvector: value of bitvector for updates to lower bound of IntVars

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

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

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

Increments the number of init constraint awake events.

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

updates the matching size when one more left vertex is matched with j

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

updates the matching size when one more left vertex is matched with j

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

Matching size has been increase by 1.

IncreasingDomain - Class in choco.integer.search

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

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

incrementalRun() - Method in class choco.palm.cbj.search.JumpRestartOptimizer

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

main entry point: searching for one solution Note: the initial propagation must be done before pushing any world level.

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

indexOfLastInitializedStaticConstraint - Variable in class choco.palm.JumpProblem

an index useful for re-propagating cuts (static constraints) upon backtracking

indexOfLastInitializedStaticConstraint - Variable in class choco.Problem

an index useful for re-propagating cuts (static constraints) upon backtracking

indexUpdateNeeded - Variable in class choco.integer.constraints.ElementV

indices - Variable in class choco.AbstractVar

List of indices encoding the constraint network.

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

The backtrackable minimal value of the variable.

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

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

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

Constant for selecting lower bound when asking explanations.

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

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

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

Deprecated.

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

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

infeasPairAC(IntVar, IntVar, ArrayList) - Method in class choco.AbstractModel

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

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

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

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

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

informConstraintsInExplanation(PalmExplanation) - Method in class choco.palm.dbt.search.pathrepair.PathRepairLearn

maintain the searchInfo parameter on each constraint concerned by the conflict

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

Informs all the constrolling constraints of modifications on this one.

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

init() - Method in class choco.global.matching.AbstractBipartiteGraph.IntQueue

Initializes the queue.

init(int, boolean, boolean) - Method in class choco.global.Occurrence

init(int[]) - Method in class choco.integer.constraints.IntLinComb

Initializes the constraint by copying the coefficent array.

INIT_SEARCH - Static variable in class choco.search.AbstractGlobalSearchSolver

constants for dirving the incremental search algorithm

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

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

Initializes the matching by building the backtrackable vector for the right vertices values.

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

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

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

initialization of the optimization bound data structure

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

initialization of the optimization bound data structure

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

initialization of the optimization bound data structure

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

initialization of the optimization bound data structure

initEquation(AbstractProblem, RealExp, RealInterval) - Method in class choco.real.constraint.Equation

initHeuristic(ArrayList) - Method in class choco.palm.benders.BendersSolver

INITIAL_STATIC_CAPACITY - Static variable in class choco.mem.PartiallyStoredIntVector

INITIAL_STATIC_CAPACITY - Static variable in class choco.mem.PartiallyStoredVector

INITIAL_STORED_CAPACITY - Static variable in class choco.mem.PartiallyStoredIntVector

INITIAL_STORED_CAPACITY - Static variable in class choco.mem.PartiallyStoredVector

initialize() - Method in class choco.global.Lex

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

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

initialize the graph data structure storing the SCC decomposition

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

Propagation events instantiating a variable (ie: removing all other values from the domain)

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

Internal var: instantiation of the variable caused by its i-th constraint Returns a boolean indicating whether the call indeed added new information.

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

Internal var: instantiation of the variable caused by its i-th constraint Returns a boolean indicating whether the call indeed added new information.

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

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

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

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

Propagation events instantiated a set var to a specific set of values

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

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

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

Constants for the eventType bitvector: index of bit for instantiations of IntVars

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

Constants for the eventType bitvector: value of bitvector for instantiations of IntVars

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

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

INT_LIN_COMB - Static variable in class choco.Formula

INT_TRAIL - Static variable in class choco.mem.Environment

Index of the StoredIntTrail for storing integers.

INT_VECTOR_TRAIL - Static variable in class choco.mem.Environment

Index of the StoredIntVectorTrail for storing integer vectors.

IntBranching - Interface in choco.branch

IntBranching objects are specific branching objects where each branch is labeled with an integer.

IntBranchingTrace - Class in choco.search

A class for keeping a trace of the search algorithm, through an IntBranching (storing the current branching object, as well as the label of the current branch)

IntBranchingTrace() - Constructor for class choco.search.IntBranchingTrace

IntBranchingTrace(IntBranching) - Constructor for class choco.search.IntBranchingTrace

IntConstraint - Interface in choco.integer

An interface for all implementations of listeners using search variables.

IntDomain - Interface in choco.integer.var

An interface for all domains of search variables

IntDomainVar - Interface in choco.integer

An interface for all implementations of search valued domain variables

IntDomainVarImpl - Class in choco.integer.var

Implements search valued domain variables.

IntDomainVarImpl(AbstractProblem, String, int, int, int) - Constructor for class choco.integer.var.IntDomainVarImpl

Constructs a new variable for the specified problem and with the specified name and bounds.

IntDomainVarImpl(AbstractProblem, String, int[]) - Constructor for class choco.integer.var.IntDomainVarImpl

intersect(RealInterval, int) - Method in class choco.palm.real.exp.AbstractPalmRealBinTerm

Updates the interval such that this interval is included in the interval parameter.

intersect(RealInterval, int) - Method in class choco.palm.real.exp.AbstractPalmRealUnTerm

Updates the interval such that this interval is included in the interval parameter.

intersect(RealInterval, int) - Method in class choco.palm.real.PalmRealDomainImpl

Makes this domain be included in the specified interval.

intersect(RealInterval) - Method in class choco.real.exp.AbstractRealCompoundTerm

intersect(RealInterval, int) - Method in class choco.real.exp.AbstractRealCompoundTerm

intersect(RealInterval) - Method in class choco.real.exp.RealIntervalConstant

intersect(RealInterval, int) - Method in class choco.real.exp.RealIntervalConstant

intersect(RealInterval) - Method in class choco.real.exp.RealIntervalImpl

Deprecated.

intersect(RealInterval, int) - Method in class choco.real.exp.RealIntervalImpl

Deprecated.

intersect(RealInterval) - Method in interface choco.real.RealInterval

Modifies the bounds for intersecting with the specified interval.

intersect(RealInterval, int) - Method in interface choco.real.RealInterval

Modifies the bounds for intersecting with the specified interval.

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

intersect(RealInterval, int) - Method in class choco.real.var.RealDomainImpl

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

intersect(RealInterval, int) - Method in class choco.real.var.RealVarImpl

IntervalIntDomain - Class in choco.integer.var

IntervalIntDomain(IntDomainVarImpl, int, int) - Constructor for class choco.integer.var.IntervalIntDomain

IntExp - Interface in choco.integer

an interface for all expressions (arithmetic, ...) modelling search values.

IntIterator - Interface in choco.util

An interface for collections over native integers.

IntLinComb - Class in choco.integer.constraints

Implements a constraint Sigma (ai Xi) <=/>=/= C, with Xi variables, ai and C constants.

IntLinComb(IntDomainVar[], int[], int, int, int) - Constructor for class choco.integer.constraints.IntLinComb

Constructs the constraint with the specified variables and constant.

IntModeler - Interface in choco

An interface for all methods related modelling constraint programs over search domains

IntTerm - Class in choco.integer.var

Implements linear terms: Sigma_i(a_i*X_i), where a_i are search coefficients, and X_i are search domain variable

IntTerm(int) - Constructor for class choco.integer.var.IntTerm

Constructor

IntTerm(IntTerm) - Constructor for class choco.integer.var.IntTerm

Constructor by copy

IntVar - Interface in choco.integer

IntVarEvent - Class in choco.integer.var

IntVarEvent(AbstractVar) - Constructor for class choco.integer.var.IntVarEvent

IntVarEventListener - Interface in choco.integer.var

An interface for all the search variable listeners.

intVars - Variable in class choco.AbstractModel

All the search intVars in the problem.

intVarValues - Variable in class choco.Solution

data storage for values of search variables

INVALID_INDEX - Static variable in class choco.util.StoredPointerCycle

Deprecated. Wildcard: all entries of the vector contain valid indices (i.e. values from 0 to n-1, n being the vector size) or the constant INVALID_INDEX.

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

State a channeling bewteen two arrays of integer variables x and y with the same domain which enforces x[i] = j <=> y[j] = i

InverseChanneling - Class in choco.integer.constraints

InverseChanneling(IntDomainVar[], int) - Constructor for class choco.integer.constraints.InverseChanneling

link x and y so that x[i] = j <=> y[j] = i It is used to maintain both model on permutation problems

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

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

Accessing the left vertex matched to j.

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

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

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

IPrioritizable - Interface in choco.util

Specifies an object with a priority.

IRemovalExplanation - Interface in choco.palm.dbt.integer.explain

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

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

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

isActive() - Method in class choco.AbstractConstraint

Checks if the constraint is active (e.g. plays a role in the propagation phase).

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

isActive(int) - Method in class choco.prop.ConstraintEvent

Testing whether an event is active in the propagation network

isActive(int) - Method in interface choco.prop.PropagationEvent

Tests whether a propagation var is active in the propagation network.

isActive(int) - Method in class choco.prop.VarEvent

Checks if a given listener is active or not

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

Propagation: A constraint is active if it is connected to the network and if it does propagate.

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

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

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

Checks if all variables are instantiated, that if sub-constraints variables are instantiated.

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

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

isCompletelyInstantiated() - Method in class choco.integer.constraints.AbstractBinIntConstraint

Checks if all the variables are instantiated.

isCompletelyInstantiated() - Method in class choco.integer.constraints.AbstractIntConstraint

Checks if all the variables are instantiated.

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

Checks wether all the variables are instantiated.

isCompletelyInstantiated() - Method in class choco.integer.constraints.AbstractTernIntConstraint

Checks if all the variables are instantiated.

isCompletelyInstantiated() - Method in class choco.integer.constraints.AbstractUnIntConstraint

Checks if all the variables of the constraint are instantiated.

isCompletelyInstantiated() - Method in class choco.palm.search.Assignment

isCompletelyInstantiated() - Method in interface choco.Propagator

Utility: Testing if all variables involved in the constraint are instantiated.

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

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

Checks if the constrait is completely instantiated.

isCompletelyInstantiated() - Method in class choco.real.constraint.AbstractUnRealConstraint

Checks if the only one variable of the constraint is instantiated.

isCompletelyInstantiated() - Method in class choco.set.constraint.AbstractBinSetConstraint

Checks if all the variables are instantiated.

isCompletelyInstantiated() - Method in class choco.set.constraint.AbstractBinSetIntConstraint

Checks if all the variables are instantiated.

isCompletelyInstantiated() - Method in class choco.set.constraint.AbstractMixedConstraint

isCompletelyInstantiated() - Method in class choco.set.constraint.AbstractSetConstraint

isCompletelyInstantiated() - Method in class choco.set.constraint.AbstractTernSetConstraint

Checks if all the variables are instantiated.

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

Checks if all the variables of the constraint are instantiated.

isConsistent() - Method in class choco.AbstractProblem

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

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

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

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

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

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

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

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

isConsistent() - Method in class choco.integer.constraints.AbstractIntConstraint

tests if the constraint is consistent with respect to the current state of domains

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

tests if the constraint is consistent with respect to the current state of domains

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

tests if the constraint is consistent with respect to the current state of domains

isConsistent(int, int) - Method in interface choco.integer.constraints.extension.BinRelation

Test whether the couple (x,y) is consistent

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

isConsistent(int, int) - Method in class choco.integer.constraints.extension.CouplesTest

check if the couple (x,y) is consistent according to the feasability of the relation and the checkCouple method.

isConsistent(int[]) - Method in interface choco.integer.constraints.extension.LargeRelation

Test whether a tuple is consistent

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

isConsistent(int[]) - Method in class choco.integer.constraints.extension.TuplesTest

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

tests if the constraint is consistent with respect to the current state of domains

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

tests if the constraint is consistent with respect to the current state of domains

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

Tests if the constraint is consistent with respect to the current state of domains.

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

tests if the constraint is consistent with respect to the current state of domains

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

tests if the constraint is consistent with respect to the current state of domains

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

tests if the constraint is consistent with respect to the current state of domains

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

Checks if the constraint is satisfied.

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

isConsistent() - Method in interface choco.Propagator

tests if the constraint is consistent with respect to the current state of domains

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

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

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

isConsistent() - Method in class choco.set.constraint.Disjoint

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

isConsistent() - Method in class choco.set.constraint.MemberXY

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

isConsistent() - Method in class choco.set.constraint.NotMemberXY

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

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

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

Checks if a contradiction has been reached.

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

test if the relation is defined with feasible tuples or infeasible one.

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

Checks if the constraint is depending.

isEmpty() - Method in interface choco.ConstraintCollection

Checks if the explain is empty (that is wether the size of the set is null).

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

Checks if the vector is empty.

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

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

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

Checks if the vector is empty.

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

Checks if the vector is empty.

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

Checks if the vector is empty.

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

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

Checks if the explain is empty (that is wether the size of the set is null).

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

Checks if the queue is empty.

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

Checks if the queue is empty.

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

Checks if the queue is empty.

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

Checks if the queue is empty.

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

Checks if a limit has been encountered

isEncounteredLimit() - Method in class choco.Solver

Checks if a limit has been encountered

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

tests whether the event is currently active (present in some queue) or not

isEntailed() - Method in class choco.AbstractConstraint

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

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

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

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

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

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

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

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

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

isEntailed() - Method in class choco.global.Lex

isEntailed() - Method in class choco.integer.constraints.BooleanChanneling

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

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

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

Checks if the listeners must be checked or must fail.

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

Checks if the listeners must be checked or must fail.

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

Checks if all remaining values of x are supported by all values of y.

isEntailed() - Method in class choco.integer.constraints.extension.CspBinConstraint

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

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

When the whole domain of v0 is below or above cste, we know for sure whether the constraint will be satisfied or not

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

Checks if the listeners must be checked or must fail.

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

Checks if the constraint is entailed.

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

When the whole domain of v0 is below or above cste, we know for sure whether the constraint will be satisfied or not

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

When the whole domain of v0 is below or above cste, we know for sure whether the constraint will be satisfied or not

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

Checks if the listeners must be checked or must fail.

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

isEntailed() - Method in class choco.palm.integer.constraints.PalmElt

Checks if the constraint is entailed (it can be proven that the constraint will be satisfied).

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

isEntailed() - Method in class choco.palm.integer.constraints.PalmEqualXC

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

isEntailed() - Method in class choco.palm.integer.constraints.PalmGreaterOrEqualXC

isEntailed() - Method in class choco.palm.integer.constraints.PalmGreaterOrEqualXYC

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

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

isEntailed() - Method in class choco.palm.integer.constraints.PalmNotEqualXYC

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

isEntailed() - Method in interface choco.Propagator

Checks whether the constraint is definitely satisfied, no matter what further restrictions occur to the domain of its variables.

isEntailed() - Method in class choco.set.constraint.Disjoint

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

Checks if the listeners must be checked or must fail.

isEntailed() - Method in class choco.set.constraint.MemberXY

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

Checks if the listeners must be checked or must fail.

isEntailed() - Method in class choco.set.constraint.NotMemberXY

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

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

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

isEnumerated() - Method in class choco.integer.var.IntervalIntDomain

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

isEquivalentTo(Constraint) - Method in class choco.AbstractConstraint

isEquivalentTo(Constraint) - Method in class choco.bool.BinConjunction

isEquivalentTo(Constraint) - Method in class choco.bool.BinDisjunction

isEquivalentTo(Constraint) - Method in class choco.bool.ConstantConstraint

isEquivalentTo(Constraint) - Method in class choco.bool.Equiv

isEquivalentTo(Constraint) - Method in class choco.bool.Guard

isEquivalentTo(Constraint) - Method in class choco.bool.LargeConjunction

isEquivalentTo(Constraint) - Method in class choco.bool.LargeDisjunction

isEquivalentTo(Constraint) - Method in interface choco.Constraint

tests the equivalence (logical equality of the conditions) between two constraints.

isEquivalentTo(Constraint) - Method in class choco.Formula

isEquivalentTo(Constraint) - Method in class choco.integer.constraints.EqualXC

isEquivalentTo(Constraint) - Method in class choco.integer.constraints.EqualXYC

isEquivalentTo(Constraint) - Method in class choco.integer.constraints.GreaterOrEqualXC

isEquivalentTo(Constraint) - Method in class choco.integer.constraints.GreaterOrEqualXYC

isEquivalentTo(Constraint) - Method in class choco.integer.constraints.IntLinComb

Checks if this constraint is equivalent to the argument constraint.

isEquivalentTo(Constraint) - Method in class choco.integer.constraints.LessOrEqualXC

isEquivalentTo(Constraint) - Method in class choco.integer.constraints.NotEqualXC

isEquivalentTo(Constraint) - Method in class choco.integer.constraints.NotEqualXYC

isEquivalentTo(Constraint) - Method in class choco.palm.search.AbstractDecision

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

Checks if this constraint is ever connected.

isFeasible() - Method in class choco.AbstractProblem

test if the problem has been found to be feasible (there exist solutions) or not.

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

Chechs if the solver has finished searching a solution.

isIn(Object) - Method in class choco.util.BipartiteSet

Checks if the object is in the set.

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

Deprecated. Tests if a given index is in the cycle or not.

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

Checks if the constraint is indirect.

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

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

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

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

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

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

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

Returns if the constraint is initialized.

isInstantiated() - Method in class choco.integer.var.IntDomainVarImpl

Checks if the variables is instantiated to any value.

isInstantiated() - Method in class choco.real.var.RealVarImpl

isInstantiated() - Method in class choco.set.var.SetDomainImpl

isInstantiated() - Method in class choco.set.var.SetVarImpl

isInstantiated() - Method in interface choco.Var

Public user API: Domains : testing whether a variable is instantiated or not.

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

Public user API: Domains : testing whether the value of an instantiated variable is equal to a specific value.

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

Checks if the variable is instantiated to a specific value.

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

isKnown() - Method in interface choco.mem.IStateInt

Checks if a value is currently stored.

isKnown() - Method in class choco.mem.StoredFloat

Checks if a value is currently stored.

isKnown() - Method in class choco.mem.StoredInt

Checks if a value is currently stored.

isKnown() - Method in class choco.mem.StoredLong

Checks if a value is currently stored.

isLeft(Object) - Method in class choco.util.BipartiteSet

Checks if the object is in the left part of the set.

isolate(RealVar, List, List) - Method in class choco.real.exp.AbstractRealBinTerm

isolate(RealVar, List, List) - Method in class choco.real.exp.AbstractRealUnTerm

isolate(RealVar, List, List) - Method in class choco.real.exp.RealIntervalConstant

isolate(RealVar, List, List) - Method in interface choco.real.RealExp

Isolates sub terms depending or not on a variable x.

isolate(RealVar, List, List) - Method in class choco.real.var.RealVarImpl

isPopping - Variable in class choco.palm.dbt.prop.PalmIntVarEvent

This boolean was before in the queue

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

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

isPopping - Variable in class choco.palm.real.PalmRealVarEvent

This boolean was before in the queue

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

States if this event is currently being popped.

isPossible - Variable in class choco.global.Occurrence

isPossible[i] is true if variable i can take the occurence value

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

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

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

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

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

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

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

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

isSatisfied() - Method in interface choco.Constraint

Semantic: Testing if the constraint is satisfied.

isSatisfied() - Method in class choco.Formula

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

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

isSatisfied() - Method in class choco.global.Lex

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

Checks if the constraint is satisfied when all variables are instantiated.

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

TODO : not implemented

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

isSatisfied() - Method in class choco.integer.constraints.BooleanChanneling

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

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

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

Checks if the constraint is satisfied when the variables are instantiated.

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

Checks if the constraint is satisfied when the variables are instantiated.

isSatisfied() - Method in class choco.integer.constraints.extension.CspBinConstraint

Checks if the constraint is satisfied when the variables are instantiated.

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

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

tests if the constraint is satisfied when the variables are instantiated.

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

Checks if the constraint is satisfied when the variables are instantiated.

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

Checks if the constraint is satisfied when all variables are instantiated.

isSatisfied() - Method in class choco.integer.constraints.InverseChanneling

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

tests if the constraint is satisfied when the variables are instantiated.

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

tests if the constraint is satisfied when the variables are instantiated.

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

Checks if the constraint is satisfied when the variables are instantiated.

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

isSatisfied() - Method in class choco.palm.global.matching.PalmAllDifferent

isSatisfied() - Method in class choco.palm.integer.constraints.PalmElt

When variables are instantiated, checks that the constraint is satisfied.

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

isSatisfied() - Method in class choco.palm.integer.constraints.PalmEqualXC

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

isSatisfied() - Method in class choco.palm.integer.constraints.PalmGreaterOrEqualXC

isSatisfied() - Method in class choco.palm.integer.constraints.PalmGreaterOrEqualXYC

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

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

isSatisfied() - Method in class choco.palm.integer.constraints.PalmNotEqualXYC

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

Checks if the constraint is satisfied (should be called when completely instantiated).

isSatisfied() - Method in class choco.palm.search.Assignment

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

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

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

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

isSatisfied() - Method in class choco.set.constraint.Disjoint

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

isSatisfied() - Method in class choco.set.constraint.MemberXY

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

isSatisfied() - Method in class choco.set.constraint.NotMemberXY

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

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

isScheduled(int) - Method in class choco.global.Cumulative

isStaticIndex(int) - Static method in class choco.mem.PartiallyStoredIntVector

isStaticIndex(int) - Static method in class choco.mem.PartiallyStoredVector

isSure - Variable in class choco.global.Occurrence

isSure[i] is true if variable i is instantiated to the occurence value.

IStateBool - Interface in choco.mem

Describes a boolean with states (describing some history of the data structure).

IStateInt - Interface in choco.mem

Describes an integer with states (describing some history of the data structure).

IStateIntVector - Interface in choco.mem

Describes an search vector with states (describing some history of the data structure).

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

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

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

Checks if the explain is valid, that is wether all the constraint are active.

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

isValid() - Method in interface choco.palm.dbt.explain.PalmExplanation

Checks if the explain is valid, that is wether all the constraint are active.

isValid(int) - Method in interface choco.palm.dbt.explain.PalmExplanation

Checks if the explain is valid, that is wether all the constraint are active.

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

Iterator without a valid remove method !

ITrailStorage - Interface in choco.mem

An interface for classes implementing trails of modifications to objects.

IValIterator - Interface in choco.integer.search

An interface for control objects that model the iteration of (search) values associated to an IntDomainVarImpl

IValSelector - Interface in choco.integer.search

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

IVarSelector - Interface in choco.search

an interface for objects controlling the selection of a variable (for heuristic purposes)