|
spot
1.2.6
|

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 |
1.8.4