spot
1.2.1a
|
#include <dve2fasttgba/dve2.hh>
Public Member Functions | |
dve2product_instanciator (const spot::tgba *tgba, std::string filename, const spot::tgba *weak=0, const spot::tgba *terminal=0) | |
const instance_automaton * | new_instance () |
Return a new instance of the automaton. More... | |
virtual bool | have_weak () |
Return wether there is a weak instance. More... | |
virtual bool | have_terminal () |
Return wether there is a terminal instance. More... | |
virtual bool | have_strong () |
Return wether there is a weak instance. More... | |
A dve2 product instanciator
FIXME: This class should contain the dictionnary to avoid redefinitions for each instance.
|
inlinevirtual |
Return wether there is a weak instance.
Implements spot::instanciator.
|
inlinevirtual |
Return wether there is a terminal instance.
Implements spot::instanciator.
|
inlinevirtual |
Return wether there is a weak instance.
Implements spot::instanciator.
|
inlinevirtual |
Return a new instance of the automaton.
Implements spot::instanciator.