|
Go to the documentation of this file.
14 using namespace faudes;
83 cout <<endl<< "******************** reading files..." << endl;
87 HioPlant plantA( "data/4_transport_unit/plantA.gen");
88 plantA. Write( "tmp_hio_tu_plantA.gen");
90 HioPlant specA( "data/4_transport_unit/specA.gen");
91 specA. Write( "tmp_hio_tu_spec_A.gen");
93 HioConstraint constrE_A( "data/4_transport_unit/constrE_A.gen");
94 constrE_A. Write( "tmp_hio_tu_constrE_A.gen");
96 HioConstraint constrP_A( "data/4_transport_unit/constrP_A.gen");
97 constrP_A. Write( "tmp_hio_tu_constrP_A.gen");
109 controllerA. Write( "tmp_hio_tu_IOcontroller_A.gen");
112 controllerA. Version( "_A", "_B",controllerB);
113 controllerB. Write( "tmp_hio_tu_IOcontroller_B.gen");
117 Parallel(controllerA,plantA,full_loop);
118 full_loop. Write( "tmp_hio_tu_full_loop_A.gen");
120 ext_loop. Write( "tmp_hio_tu_ext_loop_A.gen");
130 HioPlant specB( "data/4_transport_unit/specB.gen");
131 HioConstraint constrE_B( "data/4_transport_unit/constrE_B.gen");
133 cout <<endl<< "******************** IOshuffle: tmp_hio_tu_shuffAB.gen/.png" << endl;
139 cout<<endl<< "(sizeof shuffAB after statemin: "<<shuffAB. Size()<< ").."<<endl;
141 shuffAB. Name( "IO shuffle AB");
142 shuffAB. Write( "tmp_hio_tu_shuffAB.gen");
147 envAB. Write( "tmp_hio_tu_envAB.gen");
156 cout <<endl<< "********************"<<endl << "******************** ready for Controller synthesis for plantAB"<< endl<< "********************"<<endl;
159 HioPlant specAB( "data/4_transport_unit/specAB.gen");
160 specAB. Write( "tmp_hio_tu_specAB.gen");
177 HioConstraint constrL_AB( "data/4_transport_unit/constrL_AB.gen");
178 constrL_AB. Write( "tmp_hio_tu_constrL_AB.gen");
182 Parallel(constrE_A,constrE_B,locConstrAB);
186 HioSynthHierarchical(shuffAB, envAB, specAB, locConstrAB, constrC_AB, constrL_AB, controllerAB);
190 StateMin(controllerAB,controllerAB);
192 controllerAB. Name( "Controller AB");
193 controllerAB. Write( "tmp_hio_tu_IOcontrollerAB.gen");
194 cout<<endl<< ">>>>> Synthesis done for Controller AB. <<<<<"<<endl;
214 plantA. Version( "_A", "_B",plantX);
215 plantX. Write( "tmp_hio_tu_plantB.gen");
216 plantA. Version( "_A", "_C",plantX);
217 plantX. Write( "tmp_hio_tu_plantC.gen");
218 plantA. Version( "_A", "_D",plantX);
219 plantX. Write( "tmp_hio_tu_plantD.gen");
220 plantA. Version( "_A", "_E",plantX);
221 plantX. Write( "tmp_hio_tu_plantE.gen");
222 plantA. Version( "_A", "_F",plantX);
223 plantX. Write( "tmp_hio_tu_plantF.gen");
224 plantA. Version( "_A", "_G",plantX);
225 plantX. Write( "tmp_hio_tu_plantG.gen");
226 plantA. Version( "_A", "_H",plantX);
227 plantX. Write( "tmp_hio_tu_plantH.gen");
231 envAB. Version( "_AB", "_CD",envX);
232 envX. Version( "_A", "_C",envXtmp);
233 envXtmp. Version( "_B", "_D",envX);
234 envX. Write( "tmp_hio_tu_IOenvironmentCD.gen");
236 envAB. Version( "_AB", "_EF",envX);
237 envX. Version( "_A", "_E",envXtmp);
238 envXtmp. Version( "_B", "_F",envX);
239 envX. Write( "tmp_hio_tu_IOenvironmentEF.gen");
241 envAB. Version( "_AB", "_aBCD",envX);
242 envX. Version( "_A", "_AB",envXtmp);
243 envXtmp. Version( "_B", "_CD",envX);
244 envX. Version( "_aBCD", "_ABCD",envXtmp);
245 envXtmp. Write( "tmp_hio_tu_IOenvironmentABCD.gen");
247 envAB. Version( "_AB", "_EFGH",envX);
248 envX. Version( "_A", "_EF",envXtmp);
249 envXtmp. Version( "_B", "_GH",envX);
250 envX. Write( "tmp_hio_tu_IOenvironmentEFGH.gen");
252 envAB. Version( "_AB", "_a_H",envX);
253 envX. Version( "_A", "_ABCD",envXtmp);
254 envXtmp. Version( "_B", "_EFGH",envX);
255 envX. Version( "_a_H", "_A_H",envXtmp);
256 envXtmp. Write( "tmp_hio_tu_IOenvironmentA_H.gen");
260 controllerAB. Version( "_AB", "_CD",controllerX);
261 controllerX. Version( "_A", "_C",controllerXtmp);
262 controllerXtmp. Version( "_B", "_D",controllerX);
263 controllerX. Write( "tmp_hio_tu_IOcontrollerCD.gen");
265 controllerAB. Version( "_AB", "_EF",controllerX);
266 controllerX. Version( "_A", "_E",controllerXtmp);
267 controllerXtmp. Version( "_B", "_F",controllerX);
268 controllerX. Write( "tmp_hio_tu_IOcontrollerEF.gen");
270 controllerAB. Version( "_AB", "_aBCD",controllerX);
271 controllerX. Version( "_A", "_AB",controllerXtmp);
272 controllerXtmp. Version( "_B", "_CD",controllerX);
273 controllerX. Version( "_aBCD", "_ABCD",controllerXtmp);
274 controllerXtmp. Write( "tmp_hio_tu_IOcontrollerABCD.gen");
276 controllerAB. Version( "_AB", "_EFGH",controllerX);
277 controllerX. Version( "_A", "_EF",controllerXtmp);
278 controllerXtmp. Version( "_B", "_GH",controllerX);
279 controllerX. Write( "tmp_hio_tu_IOcontrollerEFGH.gen");
281 controllerAB. Version( "_AB", "_a_H",controllerX);
282 controllerX. Version( "_A", "_ABCD",controllerXtmp);
283 controllerXtmp. Version( "_B", "_EFGH",controllerX);
284 controllerX. Version( "_a_H", "_A_H",controllerXtmp);
285 controllerXtmp. Write( "tmp_hio_tu_IOcontrollerA_H.gen");
300 std::cout << "function: " << e. Where() << std::endl;
301 std::cout << "exception description: " << e. What() << std::endl;
302 std::cout << "exception id: " << e. Id() << std::endl;
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|