24 #include "twa/twagraph.hh"
30 std::set<const ltl::atomic_prop*> props_exist;
31 std::set<const ltl::atomic_prop*> props_pos;
32 std::set<const ltl::atomic_prop*> props_neg;
35 void add_ap(
const char* ap_csv);
39 return props_exist.empty() && props_pos.empty() && props_neg.empty();
42 twa_graph_ptr strip(const_twa_graph_ptr aut)
const;
Definition: remprop.hh:28