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_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
36
PushdownGenerator
g1 =
TestGenerator1
();
37
LangK
lk(g1);
38
lk.
FindLangK
(6);
39
}
40
41
/**
42
* All Tests
43
*/
44
void
Tests
(){
45
TestAnnotatePdStates
();
46
TestRenameStackSymbols
();
47
TestRemoveLambdaPop
();
48
TestFilter
();
49
TestFilter1
();
50
TestRnpp1
();
51
TestRnppl
();
52
TestRnpp
();
53
TestTimes
();
54
TestSplit
();
55
TestSPDA
();
56
TestRemoveMultPop
();
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
();
75
TestDescInitial
();
76
TestLrm
();
77
TestGeneratorGoto
();
78
TestGeneratorGotoSeq
();
79
TestAug
();
80
TestLrpShiftRules
();
81
TestLrpReduceRules
();
82
TestLrp
();
83
TestLrParser2EPDA
();
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
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page