#include "tgba/state.hh"
#include "misc/hash.hh"
Include dependency graph for nsheap.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
namespace | spot |
Classes | |
class | spot::numbered_state_heap_const_iterator |
Iterator on numbered_state_heap objects. More... | |
class | spot::numbered_state_heap |
Keep track of a large quantity of indexed states. More... | |
class | spot::numbered_state_heap_factory |
Abstract factory for numbered_state_heap. More... | |
class | spot::numbered_state_heap_hash_map |
A straightforward implementation of numbered_state_heap with a hash map. More... | |
class | spot::numbered_state_heap_hash_map_factory |
Factory for numbered_state_heap_hash_map. More... |