22 #include <spot/twa/twagraph.hh>
47 SPOT_API
bool contains(const_twa_graph_ptr left, const_twa_ptr right);
60 const_twa_graph_ptr right);
bool contains(const_twa_graph_ptr left, const_twa_ptr right)
Test if the language of right is included in that of left.
bool are_equivalent(const_twa_graph_ptr left, const_twa_graph_ptr right)
Test if the language of left is equivalent to that of right.
Definition: automata.hh:27