|
spot
1.2.6
|
An accepted run, for a tgba. More...
#include <tgbaalgos/emptiness.hh>

Classes | |
| struct | step |
Public Types | |
| typedef std::list< step > | steps |
Public Member Functions | |
| tgba_run (const tgba_run &run) | |
| tgba_run & | operator= (const tgba_run &run) |
Public Attributes | |
| steps | prefix |
| steps | cycle |
An accepted run, for a tgba.
1.8.4