22 #include <spot/misc/common.hh>
23 #include <spot/twa/twagraph.hh>
54 SPOT_API twa_graph_ptr
71 simulation(
const const_twa_graph_ptr& automaton);
72 SPOT_API twa_graph_ptr
73 simulation(
const const_twa_graph_ptr& automaton,
74 std::map<int, bdd>* implementation);
75 SPOT_API twa_graph_ptr
76 simulation_sba(
const const_twa_graph_ptr& automaton);
102 SPOT_API twa_graph_ptr
128 SPOT_API twa_graph_ptr
147 SPOT_API twa_graph_ptr
149 SPOT_API twa_graph_ptr
twa_graph_ptr cosimulation(const const_twa_graph_ptr &automaton)
Attempt to reduce the automaton by reverse simulation.
twa_graph_ptr simulation(const const_twa_graph_ptr &automaton)
Attempt to reduce the automaton by direct simulation.
twa_graph_ptr cosimulation_sba(const const_twa_graph_ptr &automaton)
Attempt to reduce the automaton by reverse simulation.
twa_graph_ptr iterated_simulations_sba(const const_twa_graph_ptr &automaton)
Iterate simulation() and cosimulation().
twa_graph_ptr iterated_simulations(const const_twa_graph_ptr &automaton)
Iterate simulation() and cosimulation().