21#include <spot/twa/twagraph.hh>
46 SPOT_API
bool contains(const_twa_graph_ptr left, const_twa_ptr right);
59 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.
int containment_select_version(const char *version=nullptr)
Definition: automata.hh:26