27 #include <spot/twa/twagraph.hh> 34 typedef std::set<unsigned> power_state;
35 std::vector<power_state> map_;
38 states_of(
unsigned s)
const 57 SPOT_API twa_graph_ptr
60 SPOT_API twa_graph_ptr
100 SPOT_API twa_graph_ptr
101 tba_determinize(
const const_twa_graph_ptr& aut,
102 unsigned threshold_states = 0,
103 unsigned threshold_cycles = 0);
132 SPOT_API twa_graph_ptr
133 tba_determinize_check(
const twa_graph_ptr& aut,
134 unsigned threshold_states = 0,
135 unsigned threshold_cycles = 0,
137 const_twa_graph_ptr neg_aut =
nullptr);
twa_graph_ptr tgba_powerset(const const_twa_graph_ptr &aut)
Build a deterministic automaton, ignoring acceptance conditions.
Definition: powerset.hh:32