spot
1.2.1a
|
This class represent a dead store. For now it's just a set but it can be combined with bitstate hasing. More...
#include <fasttgbaalgos/ec/deadstore.hh>
Public Member Functions | |
deadstore () | |
A simple constructor that instanciate a store. More... | |
bool | contains (const fasttgba_state *state) |
check wheter an element is in the store More... | |
void | add (const fasttgba_state *state) |
Add a new element in the store. More... | |
int | size () |
\ brief Return the size of the store. More... | |
This class represent a dead store. For now it's just a set but it can be combined with bitstate hasing.
|
inline |
A simple constructor that instanciate a store.
|
inline |
Add a new element in the store.
References contains().
|
inline |
check wheter an element is in the store
Referenced by add().
|
inline |
\ brief Return the size of the store.