spot
1.2.1a
|
#include <fasttgbaalgos/lbtt_dfs.hh>
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_state * | next_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 fasttgba * | a_ |
std::stack< const fasttgba_state * > | todo |
A stack of states yet to explore. More... | |
seen_map | seen |
This class display an automaton using lbbt syntax
|
protectedinherited |
A stack of states yet to explore.