#include <iosfwd>
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.If a tgba_run has been generated on a product, or any other on-the-fly algorithm with tgba operands,. |