spot
1.99.7
|
An infinite word stored as a lasso. More...
#include <spot/twaalgos/word.hh>
Public Types | |
typedef std::list< bdd > | seq_t |
Public Member Functions | |
twa_word (const twa_run_ptr run) | |
void | simplify () |
bdd_dict_ptr | get_dict () const |
Public Attributes | |
seq_t | prefix |
seq_t | cycle |
Friends | |
std::ostream & | operator<< (std::ostream &os, const twa_word &w) |
An infinite word stored as a lasso.