|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Dimensions | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
Uses of Dimensions in kodkod.engine.bool |
---|
Methods in kodkod.engine.bool that return Dimensions | |
---|---|
Dimensions |
Dimensions.cross(Dimensions dim)
Returns the dimensions of a matrix that would result from taking the cross product of a matrix of dimensions given by this and a matrix whose dimensions are specified by dim. |
Dimensions |
BooleanMatrix.dimensions()
Returns the dimensions of this matrix. |
Dimensions |
Dimensions.dot(Dimensions dim)
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. |
static Dimensions |
Dimensions.rectangular(int[] dimensions)
Constructs a new Dimensions object with the given dimensions. |
static Dimensions |
Dimensions.square(int size,
int n)
Returns a new Dimensions object with n dimensions, each of which has the specified size. |
abstract Dimensions |
Dimensions.transpose()
Returns the transpose of these dimensions. |
Methods in kodkod.engine.bool with parameters of type Dimensions | |
---|---|
Dimensions |
Dimensions.cross(Dimensions dim)
Returns the dimensions of a matrix that would result from taking the cross product of a matrix of dimensions given by this and a matrix whose dimensions are specified by dim. |
Dimensions |
Dimensions.dot(Dimensions dim)
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. |
BooleanMatrix |
BooleanFactory.matrix(Dimensions d)
Returns a BooleanMatrix with the given dimensions and this as the factory for its non-FALSE components. |
BooleanMatrix |
BooleanFactory.matrix(Dimensions d,
IntSet allIndices,
IntSet trueIndices)
Returns a BooleanMatrix m with the given dimensions, this as its factory, and the indices from the set trueIndices initialized to TRUE. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |