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 _

P

PalmAbstractBranchAndBound - Class in choco.palm.dbt.search

J-CHOCO Copyright (C) F.

PalmAbstractBranchAndBound(AbstractProblem, Var, boolean) - Constructor for class choco.palm.dbt.search.PalmAbstractBranchAndBound

PalmAbstractBranching - Class in choco.palm.dbt.search

Abstract class for branching algorithms.

PalmAbstractBranching() - Constructor for class choco.palm.dbt.search.PalmAbstractBranching

PalmAbstractSolverTool - Class in choco.palm.dbt.search

PalmAbstractSolverTool() - Constructor for class choco.palm.dbt.search.PalmAbstractSolverTool

PalmAllDifferent - Class in choco.palm.global.matching

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

PalmAssignment - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

PalmAssignVar - Class in choco.palm.dbt.search

A classic implementation of branching algorithm for Palm.

PalmAssignVar(IVarSelector, IValIterator) - Constructor for class choco.palm.dbt.search.PalmAssignVar

PalmAssignVar(IVarSelector, IValSelector) - Constructor for class choco.palm.dbt.search.PalmAssignVar

PalmAssignVar.ValIteratorWrapper - Class in choco.palm.dbt.search

PalmAssignVar.ValIteratorWrapper() - Constructor for class choco.palm.dbt.search.PalmAssignVar.ValIteratorWrapper

PalmAssignVar.ValSelectorWrapper - Class in choco.palm.dbt.search

PalmAssignVar.ValSelectorWrapper() - Constructor for class choco.palm.dbt.search.PalmAssignVar.ValSelectorWrapper

PalmAssignVar.ValueChooserWrapper - Interface in choco.palm.dbt.search

PalmBitSetIntDomain - Class in choco.palm.dbt.integer

PalmBitSetIntDomain(IntDomainVarImpl, int, int) - Constructor for class choco.palm.dbt.integer.PalmBitSetIntDomain

PalmBitSetIntDomain(IntDomainVarImpl, int[]) - Constructor for class choco.palm.dbt.integer.PalmBitSetIntDomain

constructor with a set of discrete values

PalmBitSetIntDomain.RepairIntDomainIterator - Class in choco.palm.dbt.integer

PalmBranchAndBound - Class in choco.palm.dbt.search

An optimizing solver.

PalmBranchAndBound(AbstractProblem, IntDomainVar, boolean) - Constructor for class choco.palm.dbt.search.PalmBranchAndBound

Creates the solver for the specified problem.

PalmCardinality - Class in choco.palm.global.matching

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

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

PalmConstraint - Interface in choco.palm

PalmConstraintPlugin - Class in choco.palm.dbt.explain

PalmConstraintPlugin(AbstractConstraint) - Constructor for class choco.palm.dbt.explain.PalmConstraintPlugin

Constructs a plugin for a constraint.

PalmContradiction - Exception in choco.palm.dbt.search

PalmContradiction(Entity) - Constructor for exception choco.palm.dbt.search.PalmContradiction

PalmControlConstraint - Class in choco.palm.dbt.explain

PalmControlConstraint(Constraint, int) - Constructor for class choco.palm.dbt.explain.PalmControlConstraint

Creates a control constraint whit the specified constraint as controlling one.

PalmCyclicSplit - Class in choco.palm.real.search

A default branching for continuous variables: each variable is choosen cyclicly.

PalmCyclicSplit() - Constructor for class choco.palm.real.search.PalmCyclicSplit

PalmElt - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

Element constraint accessing the ith element in a list of values, where i is a variable.

PalmElt2D - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

2D Element constraint

PalmEngine - Class in choco.palm.dbt.prop

PalmEngine(AbstractProblem) - Constructor for class choco.palm.dbt.prop.PalmEngine

Constructs an engine with the specified problem.

PalmEqualXC - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

PalmEqualXYC - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

PalmEquation - Class in choco.palm.real.constraints

Implements a constraint based on real expression that ensures that an equality is true.

PalmEquation(AbstractProblem, RealVar[], RealExp, RealInterval) - Constructor for class choco.palm.real.constraints.PalmEquation

Creates an equation with an equality wetween a real expression and the constant insterval for the provided problem.

PalmExplanation - Interface in choco.palm.dbt.explain

