25 #include "twa/twagraph.hh"
31 std::vector<std::vector<const ltl::atomic_prop*>> groups;
35 void add_group(std::vector<const ltl::atomic_prop*> ap);
37 void add_group(
const char* ap_csv);
41 return groups.empty();
45 twa_graph_ptr constrain(const_twa_graph_ptr aut,
46 bool simplify_guards =
false)
const;
Definition: exclusive.hh:29