klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::BitArray Class Reference

#include <BitArray.h>

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)
inlinestaticprotected

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)
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::set ( unsigned  idx,
bool  value 
)
inline

Definition at line 37 of file BitArray.h.

References set(), and unset().

Referenced by set().

Here is the call graph for this function:

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: