spot
1.1.3
|
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
tgba * | spot::simulation (const tgba *automaton) |
Attempt to reduce the automaton by direct simulation. More... | |
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. More... | |
tgba * | spot::cosimulation_sba (const tgba *automaton) |
tgba * | spot::iterated_simulations (const tgba *automaton) |
Iterate simulation() and cosimulation(). More... | |
tgba * | spot::iterated_simulations_sba (const tgba *automaton) |