Uses of Class
kodkod.engine.bool.BooleanMatrix

Packages that use BooleanMatrix
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
kodkod.engine.fol2sat Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. 
 

Uses of BooleanMatrix in kodkod.engine.bool
 

Methods in kodkod.engine.bool that return BooleanMatrix
 BooleanMatrix BooleanMatrix.and(BooleanMatrix other)
          Returns a new matrix such that an entry in the returned matrix represents a conjunction of the corresponding entries in this and other matrix.
 BooleanMatrix BooleanMatrix.choice(BooleanValue condition, BooleanMatrix other)
          Returns a boolean matrix m such that m = this if the given condition evaluates to TRUE and m = other otherwise.
 BooleanMatrix BooleanMatrix.clone()
          Returns a copy of this boolean matrix.
 BooleanMatrix BooleanMatrix.closure()
          Returns the transitive closure of this matrix.
 BooleanMatrix BooleanMatrix.cross(BooleanMatrix other)
          Returns the cross product of this and other matrix, using conjunction instead of multiplication.
 BooleanMatrix BooleanMatrix.difference(BooleanMatrix other)
          Returns a matrix representing the asymmetric difference between the entries in this and the given matrix.
 BooleanMatrix BooleanMatrix.dot(BooleanMatrix other)
          Returns the dot product of this and other matrix, using conjunction instead of multiplication and disjunction instead of addition.
 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.
 BooleanMatrix BooleanMatrix.not()
          Returns a new matrix each of whose entries is a negation of the corresponding entry in this matrix.
 BooleanMatrix BooleanMatrix.or(BooleanMatrix other)
          Returns a new matrix such that an entry in the returned matrix represents a combination of the corresponding entries in this and other matrix.
 BooleanMatrix BooleanMatrix.override(BooleanMatrix other)
          Overrides the values in this matrix with those in other.
 BooleanMatrix BooleanMatrix.project(Int[] columns)
          Returns a matrix m such that the relational value of m is equal to the relational value of this projected on the specified columns.
 BooleanMatrix BooleanMatrix.transpose()
          Returns the transpose of this matrix.
 

Methods in kodkod.engine.bool with parameters of type BooleanMatrix
 BooleanMatrix BooleanMatrix.and(BooleanMatrix other)
          Returns a new matrix such that an entry in the returned matrix represents a conjunction of the corresponding entries in this and other matrix.
 BooleanMatrix BooleanMatrix.choice(BooleanValue condition, BooleanMatrix other)
          Returns a boolean matrix m such that m = this if the given condition evaluates to TRUE and m = other otherwise.
 BooleanMatrix BooleanMatrix.cross(BooleanMatrix other)
          Returns the cross product of this and other matrix, using conjunction instead of multiplication.
 BooleanMatrix BooleanMatrix.difference(BooleanMatrix other)
          Returns a matrix representing the asymmetric difference between the entries in this and the given matrix.
 BooleanMatrix BooleanMatrix.dot(BooleanMatrix other)
          Returns the dot product of this and other matrix, using conjunction instead of multiplication and disjunction instead of addition.
 BooleanValue BooleanMatrix.eq(BooleanMatrix other)
          Returns a formula stating that the entries in this matrix are equivalent to the entries in the given matrix; i.e.
 BooleanMatrix BooleanMatrix.or(BooleanMatrix other)
          Returns a new matrix such that an entry in the returned matrix represents a combination of the corresponding entries in this and other matrix.
 BooleanMatrix BooleanMatrix.override(BooleanMatrix other)
          Overrides the values in this matrix with those in other.
 BooleanValue BooleanMatrix.subset(BooleanMatrix other)
          Returns a formula stating that the entries in this matrix are a subset of the entries in the given matrix; i.e.
 

Uses of BooleanMatrix in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat that return BooleanMatrix
static BooleanMatrix Translator.approximate(Expression expression, Bounds bounds, Options options)
          Overapproximates the value of the given expression using the provided bounds and options.
static BooleanMatrix Translator.evaluate(Expression expression, Instance instance, Options options)
          Evaluates the given expression to a BooleanMatrix using the provided instance and options.