22 #ifndef SPOT_TGBAALGOS_POWERSET_HH
23 # define SPOT_TGBAALGOS_POWERSET_HH
34 typedef std::set<const state*, state_ptr_less_than>
power_state;
42 state_set::const_iterator i =
states.begin();
55 return map_.find(s)->second;
61 state_set::const_iterator i =
states.find(s);
94 #endif // SPOT_TGBAALGOS_POWERSET_HH