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
00024 cGenerator gen1("./data/ex_mc/ex_mc1.gen");
00025 cGenerator gen2("./data/ex_mc/ex_mc2.gen");
00026
00027
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
00034 cGenerator gen3("./data/ex_mc/ex_mc3.gen");
00035
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 }