About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
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
37
PushdownGenerator
g1 =
TestGenerator1
();
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
();
77
TestDescInitial
();
78
TestLrm
();
79
TestGeneratorGoto
();
80
TestGeneratorGotoSeq
();
81
TestAug
();
82
TestLrpShiftRules
();
83
TestLrpReduceRules
();
84
TestLrp
();
85
TestGp2Pp
();
86
TestDim
();
87
TestNonblock
();
88
TestTs
();
89
TestTe
();
90
TestRuls
();
91
TestAc
();
92
TestGetPossibleStackTops
();
93
TestRemoveUselessTransitions
();
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
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page