|
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);
27 if (rAlphabets. Size() < 2) {
28 std::stringstream errstr;
29 errstr << "At least two alphabets must be included in the EventSetVector";
30 throw Exception( "ConditionalDecomposability", errstr.str(), 201);
39 for (i = 0; i < ee. Size(); i++) {
44 for (i = 0; i < ee. Size(); i++) {
45 for ( Idx j = 0; j < ee. Size(); j++) {
57 std::stringstream errstr;
58 errstr << "Generator alphabet is not included in union of the alphabets";
59 throw Exception( "ConditionalDecomposability", errstr.str(), 100);
65 std::stringstream errstr;
66 errstr << "Generator alphabet does not include the alphabet ek";
67 throw Exception( "ConditionalDecomposability", errstr.str(), 100);
73 std::stringstream errstr;
74 errstr << "Ek does not include all shared events";
75 throw Exception( "ConditionalDecomposability", errstr.str(), 100);
81 EventSet::Iterator eit;
83 for (i = 0; i < ee. Size(); i++) {
89 for (eit = EiEkdifUnionset.Begin(); eit != EiEkdifUnionset.End(); ++eit) {
98 for (i = 1; i < copies. Size(); i++) {
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|