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
D
Decl
- Class in
kodkod.ast
A variable declaration, such as 'x : lone X'.
decl()
- Method in exception kodkod.engine.fol2sat.
HigherOrderDeclException
Returns this.decl
declarations()
- Method in class kodkod.ast.
Comprehension
declarations()
- Method in class kodkod.ast.
Decls
Returns an unmodifiable List view of this declaration sequence
declarations()
- Method in class kodkod.ast.
QuantifiedFormula
Returns this.declarations.
declarations()
- Method in class kodkod.ast.
SumExpression
Returns this.decls.
declare(Multiplicity, Expression)
- Method in class kodkod.ast.
Variable
Returns the declaration that constrains this variable to be bound to the specified number of the elements in the given expression: 'this: mult expr'.
Decls
- Class in
kodkod.ast
A sequence of declarations.
DefaultSAT4J
- Static variable in class kodkod.engine.satlab.
SATFactory
The factory that produces instances of the default sat4j solver.
denseIndices()
- Method in class kodkod.engine.bool.
BooleanMatrix
Returns the set of all indices in this matrix that contain non-FALSE values.
density()
- Method in class kodkod.engine.bool.
BooleanMatrix
Returns the number of non-FALSE entries in this matrix.
difference(Expression)
- Method in class kodkod.ast.
Expression
Returns the difference of this and the specified expression.
difference(BooleanMatrix)
- Method in class kodkod.engine.bool.
BooleanMatrix
Returns a matrix representing the asymmetric difference between the entries in this and the given matrix.
dimension(int)
- Method in class kodkod.engine.bool.
Dimensions
Returns the size of the ith dimensions
dimensions()
- Method in class kodkod.engine.bool.
BooleanMatrix
Returns the dimensions of this matrix.
Dimensions
- Class in
kodkod.engine.bool
Stores information about the size of a matrix.
divide(IntExpression)
- Method in class kodkod.ast.
IntExpression
Returns an IntExpression that represents the quotient of the division between this and the given int node.
divide(Int)
- Method in class kodkod.engine.bool.
Int
Returns an Int that represents the quotient of the division between this and the given Int.
domain()
- Method in class kodkod.ast.
RelationPredicate.Function
Returns the domain of this.relation.
dot(BooleanMatrix)
- Method in class kodkod.engine.bool.
BooleanMatrix
Returns the dot product of this and other matrix, using conjunction instead of multiplication and disjunction instead of addition.
dot(Dimensions)
- Method in class kodkod.engine.bool.
Dimensions
Returns the dimensions of a matrix that would result from multiplying a matrix of dimensions given by this by a matrix whose dimensions are specified by dim.
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