Go to the documentation of this file.
19 using namespace faudes;
22 int main( int argc, char* argv[]) {
25 System gen1( "./data/ex_mc/ex_mc1.gen");
26 System gen2( "./data/ex_mc/ex_mc2.gen");
30 std::cout << "#################################################\n";
31 std::cout << "# Mutual controllability verification - result: " << mc << std::endl;
32 std::cout << "#################################################\n";
35 System gen3( "./data/ex_mc/ex_mc3.gen");
38 std::cout << "##################################################\n";
39 std::cout << "# Mutual controllability verification - result: " << mc << std::endl;
40 std::cout << "##################################################\n";
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|