tp_3_parallel.cpp File Reference


Detailed Description

Tutorial, timed parallel composition.

Demonstratates synchronous composition of two timed automata by function faudes::TParallel

#include "libfaudes.h"
#include "tp_include.h"


// for simplicity we make the faudes namespace available to our program

using namespace faudes;



// main program

int main() {

  /***************************************************************
   * read two generators and perform parallel composition
   *
   ***************************************************************/


  tGenerator g1("data/tsimplemachine.gen");
  tGenerator g2("data/tbuffer.gen");
  tGenerator gres;

  TParallel(g1,g2,gres);


  std::cout << "######################################\n";
  std::cout << "# t simple machine with buffer  \n";
  gres.DWrite();
  std::cout << "######################################\n";

  gres.Write("tmp_tmachinewithbuffer.gen");


  return 0;
}



Definition in file tp_3_parallel.cpp.

#include "libfaudes.h"
#include "tp_include.h"

Go to the source code of this file.

Functions

int main ()


Function Documentation

int main  ) 
 

Definition at line 27 of file tp_3_parallel.cpp.


Generated on Mon Nov 10 08:13:16 2008 for libFAUDES 2.11v by  doxygen 1.4.4