spot  2.3.3.dev
Public Member Functions | List of all members
spot::cspins_state_manager Class Referencefinal

The management of states (i.e. allocation/deallocation) can be painless since every time we have to consider wether the state will be compressed or not. This class aims to simplify this management. More...

#include <spot/ltsmin/spins_kripke.hh>

Collaboration diagram for spot::cspins_state_manager:
Collaboration graph

Public Member Functions

 cspins_state_manager (unsigned int state_size, int compress)
 
int * unbox_state (cspins_state s) const
 
cspins_state alloc_setup (int *dst, int *cmp, size_t cmpsize)
 
void decompress (cspins_state s, int *uncompressed, unsigned size) const
 
void dealloc (cspins_state s)
 
unsigned int size () const
 

Detailed Description

The management of states (i.e. allocation/deallocation) can be painless since every time we have to consider wether the state will be compressed or not. This class aims to simplify this management.


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 Apr 18 2017 14:42:57 for spot by doxygen 1.8.13