Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
U
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
An
expression
with one child.
UnaryExpression.Operator
- Enum in
kodkod.ast
Represents a unary expression operator.
UnaryIntExpression
- Class in
kodkod.ast
A unary integer expression, e.g.
UnaryIntExpression.Operator
- Enum in
kodkod.ast
Unary operators on integer expressions.
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.
UNIV
- Static variable in class kodkod.ast.
Expression
The universal relation: contains all atoms in a
universe of discourse
.
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.
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.
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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