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 55 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 45 of file Bits.h.

Referenced by indexOfRightmostBit().

Here is the caller graph for this function:

unsigned klee::bits32::isolateRightmostBit

(

unsigned

x

)

[inline]

Definition at line 34 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 38 of file Bits.h.

unsigned klee::bits32::maxValueOfNBits

(

unsigned

N

)

[inline]

Definition at line 19 of file Bits.h.

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

Definition at line 26 of file Bits.h.

unsigned klee::bits32::withoutRightmostBit

(

unsigned

x

)

[inline]

Definition at line 30 of file Bits.h.