spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Protected Types | Protected Attributes | List of all members
spot::generic_dfs Class Referenceabstract
Inheritance diagram for spot::generic_dfs:
Inheritance graph
Collaboration diagram for spot::generic_dfs:
Collaboration graph

Public Member Functions

 generic_dfs (const fasttgba *a)
 
void run ()
 
virtual void add_state (const fasttgba_state *s)
 
virtual const fasttgba_statenext_state ()
 
virtual bool want_state (const fasttgba_state *s) const =0
 
virtual void start ()=0
 
virtual void end ()=0
 
virtual void process_state (const fasttgba_state *s, int n, fasttgba_succ_iterator *si)=0
 
virtual void process_link (const fasttgba_state *in_s, int in, const fasttgba_state *out_s, int out, const fasttgba_succ_iterator *si)=0
 

Protected Types

typedef Sgi::hash_map< const
fasttgba_state *, int,
fasttgba_state_ptr_hash,
fasttgba_state_ptr_equal
seen_map
 

Protected Attributes

const fasttgbaa_
 
std::stack< const
fasttgba_state * > 
todo
 A stack of states yet to explore. More...
 
seen_map seen
 

Member Data Documentation

std::stack<const fasttgba_state*> spot::generic_dfs::todo
protected

A stack of states yet to explore.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5