spot  2.0.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Classes | Functions

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...
 

Detailed Description

Function Documentation

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,

Parameters
runthe run to replay
a_runthe automata on which the run was generated
a_projthe automata on which to project the run
Returns
true iff the run could be completed

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 11 2016 09:54:34 for spot by doxygen 1.8.8