23#include <spot/twa/twagraph.hh>
29 std::vector<std::vector<formula>> groups;
32 void add_group(std::vector<formula>
ap);
34 void add_group(
const char* ap_csv);
38 return groups.empty();
42 twa_graph_ptr constrain(const_twa_graph_ptr aut,
43 bool simplify_guards =
false)
const;
Definition: exclusive.hh:28
Definition: automata.hh:26