spot
1.1.4
|
#include <tgbaalgos/powerset.hh>
Public Types | |
typedef std::set< const state *, state_ptr_less_than > | power_state |
typedef std::map< int, power_state > | power_map_data |
typedef Sgi::hash_set< const state *, state_ptr_hash, state_ptr_equal > | state_set |
Public Member Functions | |
~power_map () | |
const power_state & | states_of (int s) const |
const state * | canonicalize (const state *s) |
Public Attributes | |
power_map_data | map_ |
state_set | states |
typedef std::map<int, power_state> spot::power_map::power_map_data |
typedef std::set<const state*, state_ptr_less_than> spot::power_map::power_state |
typedef Sgi::hash_set<const state*, state_ptr_hash, state_ptr_equal> spot::power_map::state_set |
|
inline |
References spot::state::destroy(), and states.
References spot::state::destroy(), and states.
|
inline |
References map_.
power_map_data spot::power_map::map_ |
Referenced by states_of().
state_set spot::power_map::states |
Referenced by canonicalize(), and ~power_map().