op_ex_mc.cpp

Go to the documentation of this file.
00001 
00013 #include <stdio.h>
00014 #include <iostream>
00015 #include <libfaudes.h>
00016 #include <op_observer.h>
00017 
00018 
00019 
00020 int main(int argc, char* argv[])
00021 {
00022 
00023   // read two generators from file input
00024   cGenerator gen1("./data/ex_mc/ex_mc1.gen");
00025   cGenerator gen2("./data/ex_mc/ex_mc2.gen");
00026   
00027   // Verify mutual controllability of gen1 and gen2. In this case, mutual controllabiity is violated.
00028   bool mc = MutualControllability(gen1,gen2);
00029   std::cout << "#################################################\n";
00030   std::cout << "# Mutual controllability verification - result: " << mc << endl;
00031   std::cout << "#################################################\n";
00032   
00033   // read one further generator from file input
00034   cGenerator gen3("./data/ex_mc/ex_mc3.gen");
00035   // Verify mutual controllability of gen3 and gen2. In this case, mutual controllability holds.
00036   mc = MutualControllability(gen3,gen2);
00037   std::cout << "##################################################\n";
00038   std::cout << "# Mutual controllability verification - result: " << mc << endl;
00039   std::cout << "##################################################\n";
00040 
00041     
00042 return 0;
00043 }

Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4