spot::numbered_state_heap_hash_map_factory Class Reference

Factory for numbered_state_heap_hash_map. More...

#include <tgbaalgos/gtec/nsheap.hh>

Inheritance diagram for spot::numbered_state_heap_hash_map_factory:

[legend]Collaboration diagram for spot::numbered_state_heap_hash_map_factory:

[legend]List of all members.

Public Member Functions
virtual numbered_state_heap_hash_map *	build () const
Static Public Member Functions
static const numbered_state_heap_hash_map_factory *	instance ()
	Get the unique instance of this class.
Protected Member Functions
virtual	~numbered_state_heap_hash_map_factory ()
	numbered_state_heap_hash_map_factory ()

---

Detailed Description

Factory for numbered_state_heap_hash_map.

This class is a singleton. Retrieve the instance using instance().

---

Constructor & Destructor Documentation

virtual spot::numbered_state_heap_hash_map_factory::~numbered_state_heap_hash_map_factory

(

)

[inline, protected, virtual]

spot::numbered_state_heap_hash_map_factory::numbered_state_heap_hash_map_factory

(

)

[protected]

---

Member Function Documentation

virtual numbered_state_heap_hash_map* spot::numbered_state_heap_hash_map_factory::build

(

)

const [virtual]

Implements spot::numbered_state_heap_factory.

static const numbered_state_heap_hash_map_factory* spot::numbered_state_heap_hash_map_factory::instance

(

)

[static]

Get the unique instance of this class.

---

The documentation for this class was generated from the following file:

• tgbaalgos/gtec/nsheap.hh

---

Please comment this page and report errors about it on the RefDocComments page.