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);
twa_graph_ptr sum_and(const const_twa_graph_ptr &left, const const_twa_graph_ptr &right)
Sum two twa into a new twa, using a universal initial transition, performing the intersection of the ...
twa_graph_ptr sum(const const_twa_graph_ptr &left, const const_twa_graph_ptr &right)
Sum two twa into a new twa, performing the union of the two input automatons.