spot::iterable_uf< State, StateHash, StateEqual >::uf_element Struct Reference

Represents a Union-Find element. More...

#include <spot/mc/bloemen.hh>

Collaboration diagram for spot::iterable_uf< State, StateHash, StateEqual >::uf_element:

Public Attributes
State	st_
	the state handled by the element
std::atomic< uf_element * >	parent
	reference to the pointer
std::atomic< unsigned >	worker_
	The set of worker for a given state.
std::atomic< uf_element * >	next_
	next element for work stealing
std::atomic< uf_status >	uf_status_
	current status for the element
std::atomic< list_status >	list_status_

Detailed Description

template<typename State, typename StateHash, typename StateEqual>
struct spot::iterable_uf< State, StateHash, StateEqual >::uf_element

Represents a Union-Find element.

Member Data Documentation

next_

template<typename State , typename StateHash , typename StateEqual >

std::atomic<uf_element*> spot::iterable_uf< State, StateHash, StateEqual >::uf_element::next_

next element for work stealing

parent

template<typename State , typename StateHash , typename StateEqual >

std::atomic<uf_element*> spot::iterable_uf< State, StateHash, StateEqual >::uf_element::parent

reference to the pointer

st_

template<typename State , typename StateHash , typename StateEqual >

State spot::iterable_uf< State, StateHash, StateEqual >::uf_element::st_

the state handled by the element

uf_status_

template<typename State , typename StateHash , typename StateEqual >

std::atomic<uf_status> spot::iterable_uf< State, StateHash, StateEqual >::uf_element::uf_status_

current status for the element

current status for the list

worker_

template<typename State , typename StateHash , typename StateEqual >

std::atomic<unsigned> spot::iterable_uf< State, StateHash, StateEqual >::uf_element::worker_

The set of worker for a given state.

---

The documentation for this struct was generated from the following file:

• spot/mc/bloemen.hh