22 #include <spot/misc/common.hh>
23 #include <spot/twa/fwd.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);
44 twa_graph_ptr product_or(
const const_twa_graph_ptr& left,
45 const const_twa_graph_ptr& right);
48 twa_graph_ptr product_or(
const const_twa_graph_ptr& left,
49 const const_twa_graph_ptr& right,
51 unsigned right_state);