pd_algo_test.cpp
Go to the documentation of this file.
1 /** @file pd_algo_test.cpp
2 
3 Test, pushdown plugin. Run this file to test functionality of the synthesis algorithm.
4 
5 @ingroup Pushdown
6 
7 @include pd_algo_test.cpp
8 
9 */
10 
11 /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes)
12 
13  Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess
14 
15 */
16 
17 #include "libfaudes.h"
18 // ndont need this, automatica with libfaudes.h
19 // #include "pd_include.h"
20 #include "pd_alg_nb_sub_a_test.h"
21 #include "pd_alg_nb_sub_b_test.h"
22 #include "pd_alg_first_test.h"
23 #include "pd_alg_lrp_test.h"
24 #include "pd_alg_lrm_test.h"
25 #include "pd_alg_cc_test.h"
26 #include "pd_alg_opt_test.h"
27 
28 // make the faudes namespace available to our program
29 using namespace faudes;
30 
31 
32 /**
33  * visual only test for LangK
34  */
35 void TestLangK(){
36 
38  LangK lk(g1);
39  lk.FindLangK(6);
40 }
41 
42 /**
43  * All Tests
44  */
45 void Tests(){
46  TestRenQ();
47  TestRenG();
48  TestRep0();
49  TestFilter();
50  TestFilter1();
51  TestRnpp1();
52  TestRnppl();
53  TestRnpp();
54  TestTimes();
55  TestSplit();
56  TestRpp();
57  TestRep2();
58  TestTransient();
59  TestRnce();
60  TestNda();
61  TestSp2Lr();
62  TestSp2Lr2 ();
63  TestRup();
64  TestPostCl();
65  TestFds();
66  TestFirstL();
67  TestFirstA();
68  TestFirst();
69  TestFirstRed();
70  TestFirstAll();
71  TestFirstLeq1();
72  TestDesc11();
73  TestDesc();
74  TestPassesX();
75  TestLrm1();
76  TestLrmLoop();
78  TestLrm();
81  TestAug();
84  TestLrp();
85  TestGp2Pp();
86  TestDim();
87  TestNonblock();
88  TestTs();
89  TestTe();
90  TestRuls();
91  TestAc();
94  //TestLangK();
95 }
96 
97 
98 /** Run the tests */
99 int main() {
100 
101  Tests();
102 
103 
104  return 0;
105 }
106 
107 
108 
109 
110 
111 
112 
113 
114 
115 

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen