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.

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