spot  1.0
Public Member Functions | Protected Types | Protected Attributes | List of all members
spot::evtgba_reachable_iterator_depth_first Class Reference

An implementation of spot::evtgba_reachable_iterator that browses states depth first. More...

#include <evtgbaalgos/reachiter.hh>

Inheritance diagram for spot::evtgba_reachable_iterator_depth_first:
Inheritance graph
Collaboration diagram for spot::evtgba_reachable_iterator_depth_first:
Collaboration graph

Public Member Functions

 evtgba_reachable_iterator_depth_first (const evtgba *a)
virtual void add_state (const state *s)
virtual const statenext_state ()
 Called by run() to obtain the.
void run ()
 Iterate over all reachable states of a spot::evtgba.
virtual void start (int n)
 Called by run() before starting its iteration.
virtual void end ()
 Called by run() once all states have been explored.
virtual void process_state (const state *s, int n, evtgba_iterator *si)
virtual void process_link (int in, int out, const evtgba_iterator *si)

Protected Types

typedef Sgi::hash_map< const
state *, int, state_ptr_hash,
state_ptr_equal
seen_map

Protected Attributes

std::stack< const state * > todo
 A stack of states yet to explore.
const evtgbaautomata_
 The spot::evtgba to explore.
seen_map seen
 States already seen.

Detailed Description

An implementation of spot::evtgba_reachable_iterator that browses states depth first.

Member Typedef Documentation

Constructor & Destructor Documentation

spot::evtgba_reachable_iterator_depth_first::evtgba_reachable_iterator_depth_first ( const evtgba a)

Member Function Documentation

virtual void spot::evtgba_reachable_iterator_depth_first::add_state ( const state s)
virtual
virtual void spot::evtgba_reachable_iterator::end ( )
virtualinherited

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

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

Called by run() to obtain the.

Implements spot::evtgba_reachable_iterator.

virtual void spot::evtgba_reachable_iterator::process_link ( int  in,
int  out,
const evtgba_iterator si 
)
virtualinherited

Called by run() to process a transition.

Parameters
inThe source state number.
outThe destination state number.
siThe spot::evtgba_iterator positionned on the current transition.
virtual void spot::evtgba_reachable_iterator::process_state ( const state s,
int  n,
evtgba_iterator si 
)
virtualinherited

Called by run() to process a state.

Parameters
sThe current state.
nAn unique number assigned to s.
siThe spot::evtgba_iterator for s.
void spot::evtgba_reachable_iterator::run ( )
inherited

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

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

virtual void spot::evtgba_reachable_iterator::start ( int  n)
virtualinherited

Called by run() before starting its iteration.

Parameters
nThe number of initial states.

Member Data Documentation

const evtgba* spot::evtgba_reachable_iterator::automata_
protectedinherited

The spot::evtgba to explore.

seen_map spot::evtgba_reachable_iterator::seen
protectedinherited

States already seen.

std::stack<const state*> spot::evtgba_reachable_iterator_depth_first::todo
protected

A stack of states yet to explore.


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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2