| |
libFAUDES
Sections
Index
|
tp_3_parallel.cpp File ReferenceDetailed DescriptionTutorial, 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" #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 ... tGenerator g1("data/tsimplemachine.gen"); tGenerator g2("data/tbuffer.gen"); // ... and perform parallel composition tGenerator gres; 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.
Go to the source code of this file.
Function Documentation
Definition at line 27 of file tp_3_parallel.cpp.
|
libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6