|
Go to the documentation of this file.
16 using namespace faudes;
26 MtcSystem original, accNotStrCoac, notAccStrCoac, strTrim;
56 original. Write( "tmp_mtc_functions_1a_not_trim.gen");
57 original. GraphWrite( "tmp_mtc_functions_1a_not_trim.png");
63 std::cout << std::endl << "Original generator is not accessible" << std::endl;
65 std::cout << "Original generator is not strongly coaccessible" << std::endl;
67 std::cout << "Original generator is not strongly trim" << std::endl << std::endl;
72 accNotStrCoac = original;
75 accNotStrCoac. Write( "tmp_mtc_functions_1b_acc.gen");
76 accNotStrCoac. GraphWrite( "tmp_mtc_functions_1b_acc.png");
79 std::cout << "accNotStrCoac is accessible" << std::endl;
81 std::cout << "accNotStrCoac is not strongly trim" << std::endl << std::endl;
84 notAccStrCoac = original;
87 notAccStrCoac. Write( "tmp_mtc_functions_1c_str_trim.gen");
88 notAccStrCoac. GraphWrite( "tmp_mtc_functions_1c_str_trim.png");
91 std::cout << "notAccStrCoac is strongly coaccessible" << std::endl;
93 std::cout << "notAccStrCoac is not strongly trim" << std::endl << std::endl;
99 strTrim. Write( "tmp_mtc_functions_1d_str_trim.gen");
100 strTrim. GraphWrite( "tmp_mtc_functions_1d_str_trim.png");
103 std::cout << "strTrim is accessible" << std::endl;
105 std::cout << "strTrim is strongly coaccessible" << std::endl;
107 std::cout << "strTrim is strongly trim" << std::endl << std::endl;
141 nondet. Write( "tmp_mtc_functions_2a_nondet.gen");
142 nondet. GraphWrite( "tmp_mtc_functions_2a_nondet.png");
149 det. Write( "tmp_mtc_functions_2b_det.gen");
150 det. GraphWrite( "tmp_mtc_functions_2b_det.png");
185 original. Write( "tmp_mtc_functions_3a_system.gen");
186 original. GraphWrite( "tmp_mtc_functions_3a_system.png");
198 projected. Write( "tmp_mtc_functions_3b_projected.gen");
199 projected. GraphWrite( "tmp_mtc_functions_3b_projected.png");
207 original. Write( "tmp_mtc_functions_3c_projected_nondet.gen");
208 original. GraphWrite( "tmp_mtc_functions_3c_projected_nondet.png");
227 gen_a. Write( "tmp_mtc_functions_4a_system.gen");
228 gen_a. GraphWrite( "tmp_mtc_functions_4a_system.png");
243 gen_b. Write( "tmp_mtc_functions_4b_system.gen");
244 gen_b. GraphWrite( "tmp_mtc_functions_4b_system.png");
252 gen_ab. Write( "tmp_mtc_functions_4c_parallel.gen");
253 gen_ab. GraphWrite( "tmp_mtc_functions_4c_parallel.png");
285 model. Write( "tmp_mtc_functions_5_plant.gen");
286 model. GraphWrite( "tmp_mtc_functions_5_plant.png");
298 spec. Write( "tmp_mtc_functions_5_spec.gen");
299 spec. GraphWrite( "tmp_mtc_functions_5_spec.png");
307 spec. Write( "tmp_mtc_functions_5_spec_invpro.gen");
308 spec. GraphWrite( "tmp_mtc_functions_5_spec_invpro.png");
315 sup. Write( "tmp_mtc_functions_5_super.gen");
316 sup. GraphWrite( "tmp_mtc_functions_5_super.png");
323 sup_nb. Write( "tmp_mtc_functions_5_supernb.gen");
324 sup_nb. GraphWrite( "tmp_mtc_functions_5_supernb.png");
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|