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 _

T

table - Variable in class choco.integer.constraints.extension.CouplesTable

matrix of consistency/inconsistency

table - Variable in class choco.integer.constraints.extension.TuplesTable

The consistency matrix

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

takeIntoAccountStatusChange(int) - Method in class choco.palm.global.matching.PalmCardinality

takeIntoAccountStatusChange(int) - Method in class choco.palm.global.matching.PalmOccurence

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

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

takeIntoAccountStatusChange(int) - Method in class choco.palm.integer.AbstractPalmTernIntConstraint

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

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

takeIntoAccountStatusChange(int) - Method in interface choco.palm.PalmConstraint

Informs constraints that one of their children has a modified status (due to value restoration).

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

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

targetLowerBound - Variable in class choco.palm.benders.search.MasterOptimizer

a tentative lower bound

targetLowerBound - Variable in class choco.palm.benders.search.SubOptimizer

a tentative lower bound

targetLowerBound - Variable in class choco.palm.cbj.search.JumpAbstractOptimizer

a tentative lower bound

targetLowerBound - Variable in class choco.real.search.AbstractRealOptimize

a tentative lower bound

targetLowerBound - Variable in class choco.search.AbstractOptimize

a tentative lower bound

targetUpperBound - Variable in class choco.palm.benders.search.MasterOptimizer

a tentative upper bound

targetUpperBound - Variable in class choco.palm.benders.search.SubOptimizer

a tentative upper bound

targetUpperBound - Variable in class choco.palm.cbj.search.JumpAbstractOptimizer

a tentative upper bound

targetUpperBound - Variable in class choco.real.search.AbstractRealOptimize

a tentative upper bound

targetUpperBound - Variable in class choco.search.AbstractOptimize

a tentative upper bound

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

taskInter - Static variable in class choco.global.Cumulative

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

taskToPrune - Variable in class choco.global.Cumulative

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

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

tighten(RealExp[]) - Method in class choco.palm.real.constraints.PalmEquation

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

Tightens the value of the expressions, that is affects values with respect to the values (and explanations) of sub expressions.

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

Tightens the value of the expressions, that is affects values with respect to the values (and explanations) of sub expressions.

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

Tightens the value of the expressions, that is affects values with respect to the values (and explanations) of sub expressions.

tighten(RealExp[]) - Method in class choco.real.constraint.Equation

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

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

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

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

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

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

Tightens the expression to find the smallest interval containing values the expression can equal according to operand domains.

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

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

Computes the narrowest bounds with respect to sub terms.

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

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

TimeLimit - Class in choco.search

TimeLimit(AbstractGlobalSearchSolver, int) - Constructor for class choco.search.TimeLimit

timeLimit - Variable in class choco.Solver

times(IntVar, IntVar, IntVar) - Method in class choco.AbstractModel

times(IntVar, IntVar, IntVar) - Method in interface choco.IntModeler

Creates a constraint by stating that X*Y=Z

TIMES_XYZ - Static variable in class choco.Formula

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

TimesXYZ - Class in choco.integer.constraints

a constraint modelling X * Y = Z

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

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

Returns an array with all the objects in the queue.

toArray(Object[]) - Method in class choco.util.PriorityQueue

Not yet implemented.

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

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

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

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

Creates a set with all the constraints in the explain.

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

Creates a set with all the constraints in the explain..

toString() - Method in class choco.AbstractVar

Useful for debugging.

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

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

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

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

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

pretty printing

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

useful for debugging

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

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

pretty printing

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

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

Pretty print of the explain.

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

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

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

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

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

Pretty display of the solution.

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

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

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

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

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

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

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

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

Returns this constraint as string: the name of the variable and the affected value.

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

Creates a string representing this explanation.

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

Creates a string representing this explanation.

toString() - Method in class choco.palm.real.PalmRealVarImpl

The name of the variable.

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

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

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

Deprecated.

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

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

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

useful for debugging

touchedConstraint - Variable in class choco.palm.cbj.explain.JumpConstraintPlugin

traceStack - Variable in class choco.search.AbstractGlobalSearchSolver

a data structure storing the stack of choice contexts (for incremental search explorations)

TraceState - Class in choco.palm.dbt.search

Created by IntelliJ IDEA.

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

trailingZeroCnt(int) - Static method in class choco.mem.StoredBitSet

Counts the number of clear bits starting from the lightest (rightmost) one assumes val contains some bits that are set.

trails - Variable in class choco.mem.Environment

Contains all the ITrailStorage trails for storing different kinds of data.

TRUE - Variable in class choco.AbstractModel

A constant denoting the true constraint (always satisfied)

TuplesTable - Class in choco.integer.constraints.extension

TuplesTable(int) - Constructor for class choco.integer.constraints.extension.TuplesTable

TuplesTable(boolean, int[], int[]) - Constructor for class choco.integer.constraints.extension.TuplesTable

TuplesTest - Class in choco.integer.constraints.extension

TuplesTest() - Constructor for class choco.integer.constraints.extension.TuplesTest

the default constructor build a relation in feasability

TuplesTest(boolean) - Constructor for class choco.integer.constraints.extension.TuplesTest

TwoStateIntVector - Class in choco.mem

A class that implements a vector of integers with two states (one current and one single historical state) TODO: implement all those darn methods

TwoStateIntVector(Environment, int, int) - Constructor for class choco.mem.TwoStateIntVector

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