|
spot
2.3.3.dev
|
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>

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 |
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.
1.8.13