Go to the documentation of this file.
16 using namespace faudes;
19 int main( int argc, char* argv[]) {
22 System gen1( "./data/ex_mc/ex_mc1.gen");
23 System gen2( "./data/ex_mc/ex_mc2.gen");
27 std::cout << "#################################################\n";
28 std::cout << "# Mutual controllability verification - result: " << mc << std::endl;
29 std::cout << "#################################################\n";
32 System gen3( "./data/ex_mc/ex_mc3.gen");
35 std::cout << "##################################################\n";
36 std::cout << "# Mutual controllability verification - result: " << mc << std::endl;
37 std::cout << "##################################################\n";
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|