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_sba(
const const_twa_graph_ptr& automaton);
99 SPOT_API twa_graph_ptr
125 SPOT_API twa_graph_ptr
126 cosimulation_sba(
const const_twa_graph_ptr& automaton);
144 SPOT_API twa_graph_ptr
146 SPOT_API twa_graph_ptr
147 iterated_simulations_sba(
const const_twa_graph_ptr& automaton);
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 iterated_simulations(const const_twa_graph_ptr &automaton)
Iterate simulation() and cosimulation().