spot::numbered_state_heap_factory Class Reference

Abstract factory for numbered_state_heap. More...

#include <tgbaalgos/gtec/nsheap.hh>

Inheritance diagram for spot::numbered_state_heap_factory:

[legend]List of all members.

Public Member Functions
virtual	~numbered_state_heap_factory ()
virtual numbered_state_heap *	build () const=0

---

Detailed Description

Abstract factory for numbered_state_heap.

---

Constructor & Destructor Documentation

virtual spot::numbered_state_heap_factory::~numbered_state_heap_factory

(

)

[inline, virtual]

---

Member Function Documentation

virtual numbered_state_heap* spot::numbered_state_heap_factory::build

(

)

const [pure virtual]

Implemented in spot::numbered_state_heap_hash_map_factory.

---

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.