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);
72 typedef std::list<bdd> seq_t;
76 bdd_dict_ptr get_dict()
const
105 typedef std::shared_ptr<twa_word> twa_word_ptr;
114 return std::make_shared<twa_word>(dict);
120 return std::make_shared<twa_word>(run);
135 twa_word_ptr
parse_word(
const std::string& word,
const bdd_dict_ptr& dict);
Definition: automata.hh:27
twa_word_ptr parse_word(const std::string &word, const bdd_dict_ptr &dict)
Parse a twa_word.
twa_word_ptr make_twa_word(const bdd_dict_ptr &dict)
Create an empty twa_word.
Definition: word.hh:112
An infinite word stored as a lasso.
Definition: word.hh:35
twa_graph_ptr as_automaton() const
Convert the twa_word as an automaton.
friend std::ostream & operator<<(std::ostream &os, const twa_word &w)
Print a twa_word.
void use_all_aps(bdd aps, bool positive=false)
Use all atomic proposition.
void simplify()
Simplify a lasso-shapped word.