23#include <spot/twa/twagraph.hh>
29 std::set<formula> props_exist;
30 std::set<formula> props_pos;
31 std::set<formula> props_neg;
33 void add_ap(
const char* ap_csv);
37 return props_exist.empty() && props_pos.empty() && props_neg.empty();
40 twa_graph_ptr strip(const_twa_graph_ptr aut)
const;
53 SPOT_API twa_graph_ptr
54 to_finite(const_twa_graph_ptr aut,
const char* alive =
"alive");
Definition: remprop.hh:28
Definition: automata.hh:26
twa_graph_ptr to_finite(const_twa_graph_ptr aut, const char *alive="alive")
Interpret the "live" part of an automaton as finite automaton.