PalmExplanation interface.

PalmExtend - Class in choco.palm.dbt.search

An extension algorithm for Palm solvers.

PalmExtend() - Constructor for class choco.palm.dbt.search.PalmExtend

PalmGlobalSearchSolver - Class in choco.palm.dbt.search

A default solver for Palm.

PalmGlobalSearchSolver(AbstractProblem) - Constructor for class choco.palm.dbt.search.PalmGlobalSearchSolver

Creates a solver for the specified problem.

PalmGreaterOrEqualXC - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

PalmGreaterOrEqualXYC - Class in choco.palm.integer.constraints

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

PalmIntDomain - Interface in choco.palm.dbt.integer

Created by IntelliJ IDEA.

PalmIntervalIntDomain - Class in choco.palm.dbt.integer

PalmIntervalIntDomain(IntDomainVarImpl, int, int) - Constructor for class choco.palm.dbt.integer.PalmIntervalIntDomain

Builds a interval domain for the specified variable.

PalmIntLinComb - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

PalmIntVar - Class in choco.palm.dbt.integer

PalmIntVar(AbstractProblem, String, int, int, int) - Constructor for class choco.palm.dbt.integer.PalmIntVar

PalmIntVar(AbstractProblem, String, int[]) - Constructor for class choco.palm.dbt.integer.PalmIntVar

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

PalmIntVarEvent - Class in choco.palm.dbt.prop

PalmIntVarEvent(Var) - Constructor for class choco.palm.dbt.prop.PalmIntVarEvent

Creates an prop for the specified variable.

PalmIntVarListener - Interface in choco.palm.integer

PalmLearn - Class in choco.palm.dbt.search

PalmLearn() - Constructor for class choco.palm.dbt.search.PalmLearn

PalmLessOrEqualXC - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

PalmMixedConstraint - Interface in choco.palm.real.constraints

Mixed constraint: such constraints handle both integer and real variables (and their events).

PalmMixedCstElt - Class in choco.palm.real.constraints

Let x be an integer variable with n values and v be a real variable.

PalmMixedCstElt(RealVar, IntDomainVar, double[]) - Constructor for class choco.palm.real.constraints.PalmMixedCstElt

PalmMixedEqXY - Class in choco.palm.real.constraints

PalmMixedEqXY(RealVar, IntDomainVar) - Constructor for class choco.palm.real.constraints.PalmMixedEqXY

PalmNotEqualXC - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

PalmNotEqualXYC - Class in choco.palm.integer.constraints

Created by IntelliJ IDEA.

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

PalmOccurence - Class in choco.palm.global.matching

PalmOccurence(IntDomainVar[], int, boolean, boolean) - Constructor for class choco.palm.global.matching.PalmOccurence

PalmProblem - Class in choco.palm

Choco problem extension involving explanations and explanation-based algorithms (mac-dbt, decision-repair...)

PalmProblem() - Constructor for class choco.palm.PalmProblem

Creates a Palm Problem with the specified environment.

PalmRealBranchAndBound - Class in choco.palm.real.search

J-CHOCO Copyright (C) F.

PalmRealBranchAndBound(AbstractProblem, RealVar, boolean) - Constructor for class choco.palm.real.search.PalmRealBranchAndBound

Creates the solver for the specified problepb.

PalmRealDomain - Interface in choco.palm.real

Interface for a PaLM real domain.

PalmRealDomainImpl - Class in choco.palm.real

Default implementation of PaLM real domain.

PalmRealDomainImpl(RealVar, double, double) - Constructor for class choco.palm.real.PalmRealDomainImpl

Creates a real domain for the specified variable.

PalmRealInterval - Interface in choco.palm.real

Interface of a real interval in PaLM.

PalmRealIntervalConstant - Class in choco.palm.real.exp

Implementation of a constant interval.

PalmRealIntervalConstant(PalmRealInterval, PalmProblem) - Constructor for class choco.palm.real.exp.PalmRealIntervalConstant

Creates a constant from the current state of an interval.

PalmRealIntervalConstant(double, double, Explanation, Explanation) - Constructor for class choco.palm.real.exp.PalmRealIntervalConstant

Creates a constant with the specified values.

