22 #include <spot/twaalgos/emptiness.hh> 36 twa_word(
const bdd_dict_ptr& dict) noexcept;
37 twa_word(
const twa_run_ptr& run) noexcept;
40 dict_->unregister_all_my_variables(
this);
70 void use_all_aps(bdd aps,
bool positive =
false);
72 typedef std::list<bdd> seq_t;
76 bdd_dict_ptr get_dict()
const 84 twa_graph_ptr as_automaton()
const;
97 friend std::ostream& operator<<(std::ostream& os,
const twa_word& w);
102 typedef std::shared_ptr<twa_word> twa_word_ptr;
109 inline twa_word_ptr make_twa_word(
const bdd_dict_ptr& dict)
111 return std::make_shared<twa_word>(dict);
115 inline twa_word_ptr make_twa_word(
const twa_run_ptr& run)
117 return std::make_shared<twa_word>(run);
132 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