A B C D E F G H I J K L M N O P Q R S T U V W X

W

width() - Method in class kodkod.engine.bool.Int

Returns the number of bits in the representation of this Int, including sign bits (if any).

A B C D E F G H I J K L M N O P Q R S T U V W X