22 #include <spot/misc/common.hh> 23 #include <spot/twa/fwd.hh> 35 twa_graph_ptr
sum(
const const_twa_graph_ptr& left,
36 const const_twa_graph_ptr& right);
48 twa_graph_ptr
sum(
const const_twa_graph_ptr& left,
49 const const_twa_graph_ptr& right,
51 unsigned right_state);
61 twa_graph_ptr
sum_and(
const const_twa_graph_ptr& left,
62 const const_twa_graph_ptr& right);
74 twa_graph_ptr
sum_and(
const const_twa_graph_ptr& left,
75 const const_twa_graph_ptr& right,
77 unsigned right_state);
Definition: automata.hh:26
twa_graph_ptr sum(const const_twa_graph_ptr &left, const const_twa_graph_ptr &right, unsigned left_state, unsigned right_state)
Sum two twa into a new twa, performing the union of the two input automata.
twa_graph_ptr sum_and(const const_twa_graph_ptr &left, const const_twa_graph_ptr &right, unsigned left_state, unsigned right_state)
Sum two twa into a new twa, using a universal initial transition, performing the intersection of the ...