20 #ifndef SPOT_TGBAALGOS_SIMULATION_HH
21 # define SPOT_TGBAALGOS_SIMULATION_HH
23 # include "misc/common.hh"
56 SPOT_API tgba*
simulation(
const tgba* automaton);
73 SPOT_API tgba* simulation_sba(
const tgba* automaton);
124 SPOT_API tgba* cosimulation_sba(
const tgba* automaton);
143 SPOT_API tgba* iterated_simulations_sba(
const tgba* automaton);
148 dont_care_simulation(
const tgba* t,
int limit = -1);
151 dont_care_iterated_simulations(
const tgba* t,
int limit = -1);
159 #endif // !SPOT_TGBAALGOS_SIMULATION_HH
SPOT_API tgba * simulation(const tgba *automaton)
Attempt to reduce the automaton by direct simulation.
SPOT_API tgba * iterated_simulations(const tgba *automaton)
Iterate simulation() and cosimulation().
SPOT_API tgba * cosimulation(const tgba *automaton)
Attempt to reduce the automaton by reverse simulation.