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

Class representing a byte update of an array. More...

#include <Expr.h>

Collaboration diagram for klee::UpdateNode:

Public Member Functions

 UpdateNode (const UpdateNode *_next, const ref< Expr > &_index, const ref< Expr > &_value)
 
unsigned getSize () const
 
int compare (const UpdateNode &b) const
 
unsigned hash () const
 

Public Attributes

const UpdateNodenext
 
ref< Exprindex
 
ref< Exprvalue
 

Private Member Functions

 UpdateNode ()
 
 ~UpdateNode ()
 
unsigned computeHash ()
 

Private Attributes

unsigned refCount
 
unsigned hashValue
 
unsigned size
 size of this update sequence, including this update More...
 

Friends

class UpdateList
 

Detailed Description

Class representing a byte update of an array.

Definition at line 569 of file Expr.h.

Constructor & Destructor Documentation

UpdateNode::UpdateNode ( const UpdateNode _next,
const ref< Expr > &  _index,
const ref< Expr > &  _value 
)

Definition at line 18 of file Updates.cpp.

References computeHash(), next, refCount, and size.

Here is the call graph for this function:

klee::UpdateNode::UpdateNode ( )
inlineprivate

Definition at line 595 of file Expr.h.

UpdateNode::~UpdateNode ( )
private

Definition at line 41 of file Updates.cpp.

Member Function Documentation

int UpdateNode::compare ( const UpdateNode b) const

Definition at line 44 of file Updates.cpp.

References klee::ref< T >::compare(), index, and value.

Referenced by klee::UpdateList::compare().

Here is the call graph for this function:

Here is the caller graph for this function:

unsigned UpdateNode::computeHash ( )
private

Definition at line 50 of file Updates.cpp.

References klee::Expr::hash(), hash(), hashValue, index, next, and value.

Referenced by UpdateNode().

Here is the call graph for this function:

Here is the caller graph for this function:

unsigned klee::UpdateNode::getSize ( ) const
inline

Definition at line 589 of file Expr.h.

References size.

Referenced by klee::UpdateList::getSize(), and klee::ObjectState::getUpdates().

Here is the caller graph for this function:

unsigned klee::UpdateNode::hash ( ) const
inline

Definition at line 592 of file Expr.h.

References hashValue.

Referenced by computeHash(), klee::UpdateList::hash(), and klee::UpdateNodeHashFn::operator()().

Here is the caller graph for this function:

Friends And Related Function Documentation

friend class UpdateList
friend

Definition at line 570 of file Expr.h.

Member Data Documentation

unsigned klee::UpdateNode::hashValue
private

Definition at line 574 of file Expr.h.

Referenced by computeHash(), and hash().

unsigned klee::UpdateNode::refCount
mutableprivate
unsigned klee::UpdateNode::size
private

size of this update sequence, including this update

Definition at line 582 of file Expr.h.

Referenced by getSize(), and UpdateNode().


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