spot
0.9.1
|
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
tgba_run * | spot::reduce_run (const tgba *a, const tgba_run *org) |
Reduce an accepting run.Return a run which is accepting for and that is no longer that org. |