de.stups.probkodkod.tools

Class IntTools

java.lang.Object

de.stups.probkodkod.tools.IntTools

public final class IntTools
extends java.lang.Object

This class contains some operations on integers

Constructor Summary

Constructors

Constructor and Description
IntTools()

Method Summary

Methods

Modifier and Type	Method and Description
static int	bitwidth(int maxint)
static int	countOneBits(int integer)
static boolean	isPow2(int value)
static int	pow2(int exp)
static int	smallestRepresentableInteger(int bitwidth)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IntTools

public IntTools()

Method Detail

bitwidth

public static int bitwidth(int maxint)

Parameters:

maxint -

Returns:

the number of bits needed to store maxint

pow2

public static int pow2(int exp)

smallestRepresentableInteger

public static int smallestRepresentableInteger(int bitwidth)

isPow2

public static boolean isPow2(int value)

Parameters:

value -

Returns:

true if there is an i such that value == exp(2,i)

countOneBits

public static int countOneBits(int integer)