#include <iosfwd>
Include dependency graph for projrun.hh:
Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
tgba_run * | spot::project_tgba_run (const tgba *a_run, const tgba *a_proj, const tgba_run *run) |
Project a tgba_run on a tgba. |