20 #ifndef SPOT_TGBA_FUTURECONDCOL_HH
21 # define SPOT_TGBA_FUTURECONDCOL_HH
40 typedef scc_map::cond_set cond_set;
41 typedef std::vector<cond_set> fc_map;
52 const cond_set& future_conditions(
const spot::state* s)
const;
59 virtual std::string format_state(
const state*
state)
const;
62 void map_builder_(
unsigned s);
70 #endif // SPOT_TGBA_FUTURECONDCOL_HH
Wrap a tgba to offer information about strongly connected components.
Definition: tgbascc.hh:35
Abstract class for states.
Definition: state.hh:40
Wrap a tgba to offer information about upcoming conditions.
Definition: futurecondcol.hh:37
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67