spot::inner_callback_parameters Struct Reference

Parameters passed to callbacks when generating successor states from the shared library produced by LTSmin. More...

#include <spot/ltsmin/spins_kripke.hh>

Collaboration diagram for spot::inner_callback_parameters:

Public Attributes
cspins_state_manager *	manager
	State manager.
std::vector< cspins_state > *	succ
	Successors of a state.
int *	compressed
	Buffer for compressed states.
int *	uncompressed
	Buffer for uncompressed states.
bool	compress
	Whether compression is used.
bool	selfloopize
	Whether to selfloopize.

Detailed Description

Parameters passed to callbacks when generating successor states from the shared library produced by LTSmin.

Member Data Documentation

compress

bool spot::inner_callback_parameters::compress

Whether compression is used.

compressed

int* spot::inner_callback_parameters::compressed

Buffer for compressed states.

manager

cspins_state_manager* spot::inner_callback_parameters::manager

State manager.

selfloopize

bool spot::inner_callback_parameters::selfloopize

Whether to selfloopize.

succ

std::vector<cspins_state>* spot::inner_callback_parameters::succ

Successors of a state.

uncompressed

int* spot::inner_callback_parameters::uncompressed

Buffer for uncompressed states.

---

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

• spot/ltsmin/spins_kripke.hh