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

spot::tgba_bdd_factory Class Reference

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

#include <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:
Generated on Tue Jun 29 17:01:43 2004 for spot by doxygen 1.3.7