pd_algo_test.cpp File ReferenceTest, pushdown plugin. More... #include "libfaudes.h" #include "pd_alg_nb_sub_a_test.h" #include "pd_alg_nb_sub_b_test.h" #include "pd_alg_first_test.h" #include "pd_alg_lrp_test.h" #include "pd_alg_lrm_test.h" #include "pd_alg_cc_test.h" #include "pd_alg_opt_test.h" Go to the source code of this file.
Detailed DescriptionTest, pushdown plugin. Run this file to test functionality of the synthesis algorithm. /** @file pd_algo_test.cpp Test, pushdown plugin. Run this file to test functionality of the synthesis algorithm. @ingroup Pushdown @include pd_algo_test.cpp */ /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes) Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess */ #include "libfaudes.h" // ndont need this, automatica with libfaudes.h // #include "pd_include.h" #include "pd_alg_nb_sub_a_test.h" #include "pd_alg_nb_sub_b_test.h" #include "pd_alg_first_test.h" #include "pd_alg_lrp_test.h" #include "pd_alg_lrm_test.h" #include "pd_alg_cc_test.h" #include "pd_alg_opt_test.h" // make the faudes namespace available to our program using namespace faudes; /** * visual only test for LangK */ void TestLangK(){ PushdownGenerator g1 = TestGenerator1(); LangK lk(g1); lk.FindLangK(6); } /** * All Tests */ void Tests(){ TestRenQ(); TestRenG(); TestRep0(); TestFilter(); TestFilter1(); TestRnpp1(); TestRnppl(); TestRnpp(); TestTimes(); TestSplit(); TestRpp(); TestRep2(); TestTransient(); TestRnce(); TestNda(); TestSp2Lr(); TestSp2Lr2 (); TestRup(); TestPostCl(); TestFds(); TestFirstL(); TestFirstA(); TestFirst(); TestFirstRed(); TestFirstAll(); TestFirstLeq1(); TestDesc11(); TestDesc(); TestPassesX(); TestLrm1(); TestLrmLoop(); TestDescInitial(); TestLrm(); TestGeneratorGoto(); TestGeneratorGotoSeq(); TestAug(); TestLrpShiftRules(); TestLrpReduceRules(); TestLrp(); TestGp2Pp(); TestDim(); TestNonblock(); TestTs(); TestTe(); TestRuls(); TestAc(); TestGetPossibleStackTops(); TestRemoveUselessTransitions(); //TestLangK(); } /** Run the tests */ int main() { Tests(); return 0; } Definition in file pd_algo_test.cpp. Function Documentation
Run the tests. Definition at line 99 of file pd_algo_test.cpp.
visual only test for LangK Definition at line 35 of file pd_algo_test.cpp.
All Tests. Definition at line 45 of file pd_algo_test.cpp. libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |