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.