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 _

G

GAC2001LargeConstraint - Class in choco.integer.constraints.extension

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

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

generateGoal(AbstractProblem) - Method in class choco.palm.cbj.JumpSolver

generateGoal(AbstractProblem) - Method in class choco.Solver

generateMasterGoal(AbstractProblem) - Method in class choco.palm.benders.BendersSolver

generateSearchSolver(AbstractProblem) - Method in class choco.palm.benders.BendersSolver

generateSearchSolver(AbstractProblem) - Method in class choco.palm.cbj.JumpSolver

generateSearchSolver(AbstractProblem) - Method in class choco.palm.dbt.PalmSolver

The factory method: builds the solver needed to solve the problem (an optimization solver if a variable should be minimized or maximized, a classical solver (mac-dbt) for constraint problems, or a path-repair or decision-repair solver if explanations should be kept.

generateSearchSolver(AbstractProblem) - Method in class choco.Solver

generateSubGoals(AbstractProblem) - Method in class choco.palm.benders.BendersSolver

GenericExplanation - Class in choco.palm.dbt.explain

Generic implementation of explanations.

GenericExplanation(AbstractProblem) - Constructor for class choco.palm.dbt.explain.GenericExplanation

Initializes the explain set.

geq(IntExp, IntExp) - Method in class choco.AbstractModel

geq(IntExp, int) - Method in class choco.AbstractModel

Creates a constraint by stating that a term is greater or equal than a constant

geq(int, IntExp) - Method in class choco.AbstractModel

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

Superiority constraint.

geq(RealExp, double) - Method in class choco.AbstractModel

geq(double, RealExp) - Method in class choco.AbstractModel

GEQ - Static variable in class choco.integer.constraints.IntLinComb

Constant, to be assigned to op, representing linear inequalities.

geq(IntExp, IntExp) - Method in interface choco.IntModeler

Creates a constraint by stating that a variable is greater or equal than a constant

geq(IntExp, int) - Method in interface choco.IntModeler

Creates a constraint by stating that a variable is greater or equal than a constant

geq(int, IntExp) - Method in interface choco.IntModeler

Creates a constraint by stating that a variable is greater or equal than a constant

geq(RealExp, RealExp) - Method in class choco.real.RealModeler

Superiority constraint.

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

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

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

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

get() - Method in interface choco.mem.IStateBool

Returns the current value.

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

Returns the current value according to the current world.

get(int) - Method in interface choco.mem.IStateIntVector

Returns the indexth element of the vector.

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

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

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

get() - Method in class choco.mem.StoredBool

Returns the current value.

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

Returns the current value.

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

Returns the current value.

get(int) - Method in class choco.mem.StoredIntVector

Returns the indexth element of the vector.

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

Returns the current value.

get(int) - Method in class choco.mem.StoredVector

Returns the indexth element of the vector.

get(int) - Method in class choco.mem.TwoStateIntVector

Returns the indexth element of the vector.

get(int) - Method in class choco.prop.ConstraintEventQueue

get(int) - Method in interface choco.prop.EventQueue

returns the i-th pending event in the queue

get(int) - Method in class choco.prop.VarEventQueue

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

Returns all the value currently in the domain.

getAllValues() - Method in class choco.palm.cbj.integer.JumpIntervalIntDomain

Returns all the value currently in the domain.

getAllValues() - Method in class choco.palm.cbj.integer.JumpIntVar

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

Returns all the value currently in the domain.

getAllValues() - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Returns all the value currently in the domain.

getAllValues() - Method in class choco.palm.dbt.integer.PalmIntVar

getAllValues() - Method in interface choco.palm.integer.ExplainedIntDomain

Returns all the value currently in the domain.

getAllValues() - Method in interface choco.palm.integer.ExplainedIntVar

Deprecated.

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

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

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

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

getBestVal(IntDomainVar) - Method in interface choco.integer.search.IValSelector

A method selecting the search value used for the alternative

getBestVal(IntDomainVar) - Method in class choco.integer.search.MaxVal

selecting the highest value in the domain

getBestVal(IntDomainVar) - Method in class choco.integer.search.MidVal

selecting a value in the middle of the domain

getBestVal(IntDomainVar) - Method in class choco.integer.search.MinVal

selecting the lowest value in the domain

getBestVal(IntDomainVar) - Method in class choco.integer.search.RandomIntValSelector

getBestVal(SetVar) - Method in class choco.set.search.MinEnv

getBestVal(SetVar) - Method in interface choco.set.search.SetValSelector

returns the best value choice

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

tests whether the i-th bit of an search is on or off

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

Copies the explain set and returns the new bitset.

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

Copies the explain set and returns the new bitset.

getBranch() - Method in interface choco.palm.dbt.search.DecisionConstraint

Returns the number identifying the current branch.

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

getBranch() - Method in class choco.palm.real.constraints.PalmSplitLeft

getBranch() - Method in class choco.palm.real.constraints.PalmSplitRight

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

getBranch() - Method in interface choco.palm.search.SymbolicDecision

Returns the number identifying the current branch.

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

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

Gets the branching used by this extension.

getBranching() - Method in class choco.search.AbstractSearchHeuristic

each IVarSelector is associated to a branching strategy

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

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

each IVarSelector is associated to a branching strategy

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

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

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

a local short-cut accessor

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

a local short-cut accessor

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

Returns the cause of this basic var.

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

retrieve the i-th coefficient

getCoefficients() - Method in class choco.integer.var.IntTerm

retrieve the array of coefficients

getComparator() - Method in interface choco.palm.dbt.explain.SearchInfo

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

getConstant() - Method in class choco.integer.var.IntTerm

returns the integer constant involved in the linear term

getConstraint(int) - Method in class choco.AbstractVar

Retrieve the constraint i involving the variable.

getConstraint(int) - Method in class choco.palm.benders.explain.BendersExplanation

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

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

getConstraint() - Method in class choco.palm.dbt.explain.PalmControlConstraint

Gets the controlling constraint.

getConstraint(int) - Method in interface choco.palm.Explanation

return the i-th constraint of the explanation

getConstraint(int) - Method in interface choco.Var

Returns the ith constraint.

getConstraintIdx(int) - Method in class choco.bool.AbstractBinCompositeConstraint

Returns the constraint index according to the variable i.

getConstraintIdx(int) - Method in class choco.bool.AbstractLargeCompositeConstraint

getConstraintIdx(int) - Method in class choco.bool.ConstantConstraint

getConstraintIdx(int) - Method in interface choco.Constraint

Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c.

getConstraintIdx(int) - Method in class choco.Formula

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

Returns the index of this constraint for the specified variables.

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

Returns the index of the constraint in the specified variable.

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

Returns the index of the constraint in the specified variable.

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

Returns the index of this listeners in the variable idx.

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

Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c.

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

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

getConstraintIdx(int) - Method in interface choco.palm.PalmVarListener

Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c.

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

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

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

Returns this constraint index according to the variable i.

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

Returns the index of this constraints in all constraints involving v0.

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

Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c.

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

Returns the index of this constraint for the specified variables.

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

Returns the index of this constraint for the specified variables.

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

Returns the index of the constraint in the specified variable.

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

Returns the index of this listeners in the variable idx.

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

Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c.

getConstraintNb(int) - Method in interface choco.palm.ExplainedProblem

getConstraintNb(int) - Method in class choco.palm.JumpProblem

getConstraintOperator() - Method in class choco.Formula

getConstraintsIterator() - Method in class choco.AbstractVar

This methods should be used if one want to access the different constraints currently posted on this variable.

getConstraintsIterator() - Method in interface choco.Var

This methods should be used if one want to access the different constraints currently posted on this variable.

getConstraintVector() - Method in class choco.AbstractVar

Access the data structure storing constraints involving a given variable.

getConstraintVector() - Method in interface choco.Var

access the data structure storing constraints involving a given variable

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

Retrieving the cause of the last contradiction.

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

Retrieving the cause of the last contradiction.

getContradictionExplanation() - Method in class choco.palm.JumpProblem

getCurrentSubConstraint(int) - Method in class choco.palm.benders.explain.BendersExplanation

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

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

Deprecated. Builds an iterator to enumerate all indices except one.

getDate() - Method in class choco.global.Cumulative.Event

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

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

Returns the decision constraint assigning the domain to the specified value.

getDecisionConstraint(int) - Method in interface choco.palm.dbt.integer.PalmIntDomain

Returns the decision constraint assigning the domain to the specified value.

getDecisionConstraint(int) - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Returns the decision constraint assigning the domain to the specified value.

getDecisionConstraint(int) - Method in class choco.palm.dbt.integer.PalmIntVar

getDecisionConstraint(int) - Method in interface choco.palm.dbt.PalmVar

Returns the decision constraint for the ith branch on the current domain.

getDecisionConstraint(int) - Method in class choco.palm.real.PalmRealVarImpl

getDecisionConstraints() - Method in interface choco.palm.real.PalmRealDomain

Returns current decisions constraints involving this domain/variable.

getDecisionConstraints() - Method in class choco.palm.real.PalmRealDomainImpl

Returns all decision constraints.

getDecisionLogMsg(int) - Method in class choco.branch.AbstractBranching

used for logging messages related to the search tree

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

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

getDecisionLogMsg(int) - Method in class choco.real.search.AssignInterval

getDecisionLogMsg(int) - Method in class choco.search.AssignVar

getDecisionLogMsg(int) - Method in class choco.set.search.AssignSetVar

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

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

Returns an getIterator over the set of values that have been removed from the domain since the last propagation

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

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

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

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

Public user API: Domains : returns the object responsible for storing the enumeration of values in the domain

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

getDomain() - Method in interface choco.real.RealVar

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

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

Public user API: Domains : returns the object responsible for storing the enumeration of values in the domain

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

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

Public user API: Domains : retrieves the number of values in the domain.

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

Gets the domain size.

getDynamicCut() - Method in class choco.palm.dbt.search.PalmAbstractBranchAndBound

getDynamicCut() - Method in class choco.palm.dbt.search.PalmBranchAndBound

getDynamicCut() - Method in class choco.palm.real.search.PalmRealBranchAndBound

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

return earliest end of task i

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

If a limit has been encounteres, return the involved limit

getEncounteredLimit() - Method in class choco.Solver

If a limit has been encounteres, return the involved limit

getEnveloppeDomain() - Method in interface choco.set.var.SetDomain

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

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

Public user API: Domains : retrieves the number of values in the enveloppe domain.

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

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

Returns the lower bound of the enveloppe variable domain.

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

getEnveloppeIterator() - Method in interface choco.set.var.SetDomain

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

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

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

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

getEnvironment() - Method in class choco.AbstractProblem

Returns the memory environment used by the problem.

getEnvironment() - Method in interface choco.mem.IStateBool

Retrieving the environment

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

Retrieving the environment.

getEnvironment() - Method in class choco.mem.StoredBool

Retrieving the environment

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

Retrieving the environment

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

Retrieving the environment

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

Retrieving the environment

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

return earliest start of task i

getEvent() - Method in class choco.AbstractConstraint

Returns the constraint awake var attached to the constraint.

getEvent() - Method in class choco.AbstractVar

Returns the variable event.

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

getEvent() - Method in interface choco.Propagator

Returns the constraint awake var associated with this constraint.

getEvent() - Method in interface choco.Var

returns the object used by the propagation engine to model a propagation event associated to the variable (an update to its domain)

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

Returns an iterator over the set of removed values

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

Retrieves the event type

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

Retrieves the event type

getExplanation() - Method in exception choco.palm.cbj.search.JumpContradictionException

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

Gets the extender which uses this branching.

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

Gets the PalmExtend tool.

getFirstBranch(Object) - Method in interface choco.branch.IntBranching

Computes the search index of the first branch of the choice point.

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

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

getFirstBranch(Object) - Method in interface choco.palm.dbt.search.PalmAssignVar.ValueChooserWrapper

getFirstBranch(Object) - Method in class choco.real.search.AssignInterval

getFirstBranch(Object) - Method in class choco.search.AbstractBinIntBranching

getFirstBranch(Object) - Method in class choco.search.AssignVar

getFirstBranch(Object) - Method in class choco.search.AssignVar.ValIteratorWrapper

getFirstBranch(Object) - Method in class choco.search.AssignVar.ValSelectorWrapper

getFirstBranch(Object) - Method in interface choco.search.AssignVar.ValueChooserWrapper

getFirstBranch(Object) - Method in class choco.set.search.AssignSetVar

getFirstSolution() - Method in class choco.Solver

getFirstStaticIndex() - Static method in class choco.mem.PartiallyStoredVector

getFirstVal(Var) - Method in class choco.integer.search.DecreasingDomain

Accessing the index of the first branch for variable x

getFirstVal(Var) - Method in class choco.integer.search.IncreasingDomain

Accessing the index of the first branch for variable x

getFirstVal(Var) - Method in interface choco.integer.search.IValIterator

Accessing the index of the first branch for variable x

getFirstVal(Var) - Method in class choco.real.search.RealIncreasingDomain

getFirstVal(RealVar) - Method in interface choco.real.search.RealValIterator

Accessing the index of the first branch for variable x

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

Returns the minimal present value.

getGlobalIndex(int, boolean) - Static method in class choco.mem.PartiallyStoredIntVector

getGlobalIndex(int, boolean) - Static method in class choco.mem.PartiallyStoredVector

getGlobalVarIndex(Constraint, int) - Method in class choco.bool.AbstractCompositeConstraint

getGlobalVarIndex(Constraint, int) - Method in interface choco.bool.CompositeConstraint

returns the global index of a variable within a constraint

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

returns the heaviest bit on (-1 if none)

getIndex() - Method in class choco.palm.dbt.explain.PalmControlConstraint

Gets the index of the controlled constraint in the controlling one.

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

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

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

getIndexVector() - Method in class choco.AbstractVar

Access the data structure storing indices associated to constraints involving a given variable.

getIndexVector() - Method in interface choco.Var

access the data structure storing indices associated to constraints involving a given variable

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

Returns the lower bound of the variable domain (e.g. the smallest value that the variable can be assigned).

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

Returns the minimal present value.

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

Access the minimal value stored in the domain.

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

Gets the minimal value of the variable.

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

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

getInf() - Method in class choco.real.exp.AbstractRealCompoundTerm

getInf() - Method in class choco.real.exp.RealIntervalConstant

getInf() - Method in class choco.real.exp.RealIntervalImpl

Deprecated.

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

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

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

getIntConstraint(int) - Method in class choco.AbstractProblem

Deprecated.

getIntConstraintIterator() - Method in class choco.AbstractProblem

getIntTrailSize() - Method in class choco.mem.Environment

returns the size of the trail used for storing integers

getIntVar(int) - Method in class choco.AbstractModel

Network management: Retrieve a variable by its index (all integer variables of the problem are numbered in sequence from 0 on)

getIntVar(int) - Method in class choco.bool.AbstractBinCompositeConstraint

Network management: Accessing the i-th search variable of a constraint.

getIntVar(int) - Method in class choco.bool.AbstractLargeCompositeConstraint

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

Gets the ith search valued variable.

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

Gets the ith search valued variable.

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

Gets the ith search valued variable.

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

Gets the ith search valued variable.

getIntVar(int) - Method in interface choco.integer.IntConstraint

Network management: Accessing the i-th search variable of a constraint.

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

getIntVar(int) - Method in class choco.palm.integer.AbstractPalmBinIntConstraint

getIntVar(int) - Method in class choco.palm.integer.AbstractPalmLargeIntConstraint

getIntVar(int) - Method in class choco.palm.integer.AbstractPalmUnIntConstraint

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

getIntVar(int) - Method in interface choco.real.constraint.MixedConstraint

Returns the integer variable with index i.

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

Gets the ith search valued variable.

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

getIntVarIndex(IntVar) - Method in class choco.AbstractModel

getIntVarIndex(IntDomainVar) - Method in class choco.AbstractProblem

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

getIntVarNb() - Method in interface choco.real.constraint.MixedConstraint

Returns the number of integer variables.

getIntVectorTrailSize() - Method in class choco.mem.Environment

returns the size of the trail used for storing search arrays

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

Returns an getIterator.

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

Retrieve an getIterator for traversing the sequence of values contained in the domain

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

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

getKernelDomain() - Method in interface choco.set.var.SetDomain

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

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

Public user API: Domains : retrieves the number of values in the kernel domain.

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

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

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

getKernelIterator() - Method in interface choco.set.var.SetDomain

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

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

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

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

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

getLastTimeStamp() - Static method in class choco.palm.dbt.explain.PalmConstraintPlugin

Returns the last affected time stamp

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

Returns the maximal present value.

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

return latest start of task i

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

Gets the PalmLearn tool.

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

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

getLogPrefix(int) - Method in class choco.util.LightFormatter

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

return latest start of task i

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

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

getMasterConstraint(int) - Method in class choco.palm.benders.explain.BendersExplanation

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

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

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

Returns the maximum level the solver can relax without user interaction.

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

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

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

Returns the object, whose modification is described by the event

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

Returns the touched variable.

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

Returns the touched variable.

getNb() - Method in class choco.search.AbstractGlobalSearchLimit

get the current counter

getNbConstraints() - Method in class choco.AbstractVar

Returns the number of constraints involving the variable.

getNbConstraints() - Method in interface choco.Var

Returns the number of listeners involving the variable.

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

getter on the number of cuts stored (without inclusion)

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

getNbIntConstraints() - Method in class choco.AbstractProblem

retrieving the total number of constraints over integers

getNbIntVars() - Method in class choco.AbstractModel

retrieving the total number of variables

getNbLeft() - Method in class choco.util.BipartiteSet

Returns the number of elements in the left part.

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

getNbMax() - Method in class choco.search.AbstractGlobalSearchLimit

getNbObjects() - Method in class choco.util.BipartiteSet

Returns the number of objects in the set.

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

getNbRealVars() - Method in class choco.AbstractModel

Returns the number of variables modelling real numbers.

getNbRight() - Method in class choco.util.BipartiteSet

Returns the number of elements in the right part.

getNbSetVars() - Method in class choco.AbstractModel

Returns the number of variables modelling real numbers.

getNbSolutions() - Method in class choco.Solver

returns the number of solutions encountered during the search

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

Returns the number of direct sub-constraints (2 here since this is a binary composite constraint).

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

getNbSubConstraints() - Method in interface choco.bool.CompositeConstraint

returns the number of sub-constraints that the composite constraint is made of

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

getNbTot() - Method in class choco.search.AbstractGlobalSearchLimit

get the total counter

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

Determines the number of variables, that is the sum of all variables in sub-constraints.

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

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

getNbVars() - Method in interface choco.Constraint

Network management: Get the number of variables involved in the constraint.

getNbVars() - Method in class choco.Formula

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

Returns the number of varibles.

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

Returns the number of variables.

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

Returns the number of variables.

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

Returns the number of variables: 1 for an unIntConstraint.

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

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

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

Returns the number of variables.

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

Returns the number of variables.

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

Returns the number of varibles.

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

Returns the number of varibles.

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

Returns the number of variables.

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

Returns the number of variables: 1 for an unIntConstraint.

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

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

Returns the negated decision constraint.

getNegDecisionConstraint(int) - Method in interface choco.palm.dbt.integer.PalmIntDomain

Returns the negated decision constraint.

getNegDecisionConstraint(int) - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Returns the negated decision constraint.

getNegDecisionConstraint(int) - Method in class choco.palm.dbt.integer.PalmIntVar

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

Returns the next constraint var queue from which an event should be propagated.

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

Gets the next queue from which a var will be propagated.

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

Returns the next queue from which an event should be propagated.

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

Returns the next active var queue to propagate some events.

getNextBranch(Object, int) - Method in interface choco.branch.IntBranching

Computes the search index of the next branch of the choice point.

getNextBranch(Object, Object) - Method in interface choco.branch.ObjectBranching

When several decisions can be taken (for unsure extension for instance), this methos allows to choose next decisions.

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

Not defined in this algorithm.

getNextBranch(Object, int) - Method in class choco.palm.dbt.search.PalmAssignVar.ValIteratorWrapper

getNextBranch(Object, int) - Method in class choco.palm.dbt.search.PalmAssignVar.ValSelectorWrapper

getNextBranch(Object, int) - Method in interface choco.palm.dbt.search.PalmAssignVar.ValueChooserWrapper

getNextBranch(Object, Object) - Method in class choco.palm.dbt.search.pathrepair.PathRepairAssignVar

return the next possible decision (variable assignement) on the variable

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

Returns the next decision constraints for a specified variable.

getNextBranch(Object, int) - Method in class choco.real.search.AssignInterval

getNextBranch(Object, int) - Method in class choco.search.AbstractBinIntBranching

getNextBranch(Object, int) - Method in class choco.search.AssignVar

getNextBranch(Object, int) - Method in class choco.search.AssignVar.ValIteratorWrapper

getNextBranch(Object, int) - Method in class choco.search.AssignVar.ValSelectorWrapper

getNextBranch(Object, int) - Method in interface choco.search.AssignVar.ValueChooserWrapper

getNextBranch(Object, int) - Method in class choco.set.search.AbstractSetBranching

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

Gets the next branching.

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

Public user API: Domains : retrieves the value immediately (but strictly) after i in the domain

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

Gets the next value in the domain.

getNextVal(Var, int) - Method in class choco.integer.search.DecreasingDomain

generates the index of the next branch after branch i, on the alternative associated to variable x

getNextVal(Var, int) - Method in class choco.integer.search.IncreasingDomain

generates the index of the next branch after branch i, on the alternative associated to variable x

getNextVal(Var, int) - Method in interface choco.integer.search.IValIterator

generates the index of the next branch after branch i, on the alternative associated to variable x

getNextVal(Var, int) - Method in class choco.real.search.RealIncreasingDomain

getNextVal(RealVar, int) - Method in interface choco.real.search.RealValIterator

generates the index of the next branch after branch i, on the alternative associated to variable x

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

Returns the value following x

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

Accessing the smallest value stored in the domain and strictly greater than x.

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

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

Returns the value following x if non exist return -1

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

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

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

getNogood() - Method in interface choco.palm.Explanation

return the nogood associated to the explanation

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

the target for the objective function: we are searching for a solution at least as good as this (tentative bound)

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

the target for the objective function: we are searching for a solution at least as good as this (tentative bound)

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

the target for the objective function: we are searching for a solution at least as good as this (tentative bound)

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

the target for the objective function: we are searching for a solution at least as good as this (tentative bound)

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

v1.0 accessing the objective value of an optimization problem (note that the objective value may not be instantiated, while all other variables are)

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

v1.0 accessing the objective value of an optimization problem (note that the objective value may not be instantiated, while all other variables are)

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

v1.0 accessing the objective value of an optimization problem (note that the objective value may not be instantiated, while all other variables are)

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

v1.0 accessing the objective value of an optimization problem (note that the objective value may not be instantiated, while all other variables are)

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

getOpenDomainIterator() - Method in interface choco.set.var.SetDomain

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

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

return the opposite relation of itself

getOpposite() - Method in class choco.integer.constraints.extension.CouplesTable

compute the opposite relation by "reusing" the table of consistency

getOpposite() - Method in class choco.integer.constraints.extension.CouplesTest

getOpposite() - Method in class choco.integer.constraints.extension.TuplesTable

getOpposite() - Method in class choco.integer.constraints.extension.TuplesTest

getOppositeSubConstraint(int) - Method in class choco.bool.AbstractBinBoolConstraintWithCounterOpposite

getOppositeSubConstraint(int) - Method in class choco.bool.AbstractLargeBoolConstraintWithCounterOpposite

getOptimumValue() - Method in class choco.palm.benders.BendersSolver

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

return -1 as it is a satisfaction problem

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

getOptimumValue() - Method in class choco.palm.cbj.JumpSolver

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

getOptimumValue() - Method in class choco.palm.dbt.search.PalmAbstractBranchAndBound

getOptimumValue() - Method in class choco.palm.dbt.search.PalmBranchAndBound

getOptimumValue() - Method in class choco.palm.real.search.PalmRealBranchAndBound

getOptimumValue() - Method in class choco.Solver

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

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

Returns the original lower bound.

getOriginalInf() - Method in class choco.palm.cbj.integer.JumpIntervalIntDomain

Returns the original lower bound.

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

Returns the original lower bound.

getOriginalInf() - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Returns the original lower bound.

getOriginalInf() - Method in interface choco.palm.ExplainedDomain

Returns the original lower bound.

getOriginalInf() - Method in class choco.palm.real.PalmRealDomainImpl

Returns the original lower bound.

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

Returns the original upper bound.

getOriginalSup() - Method in class choco.palm.cbj.integer.JumpIntervalIntDomain

Returns the original upper bound.

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

Returns the original upper bound.

getOriginalSup() - Method in class choco.palm.dbt.integer.PalmIntervalIntDomain

Returns the original upper bound.

getOriginalSup() - Method in interface choco.palm.ExplainedDomain

Returns the original upper bound.

getOriginalSup() - Method in class choco.palm.real.PalmRealDomainImpl

Returns the original upper bound.

getPath() - Method in class choco.palm.dbt.search.PalmState

getPendingEvent(int) - Method in class choco.prop.ChocEngine

getter without side effect: returns the i-ht pending event (without popping any event from the queues)

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

getPlugIn() - Method in class choco.AbstractConstraint

Returns the constraint plugin.

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

getPlugIn() - Method in interface choco.Propagator

Returns the constraint plugin.

getPrecision() - Method in class choco.AbstractProblem

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

Public user API: Domains : retrieves the value immediately (but strictly) before i in the domain.

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

Gets the previous value in the domain.

getPreviousValue() - Method in class choco.palm.dbt.integer.explain.AbstractBoundExplanation

getPreviousValue() - Method in interface choco.palm.dbt.integer.explain.IBoundExplanation

getPreviousValue() - Method in class choco.palm.real.explain.AbstractRealBoundExplanation

Returns the previous value of the variable bound.

getPreviousValue() - Method in interface choco.palm.real.explain.RealBoundExplanation

Returns the previous value of the bound (that is value the variable bound should equal if this explanaation is not valid anymore).

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

Returns the value preceding x

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

Accessing the largest value stored in the domain and strictly smaller than x.

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

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

Returns the value preceding x if non exist return -1

getPriority() - Method in class choco.AbstractConstraint

Returns the priority.

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

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

Computes the priority of the prop.

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

Computes the priority of the prop.

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

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

Returns the priority of the var.

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

getPriority() - Method in interface choco.Propagator

Propagation: Accessing the priority level of the queue handling the propagation of the constraint.

getPriority() - Method in interface choco.util.IPrioritizable

Returns the priority of the object.

getProblem() - Method in class choco.AbstractConstraint

Retrieve the problem of the constraint.

getProblem() - Method in class choco.AbstractEntity

Retrieves the problem of the entity

getProblem() - Method in class choco.AbstractProblem

As all Entity, must be able to return a Problem, returns itself.

getProblem() - Method in interface choco.Entity

Retrieves the problem of the entity.

getProblem() - Method in class choco.Formula

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

Public user API: Util : retrieves the problem to which the variable belongs.

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

Retrieving the problem.

getProfIncrement() - Method in class choco.global.Cumulative.Event

getPropagationEngine() - Method in class choco.AbstractProblem

Returns the propagation engine associated to the problem

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

getQueue(ConstraintEvent) - Method in class choco.prop.ChocEngine

Gets the queue for a given priority of var.

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

Public user API: Domains : retrieves a value drawn at random (uniform distribution) from the domain.

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

Returns a randomly choosed value in the domain.

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

Returns a value randomly choosed in the domain.

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

Draws a value at random from the domain.

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

getRealValue(int) - Method in class choco.Solution

getRealVar(int) - Method in class choco.AbstractModel

Returns a real variable.

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

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

Returns the variable with the index i.

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

Returns the only one variable if i=0, null otherwise.

getRealVar(int) - Method in interface choco.real.constraint.MixedConstraint

Returns the real variable with index i.

getRealVar(int) - Method in interface choco.real.constraint.RealConstraint

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

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

Returns the number of real variables.

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

Returns the number of real variables.

getRealVarNb() - Method in interface choco.real.constraint.MixedConstraint

Returns the number of real variables.

getRealVarNb() - Method in interface choco.real.constraint.RealConstraint

getReduction() - Method in class choco.AbstractProblem

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

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

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

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

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

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

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

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

checks whether the delta domain has indeed been released (ie: chechks that no domain updates are pending)

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

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

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

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

Returns an iterator on restored values.

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

Returns an iterator on the chain containing all the restored values.

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

getSearchSolver() - Method in class choco.Solver

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

returns the (global) index of the constraint among all constraints of the problem

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

Returns the index associated with this constraint by the problem.

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

returns the (global) index of the constraint among all constraints of the problem

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

returns the (global) index of the constraint among all constraints of the problem

getSetValue(int) - Method in class choco.Solution

getSetVar(int) - Method in class choco.AbstractModel

Returns a set variable.

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

Gets the ith search valued variable.

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

Gets the ith search valued variable.

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

Gets the ith search valued variable.

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

Gets the ith search valued variable.

getSetVar(int) - Method in interface choco.set.SetConstraint

getSize() - Method in class choco.global.Cumulative.IntList

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

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

Returns the current size of the domain.

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

Access the total number of values stored in the domain.

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

getSize() - Method in class choco.integer.var.IntTerm

returns the term capacity

getSize() - Method in interface choco.mem.ITrailStorage

Retrieving the size of the trail (number of saved past values).

getSize() - Method in class choco.mem.StoredBoolTrail

Returns the current size of the stack.

getSize() - Method in class choco.mem.StoredFloatTrail

Returns the current size of the stack.

getSize() - Method in class choco.mem.StoredIntTrail

Returns the current size of the stack.

getSize() - Method in class choco.mem.StoredIntVectorTrail

Returns the current size of the stack.

getSize() - Method in class choco.mem.StoredLongTrail

Returns the current size of the stack.

getSize() - Method in class choco.mem.StoredVectorTrail

Returns the current size of the stack.

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

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

Returns the current size of the domain.

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

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

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

Return the ith solutions.

getSolver() - Method in class choco.AbstractProblem

accessor returning the handler of the object responsible for the resolution of the problem.

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

Gets the PalmState tool.

getStatistic(int) - Method in class choco.palm.dbt.search.PalmSolution

Returns a statistic about the solution.

getStatus(int) - Method in class choco.bool.AbstractBinBoolConstraint

getStatus(int) - Method in class choco.bool.AbstractLargeBoolConstraint

getStatus(int) - Method in interface choco.bool.BoolConstraint

returns the current status of one of its subconstraints

getSubConstraint(int) - Method in class choco.bool.AbstractBinCompositeConstraint

Accesses the sub-constraints.

getSubConstraint(int) - Method in class choco.bool.AbstractLargeCompositeConstraint

getSubConstraint(int) - Method in interface choco.bool.CompositeConstraint

accessor to the sub-constraints from which the composite constraint is made of

getSubConstraintIdx(int) - Method in class choco.bool.AbstractBinCompositeConstraint

Returns the index of the sub-constraint involving the variable varIdx.

getSubConstraintIdx(int) - Method in class choco.bool.AbstractLargeCompositeConstraint

getSubConstraintIdx(int) - Method in interface choco.bool.CompositeConstraint

return the index of the subconstraint where the i-th variable is referenced

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

getSubvariables(int) - Method in class choco.palm.BendersProblem

getSubvariablesList(int) - Method in class choco.palm.BendersProblem

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

Returns the upper bound of the variable domain (e.g. the greatest value that the variable can be assigned).

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

Returns the maximal present value.

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

Access the maximal value stored in the domain/

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

Gets the maximal value of the variable.

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

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

getSup() - Method in class choco.real.exp.AbstractRealCompoundTerm

getSup() - Method in class choco.real.exp.RealIntervalConstant

getSup() - Method in class choco.real.exp.RealIntervalImpl

Deprecated.

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

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

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

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

getTargetStatus(int) - Method in class choco.bool.AbstractBinBoolConstraint

getTargetStatus(int) - Method in class choco.bool.AbstractLargeBoolConstraint

getTargetStatus(int) - Method in interface choco.bool.BoolConstraint

returns the current target status of one of its subconstraints

getTask() - Method in class choco.global.Cumulative.Event

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

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

Time stamp of the last activation.

getTrail(int) - Method in class choco.mem.Environment

Returns the ith trail in the trail array.

getTrailSize() - Method in class choco.mem.Environment

returns the size of the trail

getType() - Method in class choco.global.Cumulative.Event

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

Returns the value of the variable if instantiated.

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

Gets the value of the variable if instantiated.

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

Deprecated. replaced by getVal

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

Deprecated. replaced by getVal

getValue(int) - Method in class choco.palm.dbt.search.PalmSolution

Returns the value of the variable idx.

getValue() - Method in interface choco.real.RealVar

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

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

Returns the value of the variable if instantiated.

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

getValue(int) - Method in class choco.Solution

Accessor to the value of a variable in a solution

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

getVar(int) - Method in class choco.bool.AbstractBinCompositeConstraint

Accesses the variable i.

getVar(int) - Method in class choco.bool.AbstractLargeCompositeConstraint

getVar(int) - Method in class choco.bool.ConstantConstraint

getVar(int) - Method in interface choco.Constraint

Network management: Accessing the ith variable of a constraint.

getVar(int) - Method in class choco.Formula

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

Returns the specified variable.

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

Returns the ith variable.

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

Gets the specified variable.

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

Returns the variable number i.

getVar(int) - Method in class choco.palm.search.Assignment

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

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

Returns the variable with the index i.

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

Returns the only one variable v0 if i==0, null otherwise.

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

Returns the specified variable.

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

Returns the specified variable.

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

Gets the specified variable.

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

Returns the variable number i.

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

Returns the variable var queue.

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

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

retrieve the i-th variable

getVariable() - Method in class choco.palm.dbt.integer.explain.AbstractBoundExplanation

getVariable() - Method in interface choco.palm.dbt.integer.explain.IBoundExplanation

getVariable() - Method in class choco.palm.real.explain.AbstractRealBoundExplanation

Returns the touched variable (the variable which this explanations explains the domain).

getVariable() - Method in interface choco.palm.real.explain.RealBoundExplanation

Returns the variable involved by this explanation.

getVariables() - Method in class choco.integer.var.IntTerm

retrieve the array of variables

getVarIdxInOpposite(int) - Method in class choco.AbstractConstraint

getVarIdxInOpposite(int) - Method in class choco.bool.AbstractBinCompositeConstraint

Returns the variable indx in the opposite constraint.

getVarIdxInOpposite(int) - Method in class choco.bool.AbstractLargeCompositeConstraint

getVarIdxInOpposite(int) - Method in interface choco.Constraint

computes the index of the i-th variable in the counter-opposite of the constraint

getVarIdxInOpposite(int) - Method in class choco.Formula

getVarIdxInOpposite(int) - Method in class choco.integer.constraints.GreaterOrEqualXYC

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

getVarIndex(int) - Method in class choco.AbstractVar

Returns the index of the variable in its constraint i.

getVarIndex(int) - Method in interface choco.Var

returns the index of the variable in it i-th constraint

getVars() - Method in class choco.palm.JumpProblem

Deprecated.

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

Gets the weight of the constraint.

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

getWorldIndex() - Method in class choco.AbstractProblem

returning the index of the current worl

getWorldIndex() - Method in class choco.mem.Environment

Returns the world number.

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

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

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

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

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

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

GLOBAL_CARDINALITY - Static variable in class choco.Formula

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

Global cardinality : Given an array of variables vars, min the minimal value over all variables, and max the maximal value over all variables, the constraint ensures that the number of occurences of the value i among the variables is between low[i - min] and up[i - min].

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

Global cardinality : Given an array of variables vars such that their domains are subsets of [1, n], the constraint ensures that the number of occurences of the value i among the variables is between low[i - 1] and up[i - 1].

GlobalCardinality - Class in choco.global.matching

very simple version of the cardinality constraint where the values the set of values whose occurrences are counted in the interval (minValue .. maxValue)

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

Constructor, Global cardinality constraint API note : maxVal - minVal + 1 = valueMinOccurence.length = valueMaxOccurence.length

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

Constructor, Global cardinality constraint API, short cut when smallest value equals 0 note : maxVal - minVal + 1 = low.length = up.length

goDownBranch(Object, int) - Method in interface choco.branch.IntBranching

Performs the action, so that we go down a branch from the current choice point.

goDownBranch(Object, int) - Method in class choco.palm.cbj.search.JumpAssignVar

Actually posts the choice taken if this search tree node.

goDownBranch(Object, int) - Method in class choco.real.search.AssignInterval

goDownBranch(Object, int) - Method in class choco.search.AbstractIntBranching

goDownBranch(Object, int) - Method in class choco.search.AssignVar

goDownBranch(Object, int) - Method in class choco.set.search.AbstractSetBranching

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

goUpBranch(Object, int) - Method in interface choco.branch.IntBranching

Performs the action, so that we go up the current branch to the father choice point.

goUpBranch(Object, int, Explanation) - Method in class choco.palm.cbj.search.JumpAssignVar

A previous choice is undone.

goUpBranch(Object, int) - Method in class choco.real.search.AssignInterval

goUpBranch(Object, int) - Method in class choco.search.AbstractIntBranching

goUpBranch(Object, int) - Method in class choco.search.AssignVar

goUpBranch(Object, int, int) - Method in class choco.set.search.AbstractSetBranching

greater(IntDomainVar, IntDomainVar) - Method in class choco.global.Lex

GREATER_OR_EQUAL_XC - Static variable in class choco.Formula

GREATER_OR_EQUAL_XYC - Static variable in class choco.Formula

GreaterOrEqualXC - Class in choco.integer.constraints

Implements a constraint X >= C, with X a variable and C a constant.

GreaterOrEqualXC(IntDomainVar, int) - Constructor for class choco.integer.constraints.GreaterOrEqualXC

Constructs the constraint with the specified variables and constant.

GreaterOrEqualXYC - Class in choco.integer.constraints

Implements a constraint X > Y + C, with X and Y two variables and C a constant.

GreaterOrEqualXYC(IntDomainVar, IntDomainVar, int) - Constructor for class choco.integer.constraints.GreaterOrEqualXYC

Constructs the constraint with the specified variables and constant.

groundEq(IntDomainVar, IntDomainVar) - Method in class choco.global.Lex

gt(IntExp, IntExp) - Method in class choco.AbstractModel

gt(IntExp, int) - Method in class choco.AbstractModel

gt(int, IntExp) - Method in class choco.AbstractModel

gt(IntExp, IntExp) - Method in interface choco.IntModeler

Creates a constraint by stating that a variable is strictly than a constant

gt(IntExp, int) - Method in interface choco.IntModeler

Creates a constraint by stating that a variable is strictly than a constant

gt(int, IntExp) - Method in interface choco.IntModeler

Creates a constraint by stating that a variable is strictly than a constant

Guard - Class in choco.bool

A class for implications (if (c1,c2)) propagated in a lazy way (nothing done until c1 proven true)

Guard(AbstractConstraint, AbstractConstraint) - Constructor for class choco.bool.Guard