22 #include <spot/twaalgos/emptiness.hh>
34 dict_->unregister_all_my_variables(
this);
39 typedef std::list<bdd> seq_t;
43 bdd_dict_ptr get_dict()
const
49 friend std::ostream& operator<<(std::ostream& os,
const twa_word& w);
An infinite word stored as a lasso.
Definition: word.hh:29