No Matches
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: