|
Go to the documentation of this file.
17 FD_DF( "Conditionalclosedness checking...");
22 if (specVect. Size() != genVect. Size()) {
23 std::stringstream errstr;
24 errstr << "The sizes of specVect and genVect are different.";
25 throw Exception( "ConditionalClosedness", 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( "ConditionalClosednes", errstr.str(), 201);
38 std::stringstream errstr;
39 errstr << "Generator pk must be deterministic, but is nondeterministic";
40 throw Exception( "ConditionalClosedness", 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( "ConditionalClosedness", errstr.str(), 201);
52 std::stringstream errstr;
53 errstr << "Generator gk must be deterministic, but is nondeterministic";
54 throw Exception( "ConditionalClosedness", errstr.str(), 201);
63 for (i = 0; i < specVect. Size(); i++) {
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|