#include <tgbaalgos/emptiness.hh>
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 |
Classes | |
struct | step |
|
|
|
|
|
|
|
|
|
|
|
|
|
|