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 _

F

fail() - Method in class choco.AbstractConstraint

raise a contradiction during propagation when the constraint can definitely not be satisfied given the current domains

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

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

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

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

fail() - Method in interface choco.Var

a constraint may fail during propagation, raising a contradiction

FALSE - Variable in class choco.AbstractModel

A constant denoting the false constraint (never satisfied)

feasible - Variable in class choco.AbstractProblem

Allows to know if the problem is feasible (null if it was not solved).

feasible - Variable in class choco.integer.constraints.extension.ConsistencyRelation

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

feasability of the whole problem

feasible - Variable in class choco.palm.dbt.search.PalmGlobalSearchSolver

States if the problem is feasible.

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

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

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

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

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

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

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

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

filter(boolean, int) - Method in class choco.integer.constraints.IntLinComb

A strategy for chaotic iteration with two rules (LB and UB propagation).

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

filter(int) - Method in class choco.set.constraint.Disjoint

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

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

if only one value out of the kernel, then this value can be removed from the enveloppe

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

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

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

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

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

filterMem(LinkedList) - Method in class choco.palm.search.NogoodConstraint

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

Checks a new lower bound.

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

Checks a new upper bound.

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

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

Search for an augmenting path

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

First pass: use Ford & Fulkerson algorithm to compute a reference flow (assignment) finds an augmenting path using a fifo queue

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

finished - Variable in class choco.palm.dbt.search.PalmGlobalSearchSolver

States if the search is finished.

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

Checks whether all branches have already been explored at the current choice point.

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

Checks whether all branches have already been explored at the current choice point

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

Not defined in this algorithm.

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

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

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

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

Checks whether all branches have already been explored at the current choice point

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

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

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

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

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

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

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

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

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

the first search explores (DFS) the reduced graph

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

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

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

start of the chain for the values being propagated -1 for empty chains

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

start of the chain for the values being propagated -1 for empty chains

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

start of the chain for the values waiting to be propagated -1 for empty chains

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

start of the chain for the values waiting to be propagated -1 for empty chains

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

seen[i] = false <=> color[i] = white (in book) = true % {gray, black}

firstSolution - Variable in class choco.Solver

do we want to explore one or all solutions (default=one solution)

fixPoint - Variable in class choco.global.Cumulative

FLOAT_TRAIL - Static variable in class choco.mem.Environment

Index of the StoredFloatTrail for storing integer vectors.

floatVars - Variable in class choco.AbstractModel

All the float vars in the problem.

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

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

Removes all the events from the queue.

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

Removes all the events and clears all the events if needed.

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

Removes all the events (including the popping one).

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

Removes all pending events (used when interrupting a propagation because a contradiction has been raised)

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

Removes all pending events (used when interrupting a propagation because a contradiction has been raised)

flushLog(Logger) - Static method in class choco.Solver

flushLogs() - Static method in class choco.Solver

format(LogRecord) - Method in class choco.util.LightFormatter

Format the given LogRecord.

Formula - Class in choco

a class that is used to represent a syntatic formula involving unknowns.

Formula(Var, int, int) - Constructor for class choco.Formula

Formula(Var, Var, int, int) - Constructor for class choco.Formula

Formula(Var, Var, Var, int) - Constructor for class choco.Formula

Formula(Var[], int[], int, int, int) - Constructor for class choco.Formula

Formula(Var[], int[], int, int, int, int) - Constructor for class choco.Formula

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

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

freezes the state of the "delta domain": the set of values that are considered for removal from the domain.

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

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

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

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

The delta domain container is "frozen" (it can no longer accept new value removals) so that this set of values can be iterated as such

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

The delta domain container is "frozen" (it can no longer accept new value removals) so that this set of values can be iterated as such

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

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

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

The delta domain container is "frozen" (it can no longer accept new value removals) so that this set of values can be iterated as such

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

add the new branching to the current goal to perform the search over the both goals