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... | |
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 a new instance of the automaton
Implemented in spot::dve2product_instanciator, and spot::simple_instanciator.