spot 2.12.2
|
This is the complete list of members for spot::cspins_state_manager, including all inherited members.
alloc_setup(int *dst, int *cmp, size_t cmpsize) | spot::cspins_state_manager | |
cspins_state_manager(unsigned int state_size, int compress) | spot::cspins_state_manager | |
dealloc(cspins_state s) | spot::cspins_state_manager | |
decompress(cspins_state s, int *uncompressed, unsigned size) const | spot::cspins_state_manager | |
size() const | spot::cspins_state_manager | |
unbox_state(cspins_state s) const | spot::cspins_state_manager |