27 typedef std::shared_ptr<bdd_dict> bdd_dict_ptr;
30 typedef std::shared_ptr<twa> twa_ptr;
31 typedef std::shared_ptr<const twa> const_twa_ptr;
34 typedef std::shared_ptr<const twa_graph> const_twa_graph_ptr;
35 typedef std::shared_ptr<twa_graph> twa_graph_ptr;
38 typedef std::shared_ptr<const twa_product> const_twa_product_ptr;
39 typedef std::shared_ptr<twa_product> twa_product_ptr;
Definition: automata.hh:27