Arguments bundle passed to construct or recycle a cspins_iterator. More...

#include <spot/ltsmin/spins_kripke.hh>

Collaboration diagram for spot::cspins_iterator::cspins_iterator_param:

Public Attributes
cspins_state	s
	Current state.

const spot::spins_interface *	d
	Spins interface.

cspins_state_manager &	manager
	State manager.

inner_callback_parameters &	inner
	Callback arguments.

cube	cond
	Current cube condition.

bool	compress
	Whether compression is used.

bool	selfloopize
	Whether to selfloopize.

spot::cubeset &	cubeset
	Cube set.

int	dead_idx
	Deadlock AP index.

unsigned	tid
	Thread identifier.

Detailed Description

Arguments bundle passed to construct or recycle a cspins_iterator.

Member Data Documentation

◆ compress

bool spot::cspins_iterator::cspins_iterator_param::compress

Whether compression is used.

◆ cond

cube spot::cspins_iterator::cspins_iterator_param::cond

Current cube condition.

◆ cubeset

spot::cubeset& spot::cspins_iterator::cspins_iterator_param::cubeset

Cube set.

◆ d

const spot::spins_interface* spot::cspins_iterator::cspins_iterator_param::d

Spins interface.

◆ dead_idx

int spot::cspins_iterator::cspins_iterator_param::dead_idx

Deadlock AP index.

◆ inner

inner_callback_parameters& spot::cspins_iterator::cspins_iterator_param::inner

Callback arguments.

◆ manager

cspins_state_manager& spot::cspins_iterator::cspins_iterator_param::manager

State manager.

◆ s

cspins_state spot::cspins_iterator::cspins_iterator_param::s

Current state.

◆ selfloopize

bool spot::cspins_iterator::cspins_iterator_param::selfloopize

Whether to selfloopize.

◆ tid

unsigned spot::cspins_iterator::cspins_iterator_param::tid

Thread identifier.

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

spot/ltsmin/spins_kripke.hh

Public Attributes