std::hash< spot::formula > Struct Reference

Hash specialization for spot::formula using its unique identifier. More...

#include <spot/tl/formula.hh>

Collaboration diagram for std::hash< spot::formula >:

Public Member Functions
size_t	operator() (const spot::formula &x) const noexcept
	Compute hash of a formula using its unique identifier.

Detailed Description

Hash specialization for spot::formula using its unique identifier.

Member Function Documentation

operator()()

size_t std::hash< spot::formula >::operator() ( const spot::formula &  x ) const

inlinenoexcept

Compute hash of a formula using its unique identifier.

---

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

• spot/tl/formula.hh