spot  2.3.3.dev
spot::cspins_state_manager Member List

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) (defined in spot::cspins_state_manager)spot::cspins_state_manager
cspins_state_manager(unsigned int state_size, int compress) (defined in spot::cspins_state_manager)spot::cspins_state_manager
dealloc(cspins_state s) (defined in spot::cspins_state_manager)spot::cspins_state_manager
decompress(cspins_state s, int *uncompressed, unsigned size) const (defined in spot::cspins_state_manager)spot::cspins_state_manager
size() const (defined in spot::cspins_state_manager)spot::cspins_state_manager
unbox_state(cspins_state s) const (defined in spot::cspins_state_manager)spot::cspins_state_manager

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