spot
1.2.1a
|
#include <fasttgbaalgos/ec/ec.hh>
Public Member Functions | |
virtual const instance_automaton * | new_instance ()=0 |
Return a new instance of the automaton. More... | |
virtual bool | have_weak ()=0 |
Return wether there is a weak instance. More... | |
virtual bool | have_strong ()=0 |
Return wether there is a weak instance. More... | |
virtual bool | have_terminal ()=0 |
Return wether there is a terminal instance. More... | |
A wrapper around the automaton to check is needed for some emptiness check that needs to work on multiple distinc instance of the automaton
In this case, the emptiness check just have to know a specific instanciator to perform the emptiness check
|
pure virtual |
Return wether there is a weak instance.
Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.
|
pure virtual |
Return wether there is a terminal instance.
Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.
|
pure virtual |
Return wether there is a weak instance.
Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.
|
pure virtual |
Return a new instance of the automaton.
Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.