PalmRealIntervalConstant(PalmRealInterval) - Constructor for class choco.palm.real.exp.PalmRealIntervalConstant

Creates a constant without explanations from the current state of the interval.

PalmRealIntervalConstant(double, double) - Constructor for class choco.palm.real.exp.PalmRealIntervalConstant

Creates a constant without explanations.

PalmRealMath - Class in choco.palm.real

Explained interval arithmetic.

PalmRealMath() - Constructor for class choco.palm.real.PalmRealMath

PalmRealMinus - Class in choco.palm.real.exp

Implementation of a real substraction expression.

PalmRealMinus(AbstractProblem, RealExp, RealExp) - Constructor for class choco.palm.real.exp.PalmRealMinus

Creates the substraction between two sub expressions.

PalmRealModeler - Class in choco.palm.real

J-CHOCO Copyright (C) F.

PalmRealModeler(Problem) - Constructor for class choco.palm.real.PalmRealModeler

PalmRealMult - Class in choco.palm.real.exp

Implementation of a explained real multiplication expression.

PalmRealMult(AbstractProblem, RealExp, RealExp) - Constructor for class choco.palm.real.exp.PalmRealMult

Creates the product of two sub expressions.

PalmRealPlus - Class in choco.palm.real.exp

Implementation of a real addition expression.

PalmRealPlus(AbstractProblem, RealExp, RealExp) - Constructor for class choco.palm.real.exp.PalmRealPlus

Creates the addition of two sub expressions.

PalmRealVar - Interface in choco.palm.real

Interface of a real variable in PaLM.

PalmRealVarEvent - Class in choco.palm.real

Implements an event for real variable of PaLM.

PalmRealVarEvent(AbstractVar) - Constructor for class choco.palm.real.PalmRealVarEvent

Creates new event for the specified variable (should be a Palm real variable).

PalmRealVarImpl - Class in choco.palm.real

Default implementation of PaLM real variables.

PalmRealVarImpl(AbstractProblem, String, double, double) - Constructor for class choco.palm.real.PalmRealVarImpl

Creates a variable with the specified bounds and the specified name.

PalmRealVarListener - Interface in choco.palm.real

Interface for listeners that need to be warned when modification on real variables occurs.

PalmRepair - Class in choco.palm.dbt.search

A repairing algorithm.

PalmRepair() - Constructor for class choco.palm.dbt.search.PalmRepair

PalmRepairLearn - Class in choco.palm.dbt.search

PalmRepairLearn() - Constructor for class choco.palm.dbt.search.PalmRepairLearn

PalmSolution - Class in choco.palm.dbt.search

Solution for a Palm problem.

PalmSolution(AbstractProblem) - Constructor for class choco.palm.dbt.search.PalmSolution

Creates a solution for the specified problem.

PalmSolver - Class in choco.palm.dbt

This class extends Solver as a factory for PaLM search solvers.

PalmSolver(AbstractProblem) - Constructor for class choco.palm.dbt.PalmSolver

Creates a new solver factory for the specified problem

PalmSplitLeft - Class in choco.palm.real.constraints

Splits the variable domain in two sub intervals and make the variable equal the first half (the lower values).

PalmSplitLeft(RealVar, RealInterval) - Constructor for class choco.palm.real.constraints.PalmSplitLeft

Creates a constraint splitting the interval to assign the variable to the first half.

PalmSplitRight - Class in choco.palm.real.constraints

Splits the variable domain in two sub intervals and make the variable equal the second half (the upper values).

PalmSplitRight(RealVar, RealInterval) - Constructor for class choco.palm.real.constraints.PalmSplitRight

Creates a constraint splitting the interval to assign the variable to the second half.

PalmState - Class in choco.palm.dbt.search

Tool for maintaining the state of the search taht is the active posted decision constraint.

PalmState(PalmExplanation) - Constructor for class choco.palm.dbt.search.PalmState

Initializes the PalmState with the specified explain.

PalmTimeLimit - Class in choco.palm.dbt.search

PalmTimeLimit(AbstractGlobalSearchSolver, int) - Constructor for class choco.palm.dbt.search.PalmTimeLimit

PalmUnsureExtend - Class in choco.palm.dbt.search

PalmUnsureExtend() - Constructor for class choco.palm.dbt.search.PalmUnsureExtend

