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. More...
void	recycle (cspins_iterator_param &p)
	Recycle an iterator from parameters. More...
void	next ()
	Move to the next successor. More...
bool	done () const
	Whether all successors were visited. More...
cspins_state	state () const
	Return the current successor state. More...
cube	condition () const
	Return the current transition condition. More...

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