bucket2 Struct Reference

#include <sim_hashtable.h>

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

Detailed Description

Definition at line 27 of file sim_hashtable.h.

Member Data Documentation

next

std::size_t bucket2::next

Definition at line 30 of file sim_hashtable.h.

x

std::size_t bucket2::x

Definition at line 29 of file sim_hashtable.h.

y

std::size_t bucket2::y

Definition at line 29 of file sim_hashtable.h.

---

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

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