spot::cspins_iterator Class Reference

This class provides an iterator over the successors of a state. All successors are computed once when an iterator is recycled or created. More...

#include <spot/ltsmin/spins_kripke.hh>

Collaboration diagram for spot::cspins_iterator:

Classes
struct	cspins_iterator_param
	Arguments bundle passed to construct or recycle a cspins_iterator. More...

Public Member Functions
	cspins_iterator (const cspins_iterator &)=delete
	cspins_iterator (cspins_iterator &)=delete
	cspins_iterator (cspins_iterator_param &p)
	Build an iterator from parameters.
void	recycle (cspins_iterator_param &p)
	Recycle an iterator from parameters.
void	next ()
	Move to the next successor.
bool	done () const
	Whether all successors were visited.
cspins_state	state () const
	Return the current successor state.
cube	condition () const
	Return the current transition condition.

Detailed Description

This class provides an iterator over the successors of a state. All successors are computed once when an iterator is recycled or created.

Note: Two threads will explore successors with two different orders

Constructor & Destructor Documentation

cspins_iterator()

spot::cspins_iterator::cspins_iterator

(

cspins_iterator_param &

p

)

Build an iterator from parameters.

Member Function Documentation

condition()

cube spot::cspins_iterator::condition

(

)

const

Return the current transition condition.

done()

bool spot::cspins_iterator::done

(

)

const

Whether all successors were visited.

next()

void spot::cspins_iterator::next

(

)

Move to the next successor.

recycle()

void spot::cspins_iterator::recycle

(

cspins_iterator_param &

p

)

Recycle an iterator from parameters.

state()

cspins_state spot::cspins_iterator::state

(

)

const

Return the current successor state.

---

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

• spot/ltsmin/spins_kripke.hh