spot::power_map Struct Reference

Collaboration diagram for spot::power_map:

Public Types
typedef std::set< unsigned >	power_state

Public Member Functions
const power_state &	states_of (unsigned s) const

Public Attributes
std::vector< power_state >	map_

---

The documentation for this struct was generated from the following file:

• spot/twaalgos/powerset.hh