spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher Struct Reference

Hasher for union-find elements. More...

#include <spot/mc/bloemen_ec.hh>

Collaboration diagram for spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher:

Public Member Functions
	uf_element_hasher (const uf_element *)
	Constructor from element pointer.
	uf_element_hasher ()=default
	Default constructor.
brick::hash::hash128_t	hash (const uf_element *lhs) const
	Compute hash of element.
bool	equal (const uf_element *lhs, const uf_element *rhs) const
	Check equality of elements.

Detailed Description

template<typename State, typename StateHash, typename StateEqual>
struct spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher

Hasher for union-find elements.

Constructor & Destructor Documentation

uf_element_hasher() [1/2]

template<typename State , typename StateHash , typename StateEqual >

spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher::uf_element_hasher ( const uf_element *  )

inline

Constructor from element pointer.

uf_element_hasher() [2/2]

template<typename State , typename StateHash , typename StateEqual >

spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher::uf_element_hasher ( )

default

Default constructor.

Member Function Documentation

equal()

template<typename State , typename StateHash , typename StateEqual >

bool spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher::equal ( const uf_element *  lhs, const uf_element *  rhs  ) const

inline

Check equality of elements.

References spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher::equal(), spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::st_kripke, and spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::st_prop.

Referenced by spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher::equal().

hash()

template<typename State , typename StateHash , typename StateEqual >

brick::hash::hash128_t spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher::hash ( const uf_element *  lhs ) const

inline

Compute hash of element.

References spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher::hash(), spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::st_kripke, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element::st_prop, and spot::wang32_hash().

Referenced by spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher::hash().

---

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

• spot/mc/bloemen_ec.hh