|
Go to the documentation of this file.
20 using namespace faudes;
23 int main( int argc, char* argv[]) {
29 System genOrig = Generator( "data/ex_verification/ex_isnot_observer.gen");
31 EventSet highAlph = EventSet( "data/ex_verification/ex_isnot_observer.alph", "Alphabet");
34 bool observer = IsObs(genOrig, highAlph);
35 std::cout << "##################################\n";
36 std::cout << "# Observer verification result: " << observer << std::endl;
37 std::cout << "##################################\n";
41 genOrig. Read( "data/ex_verification/ex_is_observer.gen");
42 highAlph. Read( "data/ex_verification/ex_is_observer.alph", "Alphabet");
45 observer = IsObs(genOrig, highAlph);
46 std::cout << "##################################\n";
47 std::cout << "Observer verification result: " << observer << std::endl;
48 std::cout << "##################################\n";
56 bool occ = IsOCC(genOrig, highAlph);
57 std::cout << "###########################\n";
58 std::cout << "OCC verification result: " << occ << std::endl;
59 std::cout << "###########################\n";
62 genOrig. Read( "data/ex_verification/ex_is_occ.gen");
64 occ = IsOCC(genOrig, highAlph);
65 std::cout << "###########################\n";
66 std::cout << "OCC verification result: " << occ << std::endl;
67 std::cout << "###########################\n";
74 bool lcc = IsLCC(genOrig, highAlph);
75 std::cout << "###########################\n";
76 std::cout << "lcc verification result: " << lcc << std::endl;
77 std::cout << "###########################\n";
79 genOrig. Read( "data/ex_verification/ex_is_observer.gen");
81 lcc = IsLCC(genOrig, highAlph);
82 std::cout << "###########################\n";
83 std::cout << "lcc verification result: " << lcc << std::endl;
84 std::cout << "###########################\n";
86 genOrig. Read( "data/ex_verification/ex_is_lcc.gen");
88 lcc = IsLCC(genOrig, highAlph);
89 std::cout << "###########################\n";
90 std::cout << "lcc verification result: " << lcc << std::endl;
91 std::cout << "###########################\n";
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|