klee::BitArray Class Reference

#include <BitArray.h>

List of all members.

Public Member Functions
	BitArray (unsigned size, bool value=false)
	BitArray (const BitArray &b, unsigned size)
	~BitArray ()
bool	get (unsigned idx)
void	set (unsigned idx)
void	unset (unsigned idx)
void	set (unsigned idx, bool value)
Static Protected Member Functions
static uint32_t	length (unsigned size)
Private Attributes
uint32_t *	bits

---

Detailed Description

Definition at line 18 of file BitArray.h.

---

Constructor & Destructor Documentation

klee::BitArray::BitArray	(	unsigned	size,
		bool	value = false
	)			[inline]

Definition at line 26 of file BitArray.h.

References bits, and length().

Here is the call graph for this function:

klee::BitArray::BitArray	(	const BitArray &	b,
		unsigned	size
	)			[inline]

Definition at line 29 of file BitArray.h.

References bits, and length().

Here is the call graph for this function:

klee::BitArray::~BitArray

(

)

[inline]

Definition at line 32 of file BitArray.h.

References bits.

---

Member Function Documentation

bool klee::BitArray::get

(

unsigned

idx

)

[inline]

Definition at line 34 of file BitArray.h.

References bits.

Referenced by klee::ObjectState::isByteConcrete(), and klee::ObjectState::isByteFlushed().

Here is the caller graph for this function:

static uint32_t klee::BitArray::length

(

unsigned

size

)

[inline, static, protected]

Definition at line 23 of file BitArray.h.

Referenced by BitArray().

Here is the caller graph for this function:

void klee::BitArray::set	(	unsigned	idx,
		bool	value
	)			[inline]

Definition at line 37 of file BitArray.h.

References unset().

Here is the call graph for this function:

void klee::BitArray::set

(

unsigned

idx

)

[inline]

Definition at line 35 of file BitArray.h.

References bits.

Referenced by klee::ObjectState::markByteConcrete(), and klee::ObjectState::markByteUnflushed().

Here is the caller graph for this function:

void klee::BitArray::unset

(

unsigned

idx

)

[inline]

Definition at line 36 of file BitArray.h.

References bits.

Referenced by klee::ObjectState::flushRangeForRead(), klee::ObjectState::flushRangeForWrite(), klee::ObjectState::markByteFlushed(), klee::ObjectState::markByteSymbolic(), and set().

Here is the caller graph for this function:

---

Member Data Documentation

uint32_t* klee::BitArray::bits [private]

Definition at line 20 of file BitArray.h.

Referenced by BitArray(), get(), set(), unset(), and ~BitArray().

---

The documentation for this class was generated from the following file:

• include/klee/util/BitArray.h