pd_algo_test.cpp

Go 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