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