00001
00014 #include <stdio.h>
00015 #include <iostream>
00016 #include <libfaudes.h>
00017 #include <op_observer.h>
00018
00019
00020
00021 int main(int argc, char* argv[])
00022 {
00024
00026
00027
00028 cGenerator genOrig = Generator("data/ex_verification/ex_isnot_observer.gen");
00029
00030 EventSet highAlph = EventSet("data/ex_verification/ex_isnot_observer.alph", "Alphabet");
00031
00032 bool observer = IsObs(genOrig, highAlph);
00033 std::cout << "##################################\n";
00034 std::cout << "# Observer verification result: " << observer << endl;
00035 std::cout << "##################################\n";
00036
00037
00038
00039 genOrig.Read("data/ex_verification/ex_is_observer.gen");
00040 highAlph.Read("data/ex_verification/ex_is_observer.alph", "Alphabet");
00041
00042 observer = IsObs(genOrig, highAlph);
00043 std::cout << "##################################\n";
00044 std::cout << "Observer verification result: " << observer << endl;
00045 std::cout << "##################################\n";
00046
00048
00050
00051
00052
00053 bool occ = IsOCC(genOrig, highAlph);
00054 std::cout << "###########################\n";
00055 std::cout << "OCC verification result: " << occ << endl;
00056 std::cout << "###########################\n";
00057
00058
00059 genOrig.Read("data/ex_verification/ex_is_occ.gen");
00060
00061 occ = IsOCC(genOrig, highAlph);
00062 std::cout << "###########################\n";
00063 std::cout << "OCC verification result: " << occ << endl;
00064 std::cout << "###########################\n";
00065
00067
00069
00070
00071 bool lcc = IsLCC(genOrig, highAlph);
00072 std::cout << "###########################\n";
00073 std::cout << "lcc verification result: " << lcc << endl;
00074 std::cout << "###########################\n";
00075
00076 genOrig.Read("data/ex_verification/ex_is_observer.gen");
00077
00078 lcc = IsLCC(genOrig, highAlph);
00079 std::cout << "###########################\n";
00080 std::cout << "lcc verification result: " << lcc << endl;
00081 std::cout << "###########################\n";
00082
00083 genOrig.Read("data/ex_verification/ex_is_lcc.gen");
00084
00085 lcc = IsLCC(genOrig, highAlph);
00086 std::cout << "###########################\n";
00087 std::cout << "lcc verification result: " << lcc << endl;
00088 std::cout << "###########################\n";
00089
00090 return 0;
00091 }