spot
1.2.1a
|
A simple wrapper for an automaton. More...
#include <fasttgbaalgos/ec/ec.hh>
Public Member Functions | |
virtual const spot::fasttgba * | get_automaton () const =0 |
return the automaton. Warning ! You don't have to delete the More... | |
virtual const spot::fasttgba * | get_ba_automaton () const =0 |
return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the More... | |
A simple wrapper for an automaton.
|
pure virtual |
return the automaton. Warning ! You don't have to delete the
Implemented in spot::dve2product_instance, and spot::simple_instance.
|
pure virtual |
return the automaton as a B\¨uchi Automaton. Warning ! You don't have to delete the
Implemented in spot::dve2product_instance, and spot::simple_instance.