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

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 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.


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 Mon Jan 31 12:55:36 2005 for spot by doxygen 1.4.0