Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

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:

Inheritance graph
[legend]
List of all members.

Public Member Functions

virtual ~tgba_bdd_factory ()
virtual const tgba_bdd_core_dataget_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:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 25 14:56:19 2006 for spot by doxygen 1.4.0