mCRL2
Loading...
Searching...
No Matches
sim_hashtable.h File Reference

Header file for hash table data structure used by the simulation preorder algorithm. More...

Go to the source code of this file.

Classes

struct  bucket2
 
struct  bucket3
 
class  hash_table2
 
class  hash_table2_iterator
 
class  hash_table3
 
class  hash_table3_iterator
 

Detailed Description

Header file for hash table data structure used by the simulation preorder algorithm.

Definition in file sim_hashtable.h.