spot
1.2.1a
|
Public Member Functions | |
simple_instanciator (const spot::fasttgba *tgba) | |
virtual 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... | |
|
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.