|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |