22 #include <spot/misc/common.hh> 23 #include <spot/twa/fwd.hh> 34 twa_graph_ptr sum(
const const_twa_graph_ptr& left,
35 const const_twa_graph_ptr& right);
46 twa_graph_ptr sum(
const const_twa_graph_ptr& left,
47 const const_twa_graph_ptr& right,
49 unsigned right_state);
58 twa_graph_ptr sum_and(
const const_twa_graph_ptr& left,
59 const const_twa_graph_ptr& right);
70 twa_graph_ptr sum_and(
const const_twa_graph_ptr& left,
71 const const_twa_graph_ptr& right,
73 unsigned right_state);
Definition: automata.hh:26