|
spot
1.2.6
|
An infinite word stored as a lasso. More...
#include <tgbaalgos/word.hh>

Public Types | |
| typedef std::list< bdd > | seq_t |
Public Member Functions | |
| tgba_word (const tgba_run *run) | |
| void | simplify () |
| std::ostream & | print (std::ostream &os, bdd_dict *d) const |
Public Attributes | |
| seq_t | prefix |
| seq_t | cycle |
An infinite word stored as a lasso.
1.8.4