19 #ifndef SPOT_FASTTGBAALGOS_EC_TARJAN_SCC_HH
20 # define SPOT_FASTTGBAALGOS_EC_TARJAN_SCC_HH
26 #include "misc/hash.hh"
28 #include "boost/tuple/tuple.hpp"
30 #include "fasttgba/fasttgba.hh"
32 #include "deadstore.hh"
57 std::string extra_info_csv();
77 enum color {Alive, Dead, Unknown};
84 long unsigned int position;
88 std::vector<pair_state_iter>
todo;
93 typedef std::vector<stack_entry> dstack_type;
101 bool counterexample_found;
109 std::vector<const spot::fasttgba_state*> live;
118 unsigned int dfs_size_;
119 unsigned int max_live_size_;
120 unsigned int max_dfs_size_;
122 int roots_poped_cpt_;
124 int transitions_cpt_;
130 #endif // SPOT_FASTTGBAALGOS_EC_TARJAN_SCC_HH
Definition: tarjan_scc.hh:90
Definition: fasttgba.hh:33
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
Abstract class for states.
Definition: state.hh:40
Definition: tarjan_scc.hh:80
A simple wrapper for an automaton.
Definition: ec.hh:40
Definition: tarjan_scc.hh:36
color
The color for a new State.
Definition: tarjan_scc.hh:77
Iterate over the successors of a state.
Definition: fasttgba_succ_iterator.hh:35
Definition: fasttgba_state.hh:76
This class represent a dead store. For now it's just a set but it can be combined with bitstate hasin...
Definition: deadstore.hh:41
Definition: fasttgba_state.hh:88
std::vector< pair_state_iter > todo
the todo stack
Definition: tarjan_scc.hh:88