27 typedef std::shared_ptr<twa> twa_ptr;
28 typedef std::shared_ptr<const twa> const_twa_ptr;
31 typedef std::shared_ptr<const twa_graph> const_twa_graph_ptr;
32 typedef std::shared_ptr<twa_graph> twa_graph_ptr;
35 typedef std::shared_ptr<const twa_product> const_twa_product_ptr;
36 typedef std::shared_ptr<twa_product> twa_product_ptr;
Definition: automata.hh:26