spot
1.2.1a
|
Public Member Functions | |
simple_instanciator (const spot::fasttgba *tgba) | |
const instance_automaton * | new_instance () |
return a new instance of the automaton More... | |
|
inlinevirtual |
return a new instance of the automaton
Implements spot::instanciator.