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_sub_test.h"
21 #include "pd_alg_first_test.h"
22 #include "pd_alg_lrp_test.h"
23 #include "pd_alg_lrm_test.h"
24 #include "pd_alg_main_test.h"
25 #include "pd_test_util.h"
26 
27 // make the faudes namespace available to our program
28 using namespace faudes;
29 
30 
31 /**
32  * visual only test for LangK
33  */
34 void TestLangK(){
35 
37  LangK lk(g1);
38  lk.FindLangK(6);
39 }
40 
41 /**
42  * All Tests
43  */
44 void Tests(){
48  TestFilter();
49  TestFilter1();
50  TestRnpp1();
51  TestRnppl();
52  TestRnpp();
53  TestTimes();
54  TestSplit();
55  TestSPDA();
57  TestTransient();
58  TestRnce();
59  TestNda();
60  TestSp2Lr();
61  TestRup();
62  TestPostCl();
63  TestFds();
64  TestFirstL();
65  TestFirstA();
66  TestFirst();
67  TestFirstRed();
68  TestFirstAll();
69  TestFirstLeq1();
70  TestDesc11();
71  TestDesc();
72  TestPassesX();
73  TestLrm1();
74  TestLrmLoop();
76  TestLrm();
79  TestAug();
82  TestLrp();
84  TestDim();
85  TestAc();
86 // //TestLangK();
87 }
88 
89 
90 /** Run the tests */
91 int main() {
92 
93  Tests();
94 
95 
96  return 0;
97 }
98 
99 
100 
101 
102 
103 
104 
105 
106 
107 

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen