klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::bits32 Namespace Reference

Functions

unsigned maxValueOfNBits (unsigned N)
 
unsigned truncateToNBits (unsigned x, unsigned N)
 
unsigned withoutRightmostBit (unsigned x)
 
unsigned isolateRightmostBit (unsigned x)
 
unsigned isPowerOfTwo (unsigned x)
 
unsigned indexOfSingleBit (unsigned x)
 
unsigned indexOfRightmostBit (unsigned x)
 

Function Documentation

unsigned klee::bits32::indexOfRightmostBit ( unsigned  x)
inline

Definition at line 56 of file Bits.h.

References indexOfSingleBit(), and isolateRightmostBit().

Here is the call graph for this function:

unsigned klee::bits32::indexOfSingleBit ( unsigned  x)
inline

Definition at line 46 of file Bits.h.

Referenced by indexOfRightmostBit(), and klee::bits64::indexOfSingleBit().

Here is the caller graph for this function:

unsigned klee::bits32::isolateRightmostBit ( unsigned  x)
inline

Definition at line 35 of file Bits.h.

Referenced by indexOfRightmostBit().

Here is the caller graph for this function:

unsigned klee::bits32::isPowerOfTwo ( unsigned  x)
inline

Definition at line 39 of file Bits.h.

unsigned klee::bits32::maxValueOfNBits ( unsigned  N)
inline

Definition at line 20 of file Bits.h.

unsigned klee::bits32::truncateToNBits ( unsigned  x,
unsigned  N 
)
inline

Definition at line 27 of file Bits.h.

unsigned klee::bits32::withoutRightmostBit ( unsigned  x)
inline

Definition at line 31 of file Bits.h.