22 #include <spot/misc/common.hh> 23 #include <spot/twa/twagraph.hh> 59 SPOT_API twa_graph_ptr
60 simulation(
const const_twa_graph_ptr& automaton);
61 SPOT_API twa_graph_ptr
62 simulation(
const const_twa_graph_ptr& automaton,
63 std::vector<bdd>* implications);
64 SPOT_API twa_graph_ptr
65 simulation_sba(
const const_twa_graph_ptr& automaton);
98 SPOT_API twa_graph_ptr
100 SPOT_API twa_graph_ptr
119 SPOT_API twa_graph_ptr
121 SPOT_API twa_graph_ptr
Definition: automata.hh:26
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().