|
Go to the documentation of this file.
14 using namespace faudes;
82 std::cout <<std::endl<< "******************** reading files..." << std::endl;
86 HioPlant plantA( "data/4_transport_unit/plantA.gen");
87 plantA. Write( "tmp_hio_tu_plantA.gen");
89 HioPlant specA( "data/4_transport_unit/specA.gen");
90 specA. Write( "tmp_hio_tu_spec_A.gen");
92 HioConstraint constrE_A( "data/4_transport_unit/constrE_A.gen");
93 constrE_A. Write( "tmp_hio_tu_constrE_A.gen");
95 HioConstraint constrP_A( "data/4_transport_unit/constrP_A.gen");
96 constrP_A. Write( "tmp_hio_tu_constrP_A.gen");
108 controllerA. Write( "tmp_hio_tu_IOcontroller_A.gen");
111 controllerA. Version( "_A", "_B",controllerB);
112 controllerB. Write( "tmp_hio_tu_IOcontroller_B.gen");
116 Parallel(controllerA,plantA,full_loop);
117 full_loop. Write( "tmp_hio_tu_full_loop_A.gen");
119 ext_loop. Write( "tmp_hio_tu_ext_loop_A.gen");
129 HioPlant specB( "data/4_transport_unit/specB.gen");
130 HioConstraint constrE_B( "data/4_transport_unit/constrE_B.gen");
132 std::cout <<std::endl<< "******************** IOshuffle: tmp_hio_tu_shuffAB.gen/.png" << std::endl;
138 std::cout<<std::endl<< "(sizeof shuffAB after statemin: "<<shuffAB. Size()<< ").."<<std::endl;
140 shuffAB. Name( "IO shuffle AB");
141 shuffAB. Write( "tmp_hio_tu_shuffAB.gen");
146 envAB. Write( "tmp_hio_tu_envAB.gen");
155 std::cout <<std::endl<< "********************"<<std::endl << "******************** ready for Controller synthesis for plantAB"<< std::endl<< "********************"<<std::endl;
158 HioPlant specAB( "data/4_transport_unit/specAB.gen");
159 specAB. Write( "tmp_hio_tu_specAB.gen");
176 HioConstraint constrL_AB( "data/4_transport_unit/constrL_AB.gen");
177 constrL_AB. Write( "tmp_hio_tu_constrL_AB.gen");
181 Parallel(constrE_A,constrE_B,locConstrAB);
185 HioSynthHierarchical(shuffAB, envAB, specAB, locConstrAB, constrC_AB, constrL_AB, controllerAB);
189 StateMin(controllerAB,controllerAB);
191 controllerAB. Name( "Controller AB");
192 controllerAB. Write( "tmp_hio_tu_IOcontrollerAB.gen");
193 std::cout<<std::endl<< ">>>>> Synthesis done for Controller AB. <<<<<"<<std::endl;
213 plantA. Version( "_A", "_B",plantX);
214 plantX. Write( "tmp_hio_tu_plantB.gen");
215 plantA. Version( "_A", "_C",plantX);
216 plantX. Write( "tmp_hio_tu_plantC.gen");
217 plantA. Version( "_A", "_D",plantX);
218 plantX. Write( "tmp_hio_tu_plantD.gen");
219 plantA. Version( "_A", "_E",plantX);
220 plantX. Write( "tmp_hio_tu_plantE.gen");
221 plantA. Version( "_A", "_F",plantX);
222 plantX. Write( "tmp_hio_tu_plantF.gen");
223 plantA. Version( "_A", "_G",plantX);
224 plantX. Write( "tmp_hio_tu_plantG.gen");
225 plantA. Version( "_A", "_H",plantX);
226 plantX. Write( "tmp_hio_tu_plantH.gen");
230 envAB. Version( "_AB", "_CD",envX);
231 envX. Version( "_A", "_C",envXtmp);
232 envXtmp. Version( "_B", "_D",envX);
233 envX. Write( "tmp_hio_tu_IOenvironmentCD.gen");
235 envAB. Version( "_AB", "_EF",envX);
236 envX. Version( "_A", "_E",envXtmp);
237 envXtmp. Version( "_B", "_F",envX);
238 envX. Write( "tmp_hio_tu_IOenvironmentEF.gen");
240 envAB. Version( "_AB", "_aBCD",envX);
241 envX. Version( "_A", "_AB",envXtmp);
242 envXtmp. Version( "_B", "_CD",envX);
243 envX. Version( "_aBCD", "_ABCD",envXtmp);
244 envXtmp. Write( "tmp_hio_tu_IOenvironmentABCD.gen");
246 envAB. Version( "_AB", "_EFGH",envX);
247 envX. Version( "_A", "_EF",envXtmp);
248 envXtmp. Version( "_B", "_GH",envX);
249 envX. Write( "tmp_hio_tu_IOenvironmentEFGH.gen");
251 envAB. Version( "_AB", "_a_H",envX);
252 envX. Version( "_A", "_ABCD",envXtmp);
253 envXtmp. Version( "_B", "_EFGH",envX);
254 envX. Version( "_a_H", "_A_H",envXtmp);
255 envXtmp. Write( "tmp_hio_tu_IOenvironmentA_H.gen");
259 controllerAB. Version( "_AB", "_CD",controllerX);
260 controllerX. Version( "_A", "_C",controllerXtmp);
261 controllerXtmp. Version( "_B", "_D",controllerX);
262 controllerX. Write( "tmp_hio_tu_IOcontrollerCD.gen");
264 controllerAB. Version( "_AB", "_EF",controllerX);
265 controllerX. Version( "_A", "_E",controllerXtmp);
266 controllerXtmp. Version( "_B", "_F",controllerX);
267 controllerX. Write( "tmp_hio_tu_IOcontrollerEF.gen");
269 controllerAB. Version( "_AB", "_aBCD",controllerX);
270 controllerX. Version( "_A", "_AB",controllerXtmp);
271 controllerXtmp. Version( "_B", "_CD",controllerX);
272 controllerX. Version( "_aBCD", "_ABCD",controllerXtmp);
273 controllerXtmp. Write( "tmp_hio_tu_IOcontrollerABCD.gen");
275 controllerAB. Version( "_AB", "_EFGH",controllerX);
276 controllerX. Version( "_A", "_EF",controllerXtmp);
277 controllerXtmp. Version( "_B", "_GH",controllerX);
278 controllerX. Write( "tmp_hio_tu_IOcontrollerEFGH.gen");
280 controllerAB. Version( "_AB", "_a_H",controllerX);
281 controllerX. Version( "_A", "_ABCD",controllerXtmp);
282 controllerXtmp. Version( "_B", "_EFGH",controllerX);
283 controllerX. Version( "_a_H", "_A_H",controllerXtmp);
284 controllerXtmp. Write( "tmp_hio_tu_IOcontrollerA_H.gen");
299 std::cout << "function: " << e. Where() << std::endl;
300 std::cout << "exception description: " << e. What() << std::endl;
301 std::cout << "exception id: " << e. Id() << std::endl;
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|