|
Go to the documentation of this file.
17 FD_DF( "Conditionalcontrollability checking...");
22 if (specVect. Size() != genVect. Size()) {
23 std::stringstream errstr;
24 errstr << "The sizes of specVect and genVect are different.";
25 throw Exception( "ConditionalControllability", errstr.str(), 201);
29 for (i = 0; i < specVect. Size(); i++) {
30 if (specVect. At(i).IsDeterministic() == false) {
31 std::stringstream errstr;
32 errstr << "Generators of specVect must be deterministic, but there is a nondeterministic one";
33 throw Exception( "ConditionalControllability", errstr.str(), 201);
38 std::stringstream errstr;
39 errstr << "Generator pk must be deterministic, but is nondeterministic";
40 throw Exception( "ConditionalControllability", errstr.str(), 201);
43 for (i = 0; i < genVect. Size(); i++) {
44 if (genVect. At(i).IsDeterministic() == false) {
45 std::stringstream errstr;
46 errstr << "Generators of genVect must be deterministic, but there is a nondeterministic one";
47 throw Exception( "ConditionalControllability", errstr.str(), 201);
52 std::stringstream errstr;
53 errstr << "Generator gk must be deterministic, but is nondeterministic";
54 throw Exception( "ConditionalControllability", errstr.str(), 201);
62 std::stringstream errstr;
63 errstr << "Generators pk and gk must be nonblocking";
64 throw Exception( "ConditionalControllability", errstr.str(), 201);
75 for (i = 0; i < specVect. Size(); i++) {
85 std::stringstream errstr;
86 errstr << i << "th generator or specification projection is blocking";
87 throw Exception( "ConditionalControllability", errstr.str(), 201);
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|