22 #include <spot/twaalgos/emptiness.hh> 37 twa_word(
const twa_run_ptr& run);
40 dict_->unregister_all_my_variables(
this);
65 typedef std::list<bdd> seq_t;
69 bdd_dict_ptr get_dict()
const 77 twa_graph_ptr as_automaton()
const;
90 friend std::ostream& operator<<(std::ostream& os,
const twa_word& w);
95 typedef std::shared_ptr<twa_word> twa_word_ptr;
102 inline twa_word_ptr make_twa_word(
const bdd_dict_ptr& dict)
104 return std::make_shared<twa_word>(dict);
108 inline twa_word_ptr make_twa_word(
const twa_run_ptr& run)
110 return std::make_shared<twa_word>(run);
125 twa_word_ptr parse_word(
const std::string& word,
const bdd_dict_ptr& dict);
Definition: automata.hh:26
An infinite word stored as a lasso.
Definition: word.hh:34