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

Class representing a complete list of updates into an array. More...

#include <Expr.h>

Collaboration diagram for klee::UpdateList:

Public Member Functions

 UpdateList (const Array *_root, const UpdateNode *_head)
 
 UpdateList (const UpdateList &b)
 
 ~UpdateList ()
 
UpdateListoperator= (const UpdateList &b)
 
unsigned getSize () const
 size of this update list More...
 
void extend (const ref< Expr > &index, const ref< Expr > &value)
 
int compare (const UpdateList &b) const
 
unsigned hash () const
 

Public Attributes

const Arrayroot
 
const UpdateNodehead
 pointer to the most recent update node More...
 

Friends

class ReadExpr
 

Detailed Description

Class representing a complete list of updates into an array.

Definition at line 655 of file Expr.h.

Constructor & Destructor Documentation

UpdateList::UpdateList ( const Array _root,
const UpdateNode _head 
)

Definition at line 59 of file Updates.cpp.

References head, and klee::UpdateNode::refCount.

UpdateList::UpdateList ( const UpdateList b)

Definition at line 65 of file Updates.cpp.

References head, and klee::UpdateNode::refCount.

UpdateList::~UpdateList ( )

Definition at line 71 of file Updates.cpp.

References head, klee::UpdateNode::next, and klee::UpdateNode::refCount.

Member Function Documentation

int UpdateList::compare ( const UpdateList b) const

Definition at line 102 of file Updates.cpp.

References klee::UpdateNode::compare(), getSize(), head, klee::Array::name, klee::UpdateNode::next, and root.

Here is the call graph for this function:

void UpdateList::extend ( const ref< Expr > &  index,
const ref< Expr > &  value 
)

Definition at line 90 of file Updates.cpp.

References klee::Array::getDomain(), klee::Array::getRange(), klee::Expr::getWidth(), head, klee::UpdateNode::refCount, and root.

Referenced by klee::ObjectState::flushRangeForRead(), klee::ObjectState::flushRangeForWrite(), and klee::ObjectState::write8().

Here is the call graph for this function:

Here is the caller graph for this function:

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

size of this update list

Definition at line 672 of file Expr.h.

References klee::UpdateNode::getSize(), and head.

Referenced by compare(), and TryConstArrayOpt().

Here is the call graph for this function:

Here is the caller graph for this function:

unsigned UpdateList::hash ( ) const

Definition at line 128 of file Updates.cpp.

References klee::UpdateNode::hash(), head, klee::Expr::MAGIC_HASH_CONSTANT, klee::Array::name, and root.

Here is the call graph for this function:

UpdateList & UpdateList::operator= ( const UpdateList b)

Definition at line 82 of file Updates.cpp.

References head, klee::UpdateNode::refCount, and root.

Friends And Related Function Documentation

friend class ReadExpr
friend

Definition at line 656 of file Expr.h.

Member Data Documentation


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