21#include <spot/misc/common.hh>
22#include <spot/twa/fwd.hh>
34 twa_graph_ptr
sum(
const const_twa_graph_ptr& left,
35 const const_twa_graph_ptr& right);
47 twa_graph_ptr
sum(
const const_twa_graph_ptr& left,
48 const const_twa_graph_ptr& right,
50 unsigned right_state);
60 twa_graph_ptr
sum_and(
const const_twa_graph_ptr& left,
61 const const_twa_graph_ptr& right);
73 twa_graph_ptr
sum_and(
const const_twa_graph_ptr& left,
74 const const_twa_graph_ptr& right,
76 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:26