spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | List of all members
spot::deadstore Class Reference

This class represent a dead store. For now it's just a set but it can be combined with bitstate hasing. More...

#include <fasttgbaalgos/ec/deadstore.hh>

Collaboration diagram for spot::deadstore:
Collaboration graph

Public Member Functions

 deadstore ()
 A simple constructor that instanciate a store. More...
 
bool contains (const fasttgba_state *state)
 check wheter an element is in the store More...
 
void add (const fasttgba_state *state)
 Add a new element in the store. More...
 
int size ()
 \ brief Return the size of the store. More...
 

Detailed Description

This class represent a dead store. For now it's just a set but it can be combined with bitstate hasing.

Constructor & Destructor Documentation

spot::deadstore::deadstore ( )
inline

A simple constructor that instanciate a store.

Member Function Documentation

void spot::deadstore::add ( const fasttgba_state state)
inline

Add a new element in the store.

References contains().

bool spot::deadstore::contains ( const fasttgba_state state)
inline

check wheter an element is in the store

Referenced by add().

int spot::deadstore::size ( )
inline

\ brief Return the size of the store.


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 Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5