|
Go to the documentation of this file.
40 std::stringstream errstr;
41 errstr << "Generators must be deterministic and prefix-closed";
42 throw Exception( "ConditionalControllability", errstr.str(), 201);
44 for (i = 0; i < genVector. Size(); i++) {
45 if (genVector. At(i).IsDeterministic() == false || IsPrefixClosed(genVector. At(i)) == false) {
46 std::stringstream errstr;
47 errstr << "Generators of genVector must be deterministic and prefix-closed";
48 throw Exception( "ConditionalControllability", errstr.str(), 201);
57 for (i = 0; i < genVector. Size(); i++) {
58 SetUnion(unionset,genVector. At(i).Alphabet(),unionset);
62 for (i = 0; i < genVector. Size(); i++) {
63 for ( Idx j = 0; j < genVector. Size(); j++) {
73 std::cerr << "Initial Ek = { ";
74 EventSet::Iterator eit;
75 for (eit=ek. Begin(); eit != ek. End(); ++eit) {
78 std::cerr << "}" << std::endl;
83 std::stringstream errstr;
84 errstr << "Generator alphabet is not included in union of the alphabets";
85 throw Exception( "ConditionalDecomposability", errstr.str(), 100);
91 std::stringstream errstr;
92 errstr << "Generator alphabet does not include the alphabet ek";
93 throw Exception( "ConditionalDecomposability", errstr.str(), 100);
97 std::cerr << "Extension of Ek for Conditional Decomposability..." << std::endl;
99 for (i = 0; i < genVector. Size(); i++) {
100 ee. Append(genVector. At(i).Alphabet());
106 std::cerr << "Extension of Ek for Li-observers..." << std::endl;
109 for (i = 0; i < genVector. Size(); i++) {
110 if ( IsObs(genVector. At(i),ek*genVector. At(i).Alphabet()) == false ) {
112 EventSet ekHelp = ek * genVector. At(i).Alphabet();
118 std::cerr << "Extended Ek = { ";
119 for (eit=ek. Begin(); eit != ek. End(); ++eit) {
122 std::cerr << "}" << std::endl;
128 for (i = 0; i < genVector. Size(); i++) {
138 for (i = 0; i < genVector. Size(); i++) {
140 Project(gen,ek+genVector. At(i).Alphabet(),pomGen);
157 for (i = 0; i < genVector. Size(); i++) {
162 supCkVector. Append(supCik);
168 for (i = 0; i < supCkVector. Size(); i++) {
176 supVector = supCkVector;
177 std::cout << "Finished: supCk is a subset of all Pk(supCi+k)." << std::endl;
185 for (i = 0; i < genVector. Size(); i++) {
193 for (i = 0; i < invLiVect. Size(); i++) {
194 if ( IsObs(invLiVect. At(i),ek) && IsLCC(invLiVect. At(i),ek) == false ) {
210 for (i = 0; i < genVector. Size(); i++) {
220 for (i = 0; i < genVector. Size(); i++) {
222 Project(gen,ek+genVector. At(i).Alphabet(),pomGen);
230 for (i = 0; i < genVector. Size(); i++) {
235 supCkVector. Append(supCik);
239 supVector = supCkVector;
241 std::cout << "Finished: supCk was NOT a subset of all Pk(supCi+k)." << std::endl;
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|