Abstract class for spot::tgba_bdd_concrete factories. More...
#include <tgba/tgbabddfactory.hh>
Public Member Functions | |
virtual | ~tgba_bdd_factory () |
virtual const tgba_bdd_core_data & | get_core_data () const =0 |
Get the core data for the new automata. |
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.
virtual spot::tgba_bdd_factory::~tgba_bdd_factory | ( | ) | [inline, virtual] |
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.