24 #include <spot/twa/twagraph.hh>
30 std::vector<std::vector<formula>> groups;
33 void add_group(std::vector<formula>
ap);
35 void add_group(
const char* ap_csv);
39 return groups.empty();
43 twa_graph_ptr constrain(const_twa_graph_ptr aut,
44 bool simplify_guards =
false)
const;
Definition: exclusive.hh:29
Definition: automata.hh:27