#include <tgba/tgbabddfactory.hh>
Inheritance diagram for spot::tgba_bdd_factory:
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. |
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] |