#include <tgba/tgbabddfactory.hh>
Inheritance diagram for spot::tgba_bdd_factory:
Public Member Functions | |
virtual const tgba_bdd_core_data & | get_core_data () const =0 |
Get the core data for the new automata. |
A spot::tgba_bdd_concrete can be constructed from anything that supplies core data and their associated dictionary.
|
Get the core data for the new automata.
Implemented in spot::tgba_bdd_concrete_factory. |