20 #ifndef SPOT_TGBAALGOS_WORD_HH
21 # define SPOT_TGBAALGOS_WORD_HH
23 # include "emptiness.hh"
34 std::ostream& print(std::ostream& os,
bdd_dict* d)
const;
36 typedef std::list<bdd> seq_t;
43 #endif // SPOT_TGBAALGOS_WORD_HH
An infinite word stored as a lasso.
Definition: word.hh:30
An accepted run, for a tgba.
Definition: emptiness.hh:254
Map BDD variables to formulae.
Definition: bdddict.hh:57