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_include.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 Mon Nov 10 08:13:14 2008 for libFAUDES 2.11v by  doxygen 1.4.4