24 #ifndef SPOT_TGBAALGOS_POWERSET_HH
25 # define SPOT_TGBAALGOS_POWERSET_HH
36 typedef std::set<const state*, state_ptr_less_than>
power_state;
44 state_set::const_iterator i =
states.begin();
57 return map_.find(s)->second;
63 state_set::const_iterator i =
states.find(s);
96 #endif // SPOT_TGBAALGOS_POWERSET_HH