23 #ifndef SPOT_TGBAALGOS_POWERSET_HH
24 # define SPOT_TGBAALGOS_POWERSET_HH
28 # include "tgba/tgbaexplicit.hh"
35 typedef std::set<const state*, state_ptr_less_than> power_state;
36 typedef std::map<int, power_state> power_map_data;
43 state_set::const_iterator i = states.begin();
44 while (i != states.end())
54 states_of(
int s)
const
56 return map_.find(s)->second;
60 canonicalize(
const state* s)
62 state_set::const_iterator i = states.find(s);
63 if (i != states.end())
135 tba_determinize(
const tgba* aut,
136 unsigned threshold_states = 0,
137 unsigned threshold_cycles = 0);
167 tba_determinize_check(
const tgba* aut,
168 unsigned threshold_states = 0,
169 unsigned threshold_cycles = 0,
171 const tgba* neg_aut = 0);
175 #endif // SPOT_TGBAALGOS_POWERSET_HH