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;
54 SPOT_API twa_graph_ptr
55 to_finite(const_twa_graph_ptr aut,
const char* alive =
"alive");
Definition: remprop.hh:29
Definition: automata.hh:27
twa_graph_ptr to_finite(const_twa_graph_ptr aut, const char *alive="alive")
Interpret the "live" part of an automaton as finite automaton.