spot::tgba_bdd_factory Class Reference

Abstract class for spot::tgba_bdd_concrete factories. More...

#include <tgba/tgbabddfactory.hh>

Inheritance diagram for spot::tgba_bdd_factory:

[legend]List of all members.

Public Member Functions
virtual	~tgba_bdd_factory ()
virtual const tgba_bdd_core_data &	get_core_data () const=0
	Get the core data for the new automata.

---

Detailed Description

Abstract class for spot::tgba_bdd_concrete factories.

A spot::tgba_bdd_concrete can be constructed from anything that supplies core data and their associated dictionary.

---

Constructor & Destructor Documentation

virtual spot::tgba_bdd_factory::~tgba_bdd_factory

(

)

[inline, virtual]

---

Member Function Documentation

virtual const tgba_bdd_core_data& spot::tgba_bdd_factory::get_core_data

(

)

const [pure virtual]

Get the core data for the new automata.

Implemented in spot::tgba_bdd_concrete_factory.

---

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

• tgba/tgbabddfactory.hh

---

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