Uses of Class
kodkod.engine.bool.Dimensions

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.