PalmUnsureRepair - Class in choco.palm.dbt.search

PalmUnsureRepair() - Constructor for class choco.palm.dbt.search.PalmUnsureRepair

PalmVar - Interface in choco.palm.dbt

PalmVarEvent - Interface in choco.palm.dbt.prop

PalmVarEventQueue - Class in choco.palm.dbt.prop

PalmVarEventQueue() - Constructor for class choco.palm.dbt.prop.PalmVarEventQueue

PalmVarListener - Interface in choco.palm

parameters - Variable in class choco.Formula

storing the parameters of the constraint

PartiallyStoredIntVector - Class in choco.mem

A class implementing a vector with two kind of storage: standard static storage in an array, and backtrackable storage.

PartiallyStoredIntVector(Environment) - Constructor for class choco.mem.PartiallyStoredIntVector

PartiallyStoredVector - Class in choco.mem

A class implementing a vector with two kind of storage: standard static storage in an array, and backtrackable storage.

PartiallyStoredVector(Environment) - Constructor for class choco.mem.PartiallyStoredVector

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

Store the solutions found on sub-problems.

path - Variable in class choco.palm.dbt.search.PalmState

The current state.

pathmax(int[], int) - Method in class choco.global.BoundAllDiff

pathmin(int[], int) - Method in class choco.global.BoundAllDiff

PathRepairAssignVar - Class in choco.palm.dbt.search.pathrepair

Created by IntelliJ IDEA.

PathRepairAssignVar(IVarSelector, IValIterator) - Constructor for class choco.palm.dbt.search.pathrepair.PathRepairAssignVar

PathRepairLearn - Class in choco.palm.dbt.search.pathrepair

PathRepairLearn() - Constructor for class choco.palm.dbt.search.pathrepair.PathRepairLearn

PathRepairLearn(int, NogoodConstraint) - Constructor for class choco.palm.dbt.search.pathrepair.PathRepairLearn

PathRepairLearn(int) - Constructor for class choco.palm.dbt.search.pathrepair.PathRepairLearn

PathRepairSearchInfo - Class in choco.palm.dbt.search.pathrepair

Created by IntelliJ IDEA.

PathRepairSearchInfo() - Constructor for class choco.palm.dbt.search.pathrepair.PathRepairSearchInfo

pathset(int[], int, int, int) - Method in class choco.global.BoundAllDiff

pb - Variable in class choco.palm.cbj.explain.JumpExplanation

pb - Variable in class choco.palm.dbt.explain.GenericExplanation

The current problem.

permanentMemory - Variable in class choco.palm.search.NogoodConstraint

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

Utility method for constructing a term from two lists of variables, list of coeffcicients and constants

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

Adding two terms one to another

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

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

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

Addition of two expressions.

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

Adding two search expressions one to another

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

Adding an search constant to an expression

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

Adding an search constant to an expression

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

Addition of two expressions.

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

Addition of two expressions.

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

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

Pops the next var to propagate.

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

Pops the next var to propagate.

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

Pops an event to propagate.

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

Pops the first var in the queue.

POPPING - Static variable in interface choco.prop.PropagationEvent

Value of the state in the queue: -1 means the var is being propagated.

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

popTraceUntil(int) - Method in class choco.search.AbstractGlobalSearchSolver

post(Constraint) - Method in class choco.AbstractProblem

post(Constraint) - Method in class choco.palm.JumpProblem

Posts a constraints in the problem.

post(Constraint) - Method in class choco.palm.PalmProblem

Posts a constraints in the problem.

post(Constraint, int) - Method in class choco.palm.PalmProblem

Posts a constraint with the specified weight.

post(Constraint, PalmExplanation) - Method in class choco.palm.PalmProblem

Posts an indirect constraint with an explain.

post(Constraint) - Method in class choco.Problem

Network management: adding a constraint to the problem.

postAddKer(SetVar, int) - Method in class choco.prop.ChocEngine

Posts a kernel addition event on a set variable

postAddKer(SetVar, int) - Method in interface choco.prop.PropagationEngine

postConstAwake(Propagator, boolean) - Method in class choco.prop.ChocEngine

Posts a constraint awake var.

postConstAwake(Propagator, boolean) - Method in interface choco.prop.PropagationEngine

postCut(Constraint) - Method in class choco.AbstractProblem

postCut(Constraint) - Method in class choco.palm.JumpProblem

Posts a cut constraint in the problem.

postCut(Constraint) - Method in class choco.palm.PalmProblem

postCut(Constraint) - Method in class choco.Problem

Network management: adding a constraint to the problem.

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

we use targetBound data structures for the optimization cuts

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

we use targetBound data structures for the optimization cuts

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

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

we use targetBound data structures for the optimization cuts

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

called before going down into each branch of the choice point

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

we use targetBound data structures for the optimization cuts

postInstInt(IntDomainVar, int) - Method in class choco.prop.ChocEngine

Posts an Inst var.

postInstInt(IntDomainVar, int) - Method in interface choco.prop.PropagationEngine

postInstSet(SetVar, int) - Method in class choco.prop.ChocEngine

Posts an Inst event on a set var.

postInstSet(SetVar, int) - Method in interface choco.prop.PropagationEngine

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

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

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

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

postRemEnv(SetVar, int) - Method in class choco.prop.ChocEngine

Posts a removal event on a set variable

postRemEnv(SetVar, int) - Method in interface choco.prop.PropagationEngine

postRemoveVal(IntDomainVar, int, int) - Method in class choco.prop.ChocEngine

Posts an Remove var.

postRemoveVal(IntDomainVar, int, int) - Method in interface choco.prop.PropagationEngine

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

Posts an inf bound restoration prop.

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

Posts an inf bound restoration prop.

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

Posts a sup bound restoration prop.

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

Posts a sup bound restoration prop.

postRestoreVal(PalmIntVar, int) - Method in class choco.palm.dbt.prop.PalmEngine

Posts value restoration.

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

propagating the optimization cuts from the new target bounds

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

propagating the optimization cuts from the new target bounds

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

propagating the optimization cuts from the new target bounds

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

propagating the optimization cuts from the new target bounds

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

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

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

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

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

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

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

Posts a restoration prop.

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

Posts a restoration prop.

postUndoRemoval(Constraint) - Method in class choco.palm.dbt.integer.explain.DecSupExplanation

postUndoRemoval(Constraint) - Method in class choco.palm.dbt.integer.explain.IncInfExplanation

postUndoRemoval(Constraint) - Method in class choco.palm.dbt.integer.explain.RemovalExplanation

postUndoRemoval(Constraint) - Method in class choco.palm.real.explain.RealDecSupExplanation

If a constraint contained in this explanation is removed, this method cancels past effects of this constraint.

postUndoRemoval(Constraint) - Method in class choco.palm.real.explain.RealIncInfExplanation

If a constraint contained in this explanation is removed, this method cancels past effects of this constraint.

postUpdateInf(IntDomainVar, int) - Method in class choco.prop.ChocEngine

Posts an IncInf event

postUpdateInf(RealVar, int) - Method in class choco.prop.ChocEngine

Posts an lower bound event for a real variable.

postUpdateInf(IntDomainVar, int) - Method in interface choco.prop.PropagationEngine

postUpdateInf(RealVar, int) - Method in interface choco.prop.PropagationEngine

postUpdateSup(IntDomainVar, int) - Method in class choco.prop.ChocEngine

Posts a DecSup event

postUpdateSup(RealVar, int) - Method in class choco.prop.ChocEngine

Posts an upper bound event for a real variable

postUpdateSup(IntDomainVar, int) - Method in interface choco.prop.PropagationEngine

postUpdateSup(RealVar, int) - Method in interface choco.prop.PropagationEngine

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

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

Power of an expression.

power(RealExp, int) - Method in class choco.palm.real.PalmRealModeler

Power of an expression.

power - Variable in class choco.real.exp.RealIntegerPower

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

Power of an expression.

precision - Variable in class choco.AbstractProblem

Precision of the search for a real problem.

pretty() - Method in class choco.AbstractEntity

pretty() - Method in class choco.AbstractProblem

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

Pretty print of the constraint.

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

Pretty print of the constraint.

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

Pretty print of the constraint.

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

Pretty print of the constraint.

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

Pretty print of the constraint.

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

Pretty print of the constraint.

pretty() - Method in interface choco.Entity

pretty printing of the object.

