mCRL2
Loading...
Searching...
No Matches
Classes | Public Member Functions | Private Member Functions | Private Attributes | List of all members
mcrl2::lts::tree_set_store Class Reference

#include <tree_set.h>

Classes

struct  bucket
 

Public Member Functions

 tree_set_store ()
 
 ~tree_set_store ()
 
ptrdiff_t create_set (std::vector< ptrdiff_t > &elems)
 
ptrdiff_t get_next_tag ()
 
ptrdiff_t get_set (ptrdiff_t tag)
 
ptrdiff_t get_set_child_left (ptrdiff_t set)
 
ptrdiff_t get_set_child_right (ptrdiff_t set)
 
ptrdiff_t get_set_size (ptrdiff_t set)
 
bool is_set_empty (ptrdiff_t set)
 
ptrdiff_t set_set_tag (ptrdiff_t set)
 

Private Member Functions

void check_tags ()
 
void check_buckets ()
 
ptrdiff_t find_set (ptrdiff_t child_l, ptrdiff_t child_r)
 
ptrdiff_t build_set (ptrdiff_t child_l, ptrdiff_t child_r)
 

Private Attributes

bucket * buckets
 
ptrdiff_t buckets_size
 
ptrdiff_t buckets_next
 
ptrdiff_t * tags
 
ptrdiff_t tags_size
 
ptrdiff_t tags_next
 
ptrdiff_t * hashtable
 
ptrdiff_t hashmask
 

Detailed Description

Definition at line 20 of file tree_set.h.

Constructor & Destructor Documentation

◆ tree_set_store()

mcrl2::lts::tree_set_store::tree_set_store ( )

Definition at line 30 of file tree_set.cpp.

◆ ~tree_set_store()

mcrl2::lts::tree_set_store::~tree_set_store ( )

Definition at line 52 of file tree_set.cpp.

Member Function Documentation

◆ build_set()

ptrdiff_t mcrl2::lts::tree_set_store::build_set ( ptrdiff_t  child_l,
ptrdiff_t  child_r 
)
private

Definition at line 114 of file tree_set.cpp.

◆ check_buckets()

void mcrl2::lts::tree_set_store::check_buckets ( )
private

Definition at line 81 of file tree_set.cpp.

◆ check_tags()

void mcrl2::lts::tree_set_store::check_tags ( )
private

Definition at line 68 of file tree_set.cpp.

◆ create_set()

ptrdiff_t mcrl2::lts::tree_set_store::create_set ( std::vector< ptrdiff_t > &  elems)

Definition at line 139 of file tree_set.cpp.

◆ find_set()

ptrdiff_t mcrl2::lts::tree_set_store::find_set ( ptrdiff_t  child_l,
ptrdiff_t  child_r 
)
private

Definition at line 126 of file tree_set.cpp.

◆ get_next_tag()

ptrdiff_t mcrl2::lts::tree_set_store::get_next_tag ( )

Definition at line 175 of file tree_set.cpp.

◆ get_set()

ptrdiff_t mcrl2::lts::tree_set_store::get_set ( ptrdiff_t  tag)

Definition at line 180 of file tree_set.cpp.

◆ get_set_child_left()

ptrdiff_t mcrl2::lts::tree_set_store::get_set_child_left ( ptrdiff_t  set)

Definition at line 185 of file tree_set.cpp.

◆ get_set_child_right()

ptrdiff_t mcrl2::lts::tree_set_store::get_set_child_right ( ptrdiff_t  set)

Definition at line 190 of file tree_set.cpp.

◆ get_set_size()

ptrdiff_t mcrl2::lts::tree_set_store::get_set_size ( ptrdiff_t  set)

Definition at line 195 of file tree_set.cpp.

◆ is_set_empty()

bool mcrl2::lts::tree_set_store::is_set_empty ( ptrdiff_t  set)

Definition at line 205 of file tree_set.cpp.

◆ set_set_tag()

ptrdiff_t mcrl2::lts::tree_set_store::set_set_tag ( ptrdiff_t  set)

Definition at line 210 of file tree_set.cpp.

Member Data Documentation

◆ buckets

bucket* mcrl2::lts::tree_set_store::buckets
private

Definition at line 30 of file tree_set.h.

◆ buckets_next

ptrdiff_t mcrl2::lts::tree_set_store::buckets_next
private

Definition at line 32 of file tree_set.h.

◆ buckets_size

ptrdiff_t mcrl2::lts::tree_set_store::buckets_size
private

Definition at line 31 of file tree_set.h.

◆ hashmask

ptrdiff_t mcrl2::lts::tree_set_store::hashmask
private

Definition at line 39 of file tree_set.h.

◆ hashtable

ptrdiff_t* mcrl2::lts::tree_set_store::hashtable
private

Definition at line 38 of file tree_set.h.

◆ tags

ptrdiff_t* mcrl2::lts::tree_set_store::tags
private

Definition at line 34 of file tree_set.h.

◆ tags_next

ptrdiff_t mcrl2::lts::tree_set_store::tags_next
private

Definition at line 36 of file tree_set.h.

◆ tags_size

ptrdiff_t mcrl2::lts::tree_set_store::tags_size
private

Definition at line 35 of file tree_set.h.

The documentation for this class was generated from the following files: