spot::ta_reachable_iterator Class Reference

Iterate over all reachable states of a spot::ta. More...

#include <spot/taalgos/reachiter.hh>

Inheritance diagram for spot::ta_reachable_iterator:

Collaboration diagram for spot::ta_reachable_iterator:

Public Member Functions
	ta_reachable_iterator (const const_ta_ptr &a)
void	run ()
	Iterate over all reachable states of a spot::ta. More...
virtual bool	want_state (const state *s) const
virtual void	start ()
	Called by run() before starting its iteration. More...
virtual void	end ()
	Called by run() once all states have been explored. More...
virtual void	process_state (const state *s, int n)
virtual void	process_link (int in, int out, const ta_succ_iterator *si)
Todo list management.
Called by run() to register newly discovered states. spot::ta_reachable_iterator_depth_first and spot::ta_reachable_iterator_breadth_first offer two precanned implementations for these functions.
virtual void	add_state (const state *s)=0
	Called by run() to obtain the next state to process. More...
virtual const state *	next_state ()=0
	Called by run() to obtain the next state to process. More...

Protected Attributes
const_ta_ptr	t_automata_
	The spot::ta to explore. More...
state_map< int >	seen
	States already seen. More...

Detailed Description

Iterate over all reachable states of a spot::ta.

Member Function Documentation

add_state()

virtual void spot::ta_reachable_iterator::add_state ( const state *  s )

pure virtual

Called by run() to obtain the next state to process.

Implemented in spot::ta_reachable_iterator_breadth_first, and spot::ta_reachable_iterator_depth_first.

end()

virtual void spot::ta_reachable_iterator::end ( )

virtual

Called by run() once all states have been explored.

next_state()

virtual const state* spot::ta_reachable_iterator::next_state ( )

pure virtual

Called by run() to obtain the next state to process.

Implemented in spot::ta_reachable_iterator_breadth_first, and spot::ta_reachable_iterator_depth_first.

process_link()

virtual void spot::ta_reachable_iterator::process_link ( int  in, int  out, const ta_succ_iterator *  si  )

virtual

Called by run() to process a transition.

Parameters

in	The source state number.
out	The destination state number.
si	The spot::twa_succ_iterator positionned on the current transition.

process_state()

virtual void spot::ta_reachable_iterator::process_state ( const state *  s, int  n  )

virtual

Called by run() to process a state.

Parameters

s	The current state.
n	A unique number assigned to s.

run()

void spot::ta_reachable_iterator::run

(

)

Iterate over all reachable states of a spot::ta.

This is a template method that will call add_state(), next_state(), start(), end(), process_state(), and process_link(), while it iterates over states.

start()

virtual void spot::ta_reachable_iterator::start ( )

virtual

Called by run() before starting its iteration.

want_state()

virtual bool spot::ta_reachable_iterator::want_state ( const state *  s ) const

virtual

Called by add_state or next_states implementations to filter states. Default implementation always return true.

Member Data Documentation

seen

state_map<int> spot::ta_reachable_iterator::seen

protected

States already seen.

t_automata_

const_ta_ptr spot::ta_reachable_iterator::t_automata_

protected

The spot::ta to explore.

---

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

• spot/taalgos/reachiter.hh