Predator
[unstable] git snapshot
|
#include <symstate.hh>
Public Types | |
typedef TList::const_iterator | const_iterator |
typedef TList::iterator | iterator |
Public Member Functions | |
SymHeapList () | |
SymHeapList (const SymState &ref) | |
SymHeapList & | operator= (const SymState &ref) |
virtual int | lookup (const SymHeap &) const |
look for the given symbolic heap, return its index if found, -1 otherwise | |
virtual void | clear () |
virtual void | swap (SymState &other) |
virtual bool | insert (const SymHeap &sh, bool allowThreeWay=true) |
insert given SymHeap object into the state | |
size_t | size () const |
return count of object stored in the container | |
const SymHeap & | operator[] (int nth) const |
return nth SymHeap object, 0 <= nth < size() | |
const_iterator | begin () const |
return STL-like iterator to go through the container | |
iterator | begin () |
return STL-like iterator to go through the container | |
const_iterator | end () const |
return STL-like iterator to go through the container | |
iterator | end () |
return STL-like iterator to go through the container |
Protected Member Functions | |
virtual void | insertNew (const SymHeap &sh) |
insert new SymHeap that @ must be guaranteed to be not yet in | |
virtual void | eraseExisting (int nth) |
virtual void | swapExisting (int nth, SymHeap &sh) |
virtual void | rotateExisting (int idxA, int idxB) |
void | updateTraceOf (int idx, Trace::Node *tr, EJoinStatus status) |
Definition at line 113 of file symstate.hh.
|
inherited |
Definition at line 43 of file symstate.hh.
|
inherited |
Definition at line 44 of file symstate.hh.
|
inline |
Definition at line 115 of file symstate.hh.
|
inline |
Definition at line 117 of file symstate.hh.
|
inlineinherited |
return STL-like iterator to go through the container
Definition at line 77 of file symstate.hh.
References SymState::heaps_.
|
inlineinherited |
return STL-like iterator to go through the container
Definition at line 83 of file symstate.hh.
References SymState::heaps_.
|
virtualinherited |
Reimplemented in SymStateMarked.
|
inlineinherited |
return STL-like iterator to go through the container
Definition at line 80 of file symstate.hh.
References SymState::heaps_.
|
inlineinherited |
return STL-like iterator to go through the container
Definition at line 86 of file symstate.hh.
References SymState::heaps_.
|
inlineprotectedvirtualinherited |
Reimplemented in SymStateMarked.
Definition at line 92 of file symstate.hh.
References SymState::heaps_.
|
virtualinherited |
insert given SymHeap object into the state
Reimplemented in SymStateWithJoin.
|
protectedvirtualinherited |
insert new SymHeap that @ must be guaranteed to be not yet in
Reimplemented in SymStateMarked.
|
inlinevirtual |
look for the given symbolic heap, return its index if found, -1 otherwise
Implements SymState.
Definition at line 130 of file symstate.hh.
|
inline |
Reimplemented from SymState.
Definition at line 123 of file symstate.hh.
|
inlineinherited |
return nth SymHeap object, 0 <= nth < size()
Definition at line 72 of file symstate.hh.
References SymState::heaps_.
|
protectedvirtualinherited |
Reimplemented in SymStateMarked.
|
inlineinherited |
return count of object stored in the container
Definition at line 69 of file symstate.hh.
References SymState::heaps_.
Referenced by SymStateMarked::operator=().
|
inlinevirtualinherited |
Reimplemented in SymStateMarked.
Definition at line 55 of file symstate.hh.
References SymState::heaps_.
|
inlineprotectedvirtualinherited |
Reimplemented in SymStateMarked.
Definition at line 97 of file symstate.hh.
References SymState::heaps_, and SymHeap::swap().
|
protectedinherited |