A B C D E F G H I J K L M N O P Q R S T U V W X Z

T

targetMult() - Method in class kodkod.ast.RelationPredicate.Function
Returns the target multiplicity of the function represented by this.relation.
ternary(String) - Static method in class kodkod.ast.Relation
Returns a ternary relation with the specified name.
thenElse(Expression, Expression) - Method in class kodkod.ast.Formula
Returns the if expression constructed from this formula and the specified then and else expressions.
thenElse(IntExpression, IntExpression) - Method in class kodkod.ast.Formula
Returns the if expression constructed from this formula and the specified then and else integer expressions.
thenExpr() - Method in class kodkod.ast.IfExpression
Returns the then-expression.
thenExpr() - Method in class kodkod.ast.IfIntExpression
Returns the then-expression.
toArray(int[]) - Method in class kodkod.engine.satlab.Clause
Copies this.literals into the specified array, provided that it is large enough, and returns it.
toArray() - Method in class kodkod.engine.satlab.Clause
Returns a new array of length this.size(), initialized with this.literals.
toArray() - Method in class kodkod.util.ints.AbstractIntCollection
Returns the result of calling AbstractIntCollection.toArray(int[]) with a freshly constructed array of length this.size().
toArray(int[]) - Method in class kodkod.util.ints.AbstractIntCollection
Copies the elements of this collection into the specified array, provided that it is large enough, and returns it.
toArray() - Method in class kodkod.util.ints.ArrayIntSet
Returns the result of calling AbstractIntCollection.toArray(int[]) with a freshly constructed array of length this.size().
toArray(int[]) - Method in class kodkod.util.ints.ArrayIntSet
Copies the elements of this collection into the specified array, provided that it is large enough, and returns it. If the array is not large enough, the effect of this method is the same as calling IntCollection.toArray().
toArray(int[]) - Method in class kodkod.util.ints.ArrayIntVector
Copies the elements of this collection into the specified array, provided that it is large enough, and returns it. If the array is not large enough, the effect of this method is the same as calling IntCollection.toArray().
toArray() - Method in interface kodkod.util.ints.IntCollection
Returns an array containing all of the elements in this collection.
toArray(int[]) - Method in interface kodkod.util.ints.IntCollection
Copies the elements of this collection into the specified array, provided that it is large enough, and returns it.
toArray() - Method in interface kodkod.util.ints.IntSet
Returns an array containing all of the elements in this set in the ascending order.
toArray(int[]) - Method in interface kodkod.util.ints.IntSet
Copies the elements of this set into the specified array, in the ascending order, provided that the array is large enough.
toArray() - Method in interface kodkod.util.ints.IntVector
Returns an array containing all of the elements in this vector in proper sequence.
toArray(int[]) - Method in interface kodkod.util.ints.IntVector
Copies the components of this vector into the specified array, provided that it is large enough, and returns it.
toConstraints() - Method in class kodkod.ast.RelationPredicate.Acyclic
Turns this predicate into explicit constraiants.
toConstraints() - Method in class kodkod.ast.RelationPredicate.Function
Turns this predicate into explicit constraiants.
toConstraints() - Method in class kodkod.ast.RelationPredicate
Turns this predicate into explicit constraiants.
toConstraints() - Method in class kodkod.ast.RelationPredicate.TotalOrdering
Turns this predicate into explicit constraiants.
toExpression() - Method in class kodkod.ast.IntExpression
Returns an expression whose meaning is the singleton set containing the atom that represents the integer given by this integer expression.
topFormulas(Formula) - Static method in class kodkod.engine.ucore.StrategyUtils
Returns the top-level components of the given formula.
topVars(TranslationLog) - Static method in class kodkod.engine.ucore.StrategyUtils
Returns the variables that correspond to the top-level subformulas of log.formula
toString() - Method in class kodkod.ast.BinaryExpression
Returns the string representation of this expression.
toString() - Method in class kodkod.ast.BinaryFormula
Returns the string representation of this formula.
toString() - Method in class kodkod.ast.BinaryIntExpression
Returns the string representation of this int expression.
toString() - Method in class kodkod.ast.ComparisonFormula
Returns the string representation of this formula.
toString() - Method in class kodkod.ast.Comprehension
Returns the string representation of this expression.
toString() - Method in class kodkod.ast.ConstantFormula
Returns the string representation of this formula.
toString() - Method in class kodkod.ast.Decl
Returns the string representation of this decl.
toString() - Method in class kodkod.ast.Decls
Returns the string representation of these decls.
toString() - Method in class kodkod.ast.ExprToIntCast
Returns the string representation of this int expression.
toString() - Method in class kodkod.ast.IfExpression
Returns the string representation of this expression.
toString() - Method in class kodkod.ast.IfIntExpression
Returns the string representation of this int expression.
toString() - Method in class kodkod.ast.IntComparisonFormula
Returns the string representation of this formula.
toString() - Method in class kodkod.ast.IntConstant
Returns the string representation of this int constant.
toString() - Method in class kodkod.ast.IntToExprCast
Returns the string representation of this expression.
toString() - Method in class kodkod.ast.LeafExpression
Returns the string representation of this expression.
toString() - Method in class kodkod.ast.MultiplicityFormula
Returns the string representation of this formula.
toString() - Method in class kodkod.ast.NotFormula
Returns the string representation of this formula.
toString() - Method in class kodkod.ast.ProjectExpression
Returns the string representation of this expression.
toString() - Method in class kodkod.ast.QuantifiedFormula
Returns the string representation of this formula.
toString() - Method in class kodkod.ast.RelationPredicate.Acyclic
Returns the string representation of this predicate.
toString() - Method in class kodkod.ast.RelationPredicate.Function
Returns the string representation of this predicate.
toString() - Method in class kodkod.ast.RelationPredicate.TotalOrdering
Returns the string representation of this predicate.
toString() - Method in class kodkod.ast.SumExpression
Returns the string representation of this int expression.
toString() - Method in class kodkod.ast.UnaryExpression
Returns the string representation of this expression.
toString() - Method in class kodkod.ast.UnaryIntExpression
Returns the string representation of this int expression.
toString() - Method in class kodkod.engine.bool.BooleanAccumulator
 
toString() - Method in class kodkod.engine.bool.BooleanConstant
Returns a string representation of this boolean value.
toString() - Method in class kodkod.engine.bool.BooleanMatrix
 
toString() - Method in class kodkod.engine.bool.BooleanVariable
Returns a string representation of this variable.
toString() - Method in class kodkod.engine.bool.Dimensions
 
toString() - Method in class kodkod.engine.bool.ITEGate
Returns a string representation of this ITE gate.
toString() - Method in class kodkod.engine.bool.MultiGate
Returns a string representation of this multigate.
toString() - Method in class kodkod.engine.bool.NotGate
Returns a string representation of this inverter.
toString() - Method in class kodkod.engine.config.ConsoleReporter
 
toString() - Method in class kodkod.engine.config.Options
Returns a string representation of this Options object.
toString() - Method in class kodkod.engine.Evaluator
toString() - Method in class kodkod.engine.fol2sat.TranslationRecord
 
toString() - Method in class kodkod.engine.satlab.Clause
Returns a string representation of this clause.
toString() - Method in class kodkod.engine.Solution
Returns a string representation of this Solution.
toString() - Method in class kodkod.engine.Solver
toString() - Method in class kodkod.engine.Statistics
Returns a string representation of this Statistics object.
toString() - Method in class kodkod.instance.Bounds
 
toString() - Method in class kodkod.instance.Instance
toString() - Method in class kodkod.instance.Tuple
 
toString() - Method in class kodkod.instance.Universe
Returns a string representation of this universe.
toString() - Method in class kodkod.util.collections.Stack
Returns a string represention of this stack.
toString() - Method in class kodkod.util.ints.AbstractIntSet
Returns a string representation of this int set.
toString() - Method in class kodkod.util.ints.AbstractIntVector
toString() - Method in class kodkod.util.ints.AbstractSparseSequence
Returns a string representation of this sequence.
toString() - Method in class kodkod.util.ints.IntRange
 
totalOrder(Relation, Relation, Relation) - Method in class kodkod.ast.Relation
Returns a formula stating that this relation imposes a total ordering over the atoms in the set ordered, and that thet first and last elements in the ordering are given by the relations first and last.
translate(Formula, Bounds, Options) - Static method in class kodkod.engine.fol2sat.Translator
Translates the given formula using the specified bounds and options.
translatingToBoolean(Formula, Bounds) - Method in class kodkod.engine.config.AbstractReporter
 
translatingToBoolean(Formula, Bounds) - Method in class kodkod.engine.config.ConsoleReporter
 
translatingToBoolean(Formula, Bounds) - Method in interface kodkod.engine.config.Reporter
Reports that the analysis of the given (optimized) formula and bounds is in stage 3.
translatingToCNF(BooleanFormula) - Method in class kodkod.engine.config.AbstractReporter
 
translatingToCNF(BooleanFormula) - Method in class kodkod.engine.config.ConsoleReporter
 
translatingToCNF(BooleanFormula) - Method in interface kodkod.engine.config.Reporter
Reports that the given (optimized) circuit is being translated to CNF (stage 6 of the analysis).
Translation - Class in kodkod.engine.fol2sat
Stores the translation of a kodkod formula to CNF.
TranslationAbortedException - Exception in kodkod.engine.fol2sat
Thrown when translation is aborted by calling Thread.interrupt().
TranslationLog - Class in kodkod.engine.fol2sat
A log of the translations of the descendants of a given formula that are either formulas or that desugar to formulas.
TranslationRecord - Class in kodkod.engine.fol2sat
Record of a translation event.
TranslationRecord() - Constructor for class kodkod.engine.fol2sat.TranslationRecord
 
translationTime() - Method in class kodkod.engine.Statistics
Returns the number of miliseconds spent on translation this.formula to CNF.
Translator - Class in kodkod.engine.fol2sat
Translates, evaluates, and approximates nodes with respect to given bounds (or instances) and Options.
transpose() - Method in class kodkod.ast.Expression
Returns the transpose of this.
transpose() - Method in class kodkod.engine.bool.BooleanMatrix
Returns the transpose of this matrix.
transpose() - Method in class kodkod.engine.bool.Dimensions
Returns the transpose of these dimensions.
treeGate(Operator.Nary) - Static method in class kodkod.engine.bool.BooleanAccumulator
Returns a tree based implementation of BooleanAccumulator.
treeGate(Operator.Nary, BooleanValue[]) - Static method in class kodkod.engine.bool.BooleanAccumulator
Returns a tree based implementation of BooleanAccumulator, initialized with the given inputs.
TreeSequence<V> - Class in kodkod.util.ints
An implementation of a sparse sequence based on a balanced binary search tree.
TreeSequence() - Constructor for class kodkod.util.ints.TreeSequence
Constructs an empty tree sequence.
trimToSize() - Method in class kodkod.util.collections.ArrayStack
Trims the capacity of this ArrayStack to be the stack's current size.
trimToSize() - Method in class kodkod.util.ints.ArrayIntVector
Trims the capacity of this MutableIntVector instance to be the list's current size.
TrivialFormulaException - Exception in kodkod.engine.fol2sat
Thrown when a reduction is found to be trivially (un)satisfiable with respect to given Bounds.
TRUE - Static variable in class kodkod.ast.Formula
Constant formula true
TRUE - Static variable in class kodkod.engine.bool.BooleanConstant
 
Tuple - Class in kodkod.instance
Represents a sequence of atoms drawn from a given universe.
Tuple() - Constructor for class kodkod.instance.Tuple
 
tuple(Object...) - Method in class kodkod.instance.TupleFactory
Returns a tuple that contains the specified sequence of atoms, drawn from this.universe.
tuple(List<?>) - Method in class kodkod.instance.TupleFactory
Returns a tuple that contains the specified sequence of atoms, drawn from this.universe.
tuple(int, int) - Method in class kodkod.instance.TupleFactory
Returns a tuple with the specified arity whose index in an arity-dimensional space over this.universe is given by the index parameter.
TupleFactory - Class in kodkod.instance
A factory class that facilitates creation of tuples and tuple sets drawn from a given universe.
tuples(Relation) - Method in class kodkod.instance.Instance
Returns the set of tuples assigned to the given relation by this Instance.
tuples(int) - Method in class kodkod.instance.Instance
Returns the set of tuples assigned to the given integer by this Instance.
TupleSet - Class in kodkod.instance
Represents a set of tuples of a given arity, constructed over a given universe.

A B C D E F G H I J K L M N O P Q R S T U V W X Z