26 typedef std::shared_ptr<bdd_dict> bdd_dict_ptr;
29 typedef std::shared_ptr<twa> twa_ptr;
30 typedef std::shared_ptr<const twa> const_twa_ptr;
33 typedef std::shared_ptr<const twa_graph> const_twa_graph_ptr;
34 typedef std::shared_ptr<twa_graph> twa_graph_ptr;
37 typedef std::shared_ptr<const twa_product> const_twa_product_ptr;
38 typedef std::shared_ptr<twa_product> twa_product_ptr;
41 typedef std::shared_ptr<const twa_word> const_twa_word_ptr;
42 typedef std::shared_ptr<twa_word> twa_word_ptr;
Definition: automata.hh:26