|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Int | |
---|---|
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 Int in kodkod.engine.bool |
---|
Methods in kodkod.engine.bool that return Int | |
---|---|
abstract Int |
Int.abs()
Returns an Int that represents the absolute value of this integer. |
abstract Int |
Int.and(Int other)
Returns an Int that represents the bitwise conjunction of this and the given Int. |
Int |
BooleanMatrix.cardinality()
Returns an Int that represents the cardinality (number of non-FALSE entries) of this matrix using this.factory.intEncoding. |
abstract Int |
Int.choice(BooleanValue condition,
Int other)
Returns an Int that evaluates to this if the condition is true, otherwise it evaluates to the given Int. |
abstract Int |
Int.divide(Int other)
Returns an Int that represents the quotient of the division between this and the given Int. |
abstract Int |
BooleanFactory.integer(int number)
Returns an Int that represents the given number using this.intEncoding. |
abstract Int |
BooleanFactory.integer(int number,
BooleanValue bit)
Returns an Int that represents 0 or the given number, depending on the value of the given bit. |
abstract Int |
Int.minus(Int other)
Returns an Int that represents the difference between this and the given Int. |
abstract Int |
Int.modulo(Int other)
Returns an Int that represents the remainder of the division between this and the given Int. |
abstract Int |
Int.multiply(Int other)
Returns an Int that represents the product between this and the given Int. |
abstract Int |
Int.negate()
Returns an Int that represents the negation of this integer. |
abstract Int |
Int.not()
Returns an Int that represents bitwise negation of this integer. |
abstract Int |
Int.or(Int other)
Returns an Int that represents the bitwise disjunction of this and the given Int. |
abstract Int |
Int.plus(Int other)
Returns an Int that represents the sum of this and the given Int. |
abstract Int |
Int.sgn()
Returns an Int that represents the signum of this integer. |
abstract Int |
Int.sha(Int other)
Returns an Int that represents this shifted to the right by the given Int, with sign extension. |
abstract Int |
Int.shl(Int other)
Returns an Int that represents this shifted to the left by the given Int. |
abstract Int |
Int.shr(Int other)
Returns an Int that represents this shifted to the right by the given Int, with zero extension. |
Int |
BooleanFactory.sum(java.util.Collection<BooleanValue> bits)
Returns an Int that represents the sum of all values in the given collection. |
abstract Int |
Int.xor(Int other)
Returns an Int that represents the bitwise XOR of this and the given Int. |
Methods in kodkod.engine.bool with parameters of type Int | |
---|---|
abstract Int |
Int.and(Int other)
Returns an Int that represents the bitwise conjunction of this and the given Int. |
abstract Int |
Int.choice(BooleanValue condition,
Int other)
Returns an Int that evaluates to this if the condition is true, otherwise it evaluates to the given Int. |
abstract Int |
Int.divide(Int other)
Returns an Int that represents the quotient of the division between this and the given Int. |
BooleanValue |
Int.eq(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is equal to the integer represented by the specified Int. |
BooleanValue |
Int.gt(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is greater than the integer represented by the specified Int. |
BooleanValue |
Int.gte(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is greater than or equal to the integer represented by the specified Int. |
BooleanValue |
Int.lt(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is less than the integer represented by the specified Int. |
abstract BooleanValue |
Int.lte(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is less than or equal to the integer represented by the specified Int |
abstract Int |
Int.minus(Int other)
Returns an Int that represents the difference between this and the given Int. |
abstract Int |
Int.modulo(Int other)
Returns an Int that represents the remainder of the division between this and the given Int. |
abstract Int |
Int.multiply(Int other)
Returns an Int that represents the product between this and the given Int. |
abstract Int |
Int.or(Int other)
Returns an Int that represents the bitwise disjunction of this and the given Int. |
abstract Int |
Int.plus(Int other)
Returns an Int that represents the sum of this and the given Int. |
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. |
abstract Int |
Int.sha(Int other)
Returns an Int that represents this shifted to the right by the given Int, with sign extension. |
abstract Int |
Int.shl(Int other)
Returns an Int that represents this shifted to the left by the given Int. |
abstract Int |
Int.shr(Int other)
Returns an Int that represents this shifted to the right by the given Int, with zero extension. |
abstract Int |
Int.xor(Int other)
Returns an Int that represents the bitwise XOR of this and the given Int. |
Uses of Int in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that return Int | |
---|---|
static Int |
Translator.evaluate(IntExpression intExpr,
Instance instance,
Options options)
Evalutes the given intexpression to an Int using the provided instance and options. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |