22 #include <spot/twa/twagraph.hh> 42 SPOT_API
bool contains(const_twa_graph_ptr left, const_twa_graph_ptr right);
43 SPOT_API
bool contains(const_twa_graph_ptr left, formula right);
44 SPOT_API
bool contains(formula left, const_twa_graph_ptr right);
45 SPOT_API
bool contains(formula left, formula right);
55 const_twa_graph_ptr right);
56 SPOT_API
bool are_equivalent(const_twa_graph_ptr left, formula right);
57 SPOT_API
bool are_equivalent(formula left, const_twa_graph_ptr right);
Definition: automata.hh:26
bool are_equivalent(formula left, formula right)
Test if the language of left is equivalent to that of right.
bool contains(formula left, formula right)
Test if the language of right is included in that of left.