22 #include <spot/misc/common.hh> 23 #include <spot/twa/twagraph.hh> 54 SPOT_API twa_graph_ptr
77 simulation(
const const_twa_graph_ptr& automaton);
78 SPOT_API twa_graph_ptr
79 simulation(
const const_twa_graph_ptr& automaton,
80 std::vector<bdd>* implications);
81 SPOT_API twa_graph_ptr
82 simulation_sba(
const const_twa_graph_ptr& automaton);
108 SPOT_API twa_graph_ptr
134 SPOT_API twa_graph_ptr
153 SPOT_API twa_graph_ptr
155 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().