spot 2.12.2
|
Represents a Union-Find element. More...
#include <spot/mc/bloemen_ec.hh>
Public Attributes | |
State | st_kripke |
the kripke state handled by the element More... | |
unsigned | st_prop |
the prop state handled by the element More... | |
acc_cond::mark_t | acc |
acceptance conditions of the union More... | |
std::mutex | acc_mutex_ |
mutex for acceptance condition More... | |
std::atomic< uf_element * > | parent |
reference to the pointer More... | |
std::atomic< unsigned > | worker_ |
The set of worker for a given state. More... | |
std::atomic< uf_element * > | next_ |
next element for work stealing More... | |
std::atomic< uf_status > | uf_status_ |
current status for the element More... | |
std::atomic< list_status > | list_status_ |
Represents a Union-Find element.
acc_cond::mark_t spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::acc |
acceptance conditions of the union
std::mutex spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::acc_mutex_ |
mutex for acceptance condition
std::atomic<uf_element*> spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::next_ |
next element for work stealing
std::atomic<uf_element*> spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::parent |
reference to the pointer
State spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::st_kripke |
the kripke state handled by the element
unsigned spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::st_prop |
the prop state handled by the element
std::atomic<uf_status> spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::uf_status_ |
current status for the element
current status for the list
std::atomic<unsigned> spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::worker_ |
The set of worker for a given state.