spot
1.1.1
|
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
tgba * | spot::simulation (const tgba *automaton) |
Attempt to reduce the automaton by direct simulation. | |
tgba * | spot::simulation_sba (const tgba *automaton) |
tgba * | spot::dont_care_simulation (const tgba *t, int limit=-1) |
tgba * | spot::dont_care_iterated_simulations (const tgba *t, int limit=-1) |
tgba * | spot::cosimulation (const tgba *automaton) |
Attempt to reduce the automaton by reverse simulation. | |
tgba * | spot::cosimulation_sba (const tgba *automaton) |
tgba * | spot::iterated_simulations (const tgba *automaton) |
Iterate simulation() and cosimulation(). | |
tgba * | spot::iterated_simulations_sba (const tgba *automaton) |