spot  0.8.1
Public Member Functions
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 Sun Dec 18 2011 12:57:16 for spot by doxygen 1.7.6.1