19 #ifndef SPOT_FASTTGBAALGOS_EC_DEADSTORE_HH
20 # define SPOT_FASTTGBAALGOS_EC_DEADSTORE_HH
23 #include "misc/hash.hh"
24 #include "fasttgba/fasttgba.hh"
25 #include "boost/tuple/tuple.hpp"
32 #include <unordered_set>
54 while (it != store.end())
56 const fasttgba_state* ptr = *it;
66 return store.find (state) != store.end();
84 std::unordered_set<
const fasttgba_state*,
85 fasttgba_state_ptr_hash,
89 #endif // SPOT_FASTTGBAALGOS_EC_DEASSTORE_HH
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
Abstract class for states.
Definition: state.hh:40
int size()
\ brief Return the size of the store.
Definition: deadstore.hh:77
void add(const fasttgba_state *state)
Add a new element in the store.
Definition: deadstore.hh:70
bool contains(const fasttgba_state *state)
check wheter an element is in the store
Definition: deadstore.hh:64
deadstore()
A simple constructor that instanciate a store.
Definition: deadstore.hh:45
Definition: fasttgba_state.hh:76
This class represent a dead store. For now it's just a set but it can be combined with bitstate hasin...
Definition: deadstore.hh:41
Definition: fasttgba_state.hh:88
virtual void destroy() const
Release a state.
Definition: fasttgba_state.hh:60