spot
1.2.1a
|
#include <dve2fasttgba/dve2.hh>
Public Member Functions | |
dve2product_instanciator (const spot::tgba *tgba, std::string filename) | |
const instance_automaton * | new_instance () |
return a new instance of the automaton More... | |
A dve2 product instanciator
FIXME: This class should contain the dictionnary to avoid redefinitions for each instance.
|
inlinevirtual |
return a new instance of the automaton
Implements spot::instanciator.