|
Go to the documentation of this file.
17 FD_DF( "Conditionaldecomposability checking...");
21 std::stringstream errstr;
22 errstr << "Generator must be deterministic, but is nondeterministic";
23 throw Exception( "ConditionalDecomposability", errstr.str(), 201);
28 std::stringstream errstr;
29 errstr << "At least two alphabets must be included in the EventSetVector";
30 throw Exception( "ConditionalDecomposability", errstr.str(), 201);
35 for ( Idx i = 0; i < ee. Size(); ++i) {
36 unionset = unionset + ee. At(i);
41 for ( Idx i = 0; i < ee. Size(); i++) {
42 for ( Idx j = 0; j < ee. Size(); j++) {
44 shared = shared + ( ee. At(i) * ee. At(j) );
52 std::stringstream errstr;
53 errstr << "Generator alphabet is not included in union of the alphabets";
54 throw Exception( "ConditionalDecomposability", errstr.str(), 100);
60 std::stringstream errstr;
61 errstr << "Generator alphabet does not include the alphabet ek";
62 throw Exception( "ConditionalDecomposability", errstr.str(), 100);
68 std::stringstream errstr;
69 errstr << "Ek does not include all shared events";
70 throw Exception( "ConditionalDecomposability", errstr.str(), 100);
74 for ( Idx i = 0; i < n; ++i) {
79 for ( Idx j = 0; j < n; ++j) {
80 if ( i == j ) continue;
81 uset = uset + ee. At(j);
86 if ( IsCD(gen,eev,ek,unionset,proof) == false ) return false;
106 EventSet::Iterator eit;
108 for (i = 0; i < ee. Size(); ++i) {
110 notInEiEk = unionset - ( ee. At(i) + ek );
112 for (eit = notInEiEk. Begin(); eit != notInEiEk. End(); ++eit) {
116 unionsetNew = unionsetNew + copy.Alphabet();
121 for (i = 1; i < copies. Size(); ++i) {
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|