spot
0.8.3
|
#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 |
spot::power_map::~power_map | ( | ) | [inline] |
References spot::state::destroy(), and states.
const state* spot::power_map::canonicalize | ( | const state * | s | ) | [inline] |
References spot::state::destroy(), and states.
const power_state& spot::power_map::states_of | ( | int | s | ) | const [inline] |
References map_.
Referenced by states_of().
Referenced by canonicalize(), and ~power_map().