spot
1.99.3
|
An infinite word stored as a lasso. More...
#include <twaalgos/word.hh>
Public Types | |
typedef std::list< bdd > | seq_t |
Public Member Functions | |
tgba_word (const tgba_run_ptr run) | |
void | simplify () |
std::ostream & | print (std::ostream &os, const bdd_dict_ptr &d) const |
Public Attributes | |
seq_t | prefix |
seq_t | cycle |
An infinite word stored as a lasso.