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