Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
 PREV LETTER   NEXT LETTER FRAMES    NO FRAMES    
A B C D E F G I K L M O P R S T V

B

bitwidth() - Method in class kodkod.engine.config.Options
Returns the size of the integer representation.
Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
 PREV LETTER   NEXT LETTER FRAMES    NO FRAMES    
A B C D E F G I K L M O P R S T V