spot
1.0.1
|
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.
|
inlinevirtual |
|
pure virtual |
Get the core data for the new automata.
Implemented in spot::tgba_bdd_concrete_factory.