22 #include "misc/common.hh"
23 #include "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);
SPOT_API twa_graph_ptr cosimulation(const const_twa_graph_ptr &automaton)
Attempt to reduce the automaton by reverse simulation.
SPOT_API twa_graph_ptr simulation(const const_twa_graph_ptr &automaton)
Attempt to reduce the automaton by direct simulation.
SPOT_API twa_graph_ptr iterated_simulations(const const_twa_graph_ptr &automaton)
Iterate simulation() and cosimulation().