spot
1.2.4
|
Abstract class for spot::tgba_bdd_concrete factories. More...
#include <tgba/tgbabddfactory.hh>
Public Member Functions | |
virtual const tgba_bdd_core_data & | get_core_data () const =0 |
Get the core data for the new automata. More... | |
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.
|
pure virtual |
Get the core data for the new automata.
Implemented in spot::tgba_bdd_concrete_factory.