spot
1.1.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 () | |
tgba_run () | |
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.
typedef std::list<step> spot::tgba_run::steps |
spot::tgba_run::~tgba_run | ( | ) |
|
inline |
spot::tgba_run::tgba_run | ( | const tgba_run & | run) |
steps spot::tgba_run::cycle |
steps spot::tgba_run::prefix |