|
Go to the documentation of this file.
21 using namespace faudes;
37 tempgen. Read( "data/verysimplemachine.gen");
44 contevents. Insert( "alpha_1");
45 contevents. Insert( "alpha_2");
49 cplant. Write( "tmp_cplant12.gen");
52 std::cout << "################################\n";
53 std::cout << "# tutorial, plant model \n";
55 std::cout << "################################\n";
59 specification. Read( "data/buffer.gen");
61 specification. Name( "simple machines specification");
64 specification. Write( "tmp_specification12.gen");
67 std::cout << "################################\n";
68 std::cout << "# tutorial, specification \n";
70 std::cout << "################################\n";
74 SupConNB(cplant,specification,supervisor);
75 supervisor. Name( "simple machines supervisor");
76 supervisor. Write( "tmp_supervisor12.gen");
79 std::cout << "################################\n";
80 std::cout << "# tutorial, supervisor\n";
82 std::cout << "################################\n";
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|