#include <symstate.hh>
Public Types | |
| typedef TList::const_iterator | const_iterator |
| typedef TList::iterator | iterator |
Public Member Functions | |
| SymState () | |
| virtual | ~SymState () |
| SymState (const SymState &) | |
| SymState & | operator= (const SymState &) |
| virtual void | clear () |
| virtual void | swap (SymState &other) |
| virtual int | lookup (const SymHeap &heap) const =0 |
| look for the given symbolic heap, return its index if found, -1 otherwise More... | |
| virtual bool | insert (const SymHeap &sh, bool allowThreeWay=true) |
| insert given SymHeap object into the state More... | |
| size_t | size () const |
| return count of object stored in the container More... | |
| const SymHeap & | operator[] (int nth) const |
| return nth SymHeap object, 0 <= nth < size() More... | |
| const_iterator | begin () const |
| return STL-like iterator to go through the container More... | |
| const_iterator | end () const |
| return STL-like iterator to go through the container More... | |
| iterator | begin () |
| return STL-like iterator to go through the container More... | |
| iterator | end () |
| return STL-like iterator to go through the container More... | |
Protected Member Functions | |
| virtual void | insertNew (const SymHeap &sh) |
| insert new SymHeap that @ must be guaranteed to be not yet in More... | |
| virtual void | eraseExisting (int nth) |
| virtual void | swapExisting (int nth, SymHeap &sh) |
| virtual void | rotateExisting (const int idxA, const int idxB) |
Private Types | |
| typedef std::vector< SymHeap * > | TList |
Private Attributes | |
| TList | heaps_ |
Friends | |
| class | PerFncCache |
| lookup/insert optimization in SymCallCache implementation More... | |
Detailed Description
Definition at line 37 of file symstate.hh.
Member Typedef Documentation
| typedef TList::const_iterator const_iterator |
Definition at line 42 of file symstate.hh.
| typedef TList::iterator iterator |
Definition at line 43 of file symstate.hh.
Definition at line 39 of file symstate.hh.
Constructor & Destructor Documentation
|
inline |
Definition at line 46 of file symstate.hh.
|
virtual |
Member Function Documentation
|
inline |
return STL-like iterator to go through the container
Definition at line 76 of file symstate.hh.
References heaps_.
|
inline |
return STL-like iterator to go through the container
Definition at line 82 of file symstate.hh.
References heaps_.
|
virtual |
Reimplemented in SymStateMarked.
Referenced by SymStateMarked::clear().
|
inline |
return STL-like iterator to go through the container
Definition at line 79 of file symstate.hh.
References heaps_.
|
inline |
return STL-like iterator to go through the container
Definition at line 85 of file symstate.hh.
References heaps_.
|
inlineprotectedvirtual |
Reimplemented in SymStateMarked.
Definition at line 91 of file symstate.hh.
References heaps_.
Referenced by SymStateMarked::eraseExisting().
|
virtual |
insert given SymHeap object into the state
Reimplemented in SymStateWithJoin.
|
protectedvirtual |
insert new SymHeap that @ must be guaranteed to be not yet in
Reimplemented in SymStateMarked.
Referenced by SymStateMarked::insertNew().
|
pure virtual |
look for the given symbolic heap, return its index if found, -1 otherwise
Implemented in SymHeapUnion, and SymHeapList.
|
inline |
return nth SymHeap object, 0 <= nth < size()
Definition at line 71 of file symstate.hh.
References heaps_.
|
protectedvirtual |
Reimplemented in SymStateMarked.
|
inline |
return count of object stored in the container
Definition at line 68 of file symstate.hh.
References heaps_.
Referenced by SymStateMarked::operator=().
|
inlinevirtual |
|
inlineprotectedvirtual |
Reimplemented in SymStateMarked.
Definition at line 96 of file symstate.hh.
References heaps_, and SymHeap::swap().
Referenced by SymStateMarked::swapExisting().
Friends And Related Function Documentation
|
friend |
lookup/insert optimization in SymCallCache implementation
Definition at line 104 of file symstate.hh.
Field Documentation
|
private |
Definition at line 107 of file symstate.hh.
Referenced by begin(), end(), eraseExisting(), operator[](), size(), swap(), and swapExisting().
The documentation for this class was generated from the following file:
