mcrl2::lts::tree_set_store::bucket Struct Reference

Public Attributes
ptrdiff_t	child_l
ptrdiff_t	child_r
ptrdiff_t	tag
ptrdiff_t	next

Detailed Description

Definition at line 23 of file tree_set.h.

Member Data Documentation

child_l

ptrdiff_t mcrl2::lts::tree_set_store::bucket::child_l

Definition at line 25 of file tree_set.h.

child_r

ptrdiff_t mcrl2::lts::tree_set_store::bucket::child_r

Definition at line 26 of file tree_set.h.

next

ptrdiff_t mcrl2::lts::tree_set_store::bucket::next

Definition at line 28 of file tree_set.h.

tag

ptrdiff_t mcrl2::lts::tree_set_store::bucket::tag

Definition at line 27 of file tree_set.h.

---

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

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