spot
1.2.4
|
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.