- unary() - Method in enum kodkod.ast.operator.ExprOperator
-
Returns true if this is a unary operator.
- unary() - Method in enum kodkod.ast.operator.IntOperator
-
Returns true if this is a unary operator.
- unary(String) - Static method in class kodkod.ast.Relation
-
Returns a new unary relation with the given name.
- unary(String) - Static method in class kodkod.ast.Variable
-
Returns a new variable with the specified name and arity 1.
- UnaryExpression - Class in kodkod.ast
-
- UnaryIntExpression - Class in kodkod.ast
-
A unary integer intExpr, e.g.
- UnboundLeafException - Exception in kodkod.engine.fol2sat
-
Thrown when a node contains an undeclared variable or a relation with no bounds.
- union(Expression) - Method in class kodkod.ast.Expression
-
Returns the union of this and the specified expression.
- union(Expression...) - Static method in class kodkod.ast.Expression
-
Returns the union of the given expressions.
- union(Collection<? extends Expression>) - Static method in class kodkod.ast.Expression
-
Returns the union of the given expressions.
- UNIV - Static variable in class kodkod.ast.Expression
-
- universe() - Method in class kodkod.instance.Bounds
-
Returns this.universe.
- universe() - Method in class kodkod.instance.Instance
-
Returns the universe from which the tuples in this instance
are drawn.
- universe() - Method in class kodkod.instance.Tuple
-
Returns the universe from which the atoms in this
tuple are drawn.
- universe() - Method in class kodkod.instance.TupleFactory
-
Returns the universe to which this factory belongs.
- universe() - Method in class kodkod.instance.TupleSet
-
Returns this.universe.
- Universe - Class in kodkod.instance
-
Represents an ordered set of unique atoms.
- Universe(Collection<?>) - Constructor for class kodkod.instance.Universe
-
Constructs a new Universe consisting of the given atoms, in the order that they are returned
by the specified Collection's Iterator.
- Universe(Object...) - Constructor for class kodkod.instance.Universe
-
Constructs a new Universe consisting of the given atoms, in the order that they appear
in the specified array
- unmodifiableIntSet(IntSet) - Static method in class kodkod.util.ints.Ints
-
Returns an unmodifiable view of the specified set.
- unmodifiableSequence(SparseSequence<V>) - Static method in class kodkod.util.ints.Ints
-
Returns an unmodifiable view of the specified sparse sequence.
- unmodifiableView() - Method in class kodkod.instance.Bounds
-
Returns an unmodifiable view of this Bounds object.
- unmodifiableView() - Method in class kodkod.instance.Instance
-
Returns an unmodifiable view of this instance.
- unmodifiableView() - Method in class kodkod.instance.TupleSet
-
Returns an unmodifiable view of the this tupleset.
- unsat() - Method in class kodkod.engine.Solution
-
Returns true iff this solution has a (trivially) unsatisfiable outcome.
- upperBound(Relation) - Method in class kodkod.instance.Bounds
-
Returns the set of tuples that r may contain (the upper bound on r's contents).
- upperBounds() - Method in class kodkod.instance.Bounds
-
Returns a map view of this.upperBound.
- usable() - Method in class kodkod.engine.IncrementalSolver
-
Returns true iff this solver has neither returned an UNSAT solution so far
nor thrown an exception during solving.
- usesInts() - Method in class kodkod.util.nodes.AnnotatedNode
-
Returns true if this.node contains a child whose meaning depends on
integer bounds (i.e.