tp_3_parallel.cpp File Reference

Tutorial, timed parallel composition. More...

#include "libfaudes.h"

Go to the source code of this file.

Functions

int main ()

Detailed Description

Tutorial, timed parallel composition.

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

/** @file tp_3_parallel.cpp
Tutorial, timed parallel composition.
Demonstratates synchronous composition of two timed automata by function faudes::TParallel
@ingroup Tutorials
@include tp_3_parallel.cpp
*/
#include "libfaudes.h"
// for simplicity we make the faudes namespace available to our program
using namespace faudes;
/////////////////
// main program
/////////////////
int main() {
// read two generators ...
TimedGenerator g1("data/tsimplemachine.gen");
TimedGenerator g2("data/tbuffer.gen");
// ... and perform parallel composition
TParallel(g1,g2,gres);
// Report
std::cout << "######################################\n";
std::cout << "# t simple machine with buffer \n";
gres.DWrite();
std::cout << "######################################\n";
// Save to file
gres.Write("tmp_tmachinewithbuffer.gen");
// Test protocol
FAUDES_TEST_DUMP("composition",gres.ToText());
return 0;
}

Definition in file tp_3_parallel.cpp.

Function Documentation

int main ( )

Definition at line 24 of file tp_3_parallel.cpp.

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen