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);
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 automata.
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 ...
Definition: automata.hh:27