pretty() - Method in class choco.Formula

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

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

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

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

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

Pretty print of the constraint.

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

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

Pretty print of the constraint.

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

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

Pretty print for this constraint.

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

Pretty print of the constraint.

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

Pretty print of the constraint.

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

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

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

pretty printing

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

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

Pretty print of the expression

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

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

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

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

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

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

pretty printing

pretty(int[]) - Static method in class choco.util.Arithm

pretty(Var[], int, int) - Static method in class choco.util.Arithm

pretty(int) - Static method in class choco.util.Arithm

prevFloat(double) - Static method in class choco.real.RealMath

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

The previous value of the variable.

previousValue - Variable in class choco.palm.real.explain.AbstractRealBoundExplanation

Previous value of the variable bound.

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

Returns the index of the first bit that is set to true that occurs on or before the specified starting index.

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

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

printRuntimeSatistics() - Method in class choco.AbstractProblem

Displays all the runtime statistics.

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

Print all statistics

priority - Variable in class choco.AbstractConstraint

The priority of the constraint.

PriorityQueue - Class in choco.util

Implements a priority aware queue (FIFO structure).

PriorityQueue(int) - Constructor for class choco.util.PriorityQueue

Constucts a queue with the specified number of priority levels.

PriorityQueue() - Constructor for class choco.util.PriorityQueue

Constructs a queue with 5 priority levels.

prMoves - Variable in class choco.palm.dbt.PalmSolver

Decision Repair: number of moves without improvment the decision repair algorithm should try before stopping.

problem - Variable in class choco.AbstractEntity

The (optimization or decision) problem to which the entity belongs.

Problem - Class in choco

A problem is a global structure containing variables bound by listeners as well as solutions or solver parameters

Problem(Environment) - Constructor for class choco.Problem

Constructs a problem.

Problem() - Constructor for class choco.Problem

Constructs a problem.

problem - Variable in class choco.real.RealModeler

The problem this modler should build classes for.

problem - Variable in class choco.search.AbstractSearchHeuristic

the problem to which the heuristic is related

problem - Variable in class choco.Solution

the problem owning the solution

prof_increment - Variable in class choco.global.Cumulative.Event

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

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

project() - Method in class choco.palm.real.exp.PalmRealMinus

Projects current value on sub-expressions.

project() - Method in class choco.palm.real.exp.PalmRealMult

Projects current value on sub-expressions.

project() - Method in class choco.palm.real.exp.PalmRealPlus

Projects current value on sub-expressions.

project() - Method in class choco.real.exp.RealCos

project() - Method in class choco.real.exp.RealIntegerPower

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

project() - Method in class choco.real.exp.RealMinus

project() - Method in class choco.real.exp.RealMult

project() - Method in class choco.real.exp.RealPlus

Projects domain reduction on operands according to the expression domain itself (due to constraint restrictions).

project() - Method in class choco.real.exp.RealSin

project() - Method in interface choco.real.RealExp

Projects computed bounds to the sub expressions.

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

propagate() - Method in class choco.AbstractProblem

