spot
1.0.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::cosimulation (const tgba *automaton) |
Attempt to reduce the automaton by reverse simulation. | |
tgba * | spot::iterated_simulations (const tgba *automaton) |
Iterate simulation() and cosimulation(). |