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::lbtt_dfs Class Reference

#include <fasttgbaalgos/lbtt_dfs.hh>

Inheritance diagram for spot::lbtt_dfs:
Inheritance graph
Collaboration diagram for spot::lbtt_dfs:
Collaboration graph

Public Member Functions

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

Protected Types

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

Protected Attributes

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

Detailed Description

This class display an automaton using lbbt syntax

Member Data Documentation

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

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