spot
2.0.3
|
Classes | |
struct | spot::twa_run |
An accepted run, for a twa. More... | |
struct | spot::twa_run::step |
Functions | |
twa_run_ptr | spot::project_twa_run (const const_twa_ptr &a_run, const const_twa_ptr &a_proj, const const_twa_run_ptr &run) |
Project a twa_run on a tgba. More... | |
twa_run_ptr spot::project_twa_run | ( | const const_twa_ptr & | a_run, |
const const_twa_ptr & | a_proj, | ||
const const_twa_run_ptr & | run | ||
) |
#include <spot/twaalgos/projrun.hh>
Project a twa_run on a tgba.
If a twa_run has been generated on a product, or any other on-the-fly algorithm with tgba operands,
run | the run to replay |
a_run | the automata on which the run was generated |
a_proj | the automata on which to project the run |