|
Go to the documentation of this file.
17 using namespace faudes;
40 HioPlant g2( "data/2_hiogenerators/hio_simplemachine_A.gen");
44 g1. Read( "data/2_hiogenerators/simplemachine_A.gen");
47 Generator g4( "data/2_hiogenerators/simplemachine_A.gen");
61 EventSet ypEvents,upEvents,yeEvents,ueEvents;
68 HioPlant g9(g4,ypEvents,upEvents,yeEvents,ueEvents);
72 g1. Write( "tmp_hiosimplemachine_A1.gen");
73 g2. Write( "tmp_hiosimplemachine_A2.gen");
74 g3. Write( "tmp_hiosimplemachine_A3.gen");
75 g5. Write( "tmp_hiosimplemachine_A5.gen");
76 g6. Write( "tmp_hiosimplemachine_A6.gen");
77 g9. Write( "tmp_hiosimplemachine_A9.gen");
79 g1. Write( "tmp_hiosimplemachine_A.gen");
83 std::cout << "######################################\n";
84 std::cout << "# hio simple machine\n";
86 std::cout << "######################################\n";
92 std::cout << "######################################\n";
95 std::cout << "# IsHioPlantForm A: expect to fail for missing attributes\n";
102 std::cout << "# IsHioPlantForm B: expect to pass\n";
115 g2. Write( "tmp_hiosimplemachine_A_broken.gen");
116 g2. GraphWrite( "tmp_hiosimplemachine_A_broken.png");
118 std::cout << "# IsHioPlantForm C: expect to fail for missing input transitions\n";
124 g2. Write( "tmp_hiosimplemachine_A_fixed.gen");
126 std::cout << "# IsHioPlantForm D: expect to pass\n";
132 g2. Write( "tmp_hiosimplemachine_A_repaired.gen");
134 std::cout << "######################################\n";
149 std::cout<<std::endl;
152 std::cout << "######################################\n";
153 std::cout << "# QYpYe,QUp and QUe of simple machine:\n";
157 std::cout << "######################################\n";
177 std::cout << "######################################\n";
178 std::cout << "# IsHioPlantForm:\n";
181 std::cout << "######################################\n";
184 std::cout<<std::endl<<std::endl;
191 c1. Name( "HioController");
211 std::cout<<std::endl<< "######################################\n";
212 std::cout<< "######################################\n";
213 std::cout<< "####### I/O CONTROLLER: #########\n";
219 c1. Write( "tmp_hiocontroller_incomplete.gen");
220 c1. Read( "tmp_hiocontroller_incomplete.gen");
223 c1. GraphWrite( "tmp_hiocontroller_incomplete.png");
231 c1. Write( "tmp_hiocontroller_repaired.gen");
232 c1. GraphWrite( "tmp_hiocontroller_repaired.png");
233 std::cout<< "######################################\n";
234 std::cout<<std::endl<<std::endl;
242 e1. Name( "HioEnvironment");
262 std::cout<<std::endl<< "######################################\n";
263 std::cout<< "######################################\n";
264 std::cout<< "####### I/O ENVIRONMENT: #########\n";
269 e1. Write( "tmp_hioenvironment_incomplete.gen");
270 e1. Read( "tmp_hioenvironment_incomplete.gen");
273 e1. GraphWrite( "tmp_hioenvironment_incomplete.png");
282 e1. Write( "tmp_hioenvironment_repaired.gen");
283 e1. GraphWrite( "tmp_hioenvironment_repaired.png");
284 std::cout<< "######################################\n";
285 std::cout<<std::endl<<std::endl;
291 cnstr1. Name( "HioConstraint");
304 std::cout<<std::endl<< "######################################\n";
305 std::cout<< "######################################\n";
306 std::cout<< "####### I/O CONSTRAINT: #########\n";
307 std::cout<< "#######\n";
310 yEvents. Name( "####### HioConstraint: Y-Events");
316 cnstr1. Write( "tmp_hioconstraint_incomplete.gen");
317 cnstr1. Read( "tmp_hioconstraint_incomplete.gen");
320 cnstr1. GraphWrite( "tmp_hioconstraint_incomplete.png");
329 cnstr1. Write( "tmp_hioconstraint_repaired.gen");
330 cnstr1. GraphWrite( "tmp_hioconstraint_repaired.png");
331 std::cout<< "######################################\n";
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|