A B C D E F G I K L M O P R S T V

R

range(int) - Method in enum kodkod.engine.config.Options.IntEncoding

Returns the range of integers representable with this encoding using the given number of bits.

reporter() - Method in class kodkod.engine.config.Options

Returns this.reporter.