22 #include <spot/twaalgos/emptiness.hh>
39 twa_word(
const twa_run_ptr& run);
42 dict_->unregister_all_my_variables(
this);
67 typedef std::list<bdd> seq_t;
71 bdd_dict_ptr get_dict()
const
79 twa_graph_ptr as_automaton()
const;
92 friend std::ostream& operator<<(std::ostream& os,
const twa_word& w);
97 typedef std::shared_ptr<twa_word> twa_word_ptr;
104 inline twa_word_ptr make_twa_word(
const bdd_dict_ptr& dict)
106 return std::make_shared<twa_word>(dict);
110 inline twa_word_ptr make_twa_word(
const twa_run_ptr& run)
112 return std::make_shared<twa_word>(run);
127 twa_word_ptr parse_word(
const std::string& word,
const bdd_dict_ptr& dict);
An infinite word stored as a lasso.
Definition: word.hh:36