pd_algo_test.cppGo to the documentation of this file.00001 /** @file pd_algo_test.cpp 00002 00003 Test, pushdown plugin. Run this file to test functionality of the synthesis algorithm. 00004 00005 @ingroup Pushdown 00006 00007 @include pd_algo_test.cpp 00008 00009 */ 00010 00011 /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes) 00012 00013 Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess 00014 00015 */ 00016 00017 #include "libfaudes.h" 00018 // ndont need this, automatica with libfaudes.h 00019 // #include "pd_include.h" 00020 #include "pd_alg_nb_sub_a_test.h" 00021 #include "pd_alg_nb_sub_b_test.h" 00022 #include "pd_alg_first_test.h" 00023 #include "pd_alg_lrp_test.h" 00024 #include "pd_alg_lrm_test.h" 00025 #include "pd_alg_cc_test.h" 00026 #include "pd_alg_opt_test.h" 00027 00028 // make the faudes namespace available to our program 00029 using namespace faudes; 00030 00031 00032 /** 00033 * visual only test for LangK 00034 */ 00035 void TestLangK(){ 00036 00037 PushdownGenerator g1 = TestGenerator1(); 00038 LangK lk(g1); 00039 lk.FindLangK(6); 00040 } 00041 00042 /** 00043 * All Tests 00044 */ 00045 void Tests(){ 00046 TestRenQ(); 00047 TestRenG(); 00048 TestRep0(); 00049 TestFilter(); 00050 TestFilter1(); 00051 TestRnpp1(); 00052 TestRnppl(); 00053 TestRnpp(); 00054 TestTimes(); 00055 TestSplit(); 00056 TestRpp(); 00057 TestRep2(); 00058 TestTransient(); 00059 TestRnce(); 00060 TestNda(); 00061 TestSp2Lr(); 00062 TestSp2Lr2 (); 00063 TestRup(); 00064 TestPostCl(); 00065 TestFds(); 00066 TestFirstL(); 00067 TestFirstA(); 00068 TestFirst(); 00069 TestFirstRed(); 00070 TestFirstAll(); 00071 TestFirstLeq1(); 00072 TestDesc11(); 00073 TestDesc(); 00074 TestPassesX(); 00075 TestLrm1(); 00076 TestLrmLoop(); 00077 TestDescInitial(); 00078 TestLrm(); 00079 TestGeneratorGoto(); 00080 TestGeneratorGotoSeq(); 00081 TestAug(); 00082 TestLrpShiftRules(); 00083 TestLrpReduceRules(); 00084 TestLrp(); 00085 TestGp2Pp(); 00086 TestDim(); 00087 TestNonblock(); 00088 TestTs(); 00089 TestTe(); 00090 TestRuls(); 00091 TestAc(); 00092 TestGetPossibleStackTops(); 00093 TestRemoveUselessTransitions(); 00094 //TestLangK(); 00095 } 00096 00097 00098 /** Run the tests */ 00099 int main() { 00100 00101 Tests(); 00102 00103 00104 return 0; 00105 } 00106 00107 00108 00109 00110 00111 00112 00113 00114 00115 libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |