spot
1.2.4
|
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 | |
const power_state & | states_of (int s) const |
const state * | canonicalize (const state *s) |
Public Attributes | |
power_map_data | map_ |
state_set | states |