19 #ifndef SPOT_FASTTGBAALGOS_EC_CONCUR_SHAREDHASHTABLE_HH
20 # define SPOT_FASTTGBAALGOS_EC_CONCUR_SHAREDHASHTABLE_HH
22 #include "fasttgba/fasttgba.hh"
34 #include "fasttgbaalgos/ec/concur/hashtable.h"
57 (void) thread_number_;
58 effective_table_ = ht_alloc(&DATATYPE_INT_PTRINT, INIT_SCALE);
67 ht_print(effective_table_,
true);
70 ht_free(effective_table_);
83 old = ht_cas_empty (effective_table_, (map_key_t)key,
84 (map_val_t)Alive_state, &clone, (
void*)NULL);
88 if (old == DOES_NOT_EXIST)
94 return (
const fasttgba_state*)
clone;
97 void mark_dead(
const fasttgba_state* )
105 bool is_dead(
const fasttgba_state* key)
107 if (ht_get(effective_table_, (map_key_t) key) == DOES_NOT_EXIST)
133 hashtable_t *effective_table_;
134 std::atomic<int> size_;
137 #endif // SPOT_FASTTGBAALGOS_EC_CONCUR_SHAREDHASHTABLE_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
SPOT_API SPOT_DEPRECATED const formula * clone(const formula *f) __attribute__((deprecated))
Clone a formula.
virtual ~sharedhashtable()
Basic destructor.
Definition: sharedhashtable.hh:62
sharedhashtable(int thread_number)
Constructor.
Definition: sharedhashtable.hh:55
Definition: sharedhashtable.hh:45