bucket3 Struct Reference

#include <sim_hashtable.h>

Public Attributes
std::size_t	x
std::size_t	y
std::size_t	z
std::size_t	next

Detailed Description

Definition at line 33 of file sim_hashtable.h.

Member Data Documentation

next

std::size_t bucket3::next

Definition at line 36 of file sim_hashtable.h.

x

std::size_t bucket3::x

Definition at line 35 of file sim_hashtable.h.

y

std::size_t bucket3::y

Definition at line 35 of file sim_hashtable.h.

z

std::size_t bucket3::z

Definition at line 35 of file sim_hashtable.h.

---

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

• lts/include/mcrl2/lts/detail/sim_hashtable.h