spot  1.2.1a
Public Types | Public Member Functions | List of all members
spot::sharedhashtable Class Reference
Collaboration diagram for spot::sharedhashtable:
Collaboration graph

Public Types

enum  sharedvalues { Alive_state = 1, Dead_state = 2 }
 

Public Member Functions

 sharedhashtable (int thread_number)
 Constructor. More...
 
virtual ~sharedhashtable ()
 Basic destructor. More...
 
const fasttgba_statefind_or_put (const fasttgba_state *key)
 
void mark_dead (const fasttgba_state *)
 
bool is_dead (const fasttgba_state *key)
 
int size ()
 

Constructor & Destructor Documentation

spot::sharedhashtable::sharedhashtable ( int  thread_number)
inline

Constructor.

virtual spot::sharedhashtable::~sharedhashtable ( )
inlinevirtual

Basic destructor.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Jun 5 2015 11:31:20 for spot by doxygen 1.8.9.1