- 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
-
- 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
-
- 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.
- 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.
- 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.
- toBitset() - Method in class kodkod.ast.IntExpression
-
Returns an expression whose meaning is the set containing the atoms
that represent the powers of 2 (bits) present in this integer expression.
- 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.
- toString() - Method in class kodkod.ast.BinaryExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.BinaryFormula
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.BinaryIntExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.ComparisonFormula
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.Comprehension
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.ConstantFormula
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.Decl
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.Decls
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.ExprToIntCast
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.IfExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.IfIntExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.IntComparisonFormula
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.IntConstant
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.IntToExprCast
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.LeafExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.MultiplicityFormula
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.NaryExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.NaryFormula
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.NaryIntExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.Node
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.NotFormula
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.ProjectExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.QuantifiedFormula
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.RelationPredicate.Acyclic
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.RelationPredicate.Function
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.RelationPredicate.TotalOrdering
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.SumExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.UnaryExpression
-
Returns a string representation of this node.
- toString() - Method in class kodkod.ast.UnaryIntExpression
-
Returns a string representation of this node.
- 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
-
- toString() - Method in class kodkod.util.nodes.AnnotatedNode
-
Returns a string representation of this annotated node.
- 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.
- translated() - Method in class kodkod.engine.fol2sat.TranslationRecord
-
Returns this.translated.
- translateIncremental(Formula, Bounds, Options) - Static method in class kodkod.engine.fol2sat.Translator
-
Translates the given formula using the specified bounds and options in such a way
that the resulting translation can be extended with additional formulas and bounds, subject to
the same options.
- translateIncremental(Formula, Bounds, Translation.Incremental) - Static method in class kodkod.engine.fol2sat.Translator
-
Updates the given translation with CNF(formula, translation.originalBounds + bounds, translation.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 5 of the analysis).
- Translation - Class in kodkod.engine.fol2sat
-
Stores the translation of a Kodkod problem to CNF.
- Translation.Incremental - Class in kodkod.engine.fol2sat
-
An
incremental translation preserves the internal data structures used during
translation.
- Translation.Whole - Class in kodkod.engine.fol2sat
-
A
whole translation stores the complete CNF of encoding
of a given problem.
- 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
-
- 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.
- trivial() - Method in class kodkod.engine.fol2sat.Translation
-
Returns true iff this translation is trivially true or trivially false.
- 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.
- twosComplementBits() - Method in class kodkod.engine.bool.Int
-
Returns the little endian two's complement representation of this integer that is
this.factory.bitwidth bits wide.