22 #include <spot/twa/twagraph.hh>
26 SPOT_API twa_graph_ptr
27 sl(
const twa_graph_ptr&);
29 SPOT_API twa_graph_ptr
30 sl(
const const_twa_graph_ptr&, bdd);
32 SPOT_API twa_graph_ptr
33 sl2(
const twa_graph_ptr&);
35 SPOT_API twa_graph_ptr
36 sl2(
const const_twa_graph_ptr&, bdd);
39 SPOT_API twa_graph_ptr
40 sl2(twa_graph_ptr&&, bdd = bddfalse);
43 SPOT_API twa_graph_ptr
44 closure(
const const_twa_graph_ptr&);
47 SPOT_API twa_graph_ptr
48 closure(twa_graph_ptr&&);
54 is_stutter_invariant(formula f);
57 is_stutter_invariant(twa_graph_ptr&& aut_f,
58 twa_graph_ptr&& aut_nf, bdd aps,
73 check_stutter_invariance(
const twa_graph_ptr& aut,
75 bool do_not_determinize =
false);