22 #include "misc/common.hh"
31 typedef std::vector<std::pair<unsigned, unsigned>> product_states;
34 twa_graph_ptr product(
const const_twa_graph_ptr& left,
35 const const_twa_graph_ptr& right);
38 twa_graph_ptr product(
const const_twa_graph_ptr& left,
39 const const_twa_graph_ptr& right,
41 unsigned right_state);