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:

Public Member Functions
	cspins_state_manager (unsigned int state_size, int compress)
	Build a manager for a state of state_size variables and indicate wether compression should be used: More...

int *	unbox_state (cspins_state s) const
	Get Rid of the internal representation of the state. More...

cspins_state	alloc_setup (int dst, int cmp, size_t cmpsize)
	Builder for a state from a raw description given in dst. More...

void	decompress (cspins_state s, int *uncompressed, unsigned size) const
	Helper to decompress a state. More...

void	dealloc (cspins_state s)
	Help the manager to reclam the memory of a state. More...

unsigned int	size () const
	The size of a state. More...

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.

Constructor & Destructor Documentation

◆ cspins_state_manager()

spot::cspins_state_manager::cspins_state_manager	(	unsigned int	state_size,
		int	compress
	)

Build a manager for a state of state_size variables and indicate wether compression should be used:

1 for handle large models
2 (faster) assume all values in [0 .. 2^28-1]

Member Function Documentation

◆ alloc_setup()

cspins_state spot::cspins_state_manager::alloc_setup	(	int *	dst,
		int *	cmp,
		size_t	cmpsize
	)

Builder for a state from a raw description given in dst.

cmp is the area we can use to compute the compressed representatation of dst. cmpsize the size of the previous area

◆ dealloc()

void spot::cspins_state_manager::dealloc ( cspins_state s )

Help the manager to reclam the memory of a state.

◆ decompress()

void spot::cspins_state_manager::decompress	(	cspins_state	s,
		int *	uncompressed,
		unsigned	size
	)		const

Helper to decompress a state.

◆ size()

unsigned int spot::cspins_state_manager::size ( ) const

The size of a state.

◆ unbox_state()

int * spot::cspins_state_manager::unbox_state ( cspins_state s ) const

Get Rid of the internal representation of the state.

The documentation for this class was generated from the following file:

spot/ltsmin/spins_kripke.hh

Public Member Functions