24 #include <spot/twa/twagraph.hh> 30 std::set<formula> props_exist;
31 std::set<formula> props_pos;
32 std::set<formula> props_neg;
34 void add_ap(
const char* ap_csv);
38 return props_exist.empty() && props_pos.empty() && props_neg.empty();
41 twa_graph_ptr strip(const_twa_graph_ptr aut)
const;
Definition: remprop.hh:28