A B C D E F G H I J K L M N O P Q R S T U V W 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.Occurrence

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

a strategy for chaotic iteration with two rules (LB and UB propagation) the fix point is reached individually for each rule in one function call but this call may break the stability condition for the other rule (in which case the second rule infers new information from the fresh inferences made by the first rule).

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

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

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)

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)

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

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