Uses of Class
kodkod.engine.bool.Int

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.