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.