|
Go to the documentation of this file.
14 using namespace faudes;
22 System g1, g2, g3, gk, spec, plant;
27 g1. Read( "data/gen1.gen");
28 g2. Read( "data/gen2.gen");
29 g3. Read( "data/gen3.gen");
30 spec. Read( "data/spec.gen");
37 e1. Read( "data/e1.alph");
38 e2. Read( "data/e2.alph");
39 e3. Read( "data/e3.alph");
40 ek. Read( "data/ek.alph");
41 ec. Read( "data/ec.alph");
52 std::cout << "The language is conditionally decomposable." << std::endl;
55 std::cout << "The language is not conditionally decomposable." << std::endl
56 << "The proof strings are showin in the \'proof\' generator." << std::endl;
65 System PkK, P1kK, P2kK, P3kK;
79 std::cout << "The language is conditionally controllable." << std::endl;
82 std::cout << "The language is not conditionally controllable." << std::endl;
91 std::cout << "The language is conditionally closed." << std::endl;
94 std::cout << "The language is not conditionally closed." << std::endl;
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|