Propagation: Computes consistency on the problem (the problem may no longer be consistent since the last propagation because of listeners that have been posted and variables that have been reduced

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

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

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

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

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

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

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

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

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

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

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

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

Achieves generalized arc consistency in one call

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

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

Propagates on the constraint awake events.

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

Propagates the constraint awake events.

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

Propagation for the constraint awake var.

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

Propagation on the constraint awake var.

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

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

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

The one and only propagation method.

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

The one and only propagation method, using foward checking

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

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

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

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

propagate() - Method in class choco.integer.constraints.extension.GAC2001LargeConstraint

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

The one and only propagation method.

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

The propagation on constraint awake events.

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

Launchs the filtering algorithm.

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

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

The one and only propagation method.

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

The single propagation method.

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

The one and only propagation method, using foward checking

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

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

Generic propagation algorithm.

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

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

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

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

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

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

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

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

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

Generic propagation of the constraint.

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

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

propagate() - Method in interface choco.Propagator

Propagation: Propagating the constraint until local consistency is reached.

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

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

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

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

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

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

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

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

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

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

PROPAGATE_ON_BOUNDS - Variable in class choco.global.BoundAllDiff

PROPAGATE_ON_INSTANTIATIONS - Variable in class choco.global.BoundAllDiff

propagateAllDecisionsConstraints(List) - Method in class choco.palm.PalmProblem

Posts and propagates several decision constraints (that is decisions taken by the solver).

propagateBoundsEvent(int) - Method in class choco.integer.var.IntVarEvent

Propagates the update to the domain lower and upper bounds

propagateBoundsEvent(int) - Method in class choco.real.var.RealVarEvent

Propagates the update to the domain lower and upper bounds

propagateEnveloppeEvents(int) - Method in class choco.set.var.SetVarEvent

Propagates a set of value removals

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

Propagates the event through calls to the propagation engine.

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

Generic propagation method.

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

Generic propagation method.

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

Propagates the var: awake or propagate depending on the init status.

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

Propagates the var through calls to the propagation engine.

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

Propagates the event through calls to the propagation engine.

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

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

Propagates the event through calls to the propagation engine.

propagateInfEvent(int) - Method in class choco.integer.var.IntVarEvent

Propagates the update to the lower bound

propagateInfEvent(int) - Method in class choco.real.var.RealVarEvent

Propagates the update to the lower bound

propagateInstEvent(int) - Method in class choco.integer.var.IntVarEvent

Propagates the instantiation event

propagateInstEvent(int) - Method in class choco.set.var.SetVarEvent

Propagates the instantiation event

propagateKernelEvents(int) - Method in class choco.set.var.SetVarEvent

Propagates a set of value removals

propagateNewLowerBound(int) - Method in class choco.integer.constraints.IntLinComb

Propagates the constraint sigma(ai Xi) + c <= 0 where mylb = sigma(ai inf(Xi)) + c.

propagateNewLowerBound(int) - Method in class choco.palm.integer.constraints.PalmIntLinComb

propagateNewUpperBound(int) - Method in class choco.integer.constraints.IntLinComb

Propagates the constraint sigma(ai Xi) + c <= 0 where myub = sigma(ai sup(Xi)) + c.

propagateNewUpperBound(int) - Method in class choco.palm.integer.constraints.PalmIntLinComb

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

Propagates one var in the queue.

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

Propagate one single event from the queue).

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

Propagates one single event from the queue (usefull for tracing)

propagateRemovalsEvent(int) - Method in class choco.integer.var.IntVarEvent

Propagates a set of value removals

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

Propagates the lower bound restoration event.

propagateRestInfEvent(int) - Method in class choco.palm.real.PalmRealVarEvent

Propagates the lower bound restoration event.

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

Propagates the upper bound restoration event.

propagateRestSupEvent(int) - Method in class choco.palm.real.PalmRealVarEvent

Propagates the upper bound restoration event.

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

Propagates a value restoration event.

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

Propagates one var in the queue.

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

Propagate some events (one or several depending on the queue).

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

Propagates some events: in fact all the events of the queue, since there are the most important events.

propagateSupEvent(int) - Method in class choco.integer.var.IntVarEvent

Propagates the update to the upper bound

propagateSupEvent(int) - Method in class choco.real.var.RealVarEvent

Propagates the update to the upper bound

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

propagate the fact that v2 (Z) is instantiated to 0

PROPAGATION - Static variable in class choco.Solver

propagationEngine - Variable in class choco.AbstractProblem

The propagation engine to propagate during solving.

PropagationEngine - Interface in choco.prop

An interface for all implementations of propagation engines.

PropagationEvent - Interface in choco.prop

An interface for all implementations of events.

Propagator - Interface in choco

An interface for all implementations of listeners.

prSize - Variable in class choco.palm.dbt.PalmSolver

Decision Repair: number of explanations the decision repair algorithm should store.

prune(int, int) - Method in class choco.global.Cumulative

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

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

Adds a value in the queue

pushEvent(PropagationEvent) - Method in class choco.prop.ConstraintEventQueue

Adds a new var in the queue.

pushEvent(PropagationEvent) - Method in interface choco.prop.EventQueue

Adds an event to the queue.

pushEvent(PropagationEvent) - Method in class choco.prop.VarEventQueue

Adds an event to the queue.

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

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

Assignment of j to the ith variable

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

adding the arc i-j in the reference matching without any updates

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

Adding the arc i-j in the reference matching without any updates.