About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
pd_alg_nb_sub_a_test.h
Go to the documentation of this file.
1
/** @file pd_alg_nb_sub_a_test.h Unit Tests */
2
3
4
/* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes)
5
6
Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess
7
8
*/
9
10
#ifndef FAUDES_PD_ALG_NB_SUB_A_TEST_H
11
#define FAUDES_PD_ALG_NB_SUB_A_TEST_H
12
13
#include "
corefaudes.h
"
14
#include "
pd_include.h
"
15
#include "
pd_test_util.h
"
16
17
namespace
faudes {
18
19
/**
20
* Filter a nonterminal from a vector of terminals and nonterminals.
21
*/
22
void
TestFilterMixedGrammarSymbols
();
23
24
/**
25
* filter from an empty word
26
*/
27
void
TestFilterNothing
();
28
29
/**
30
* Find an eliminable symbol with Rnpp1 and an empty set of nonterminals
31
*/
32
void
TestRnpp1FindSymbolsEmptySet
();
33
34
/**
35
* Find an eliminable symbol with Rnpp1 and a nonempty set of nonterminals
36
*/
37
void
TestRnpp1FindSymbolsNonemptySet
();
38
39
/**
40
* Find all eliminable symbols with Rnppl and an empty set of nonterminals
41
*/
42
void
TestRnpplFindSymbolsEmptySet
();
43
44
/**
45
* Find all eliminable symbolswith Rnppl and a nonempty set of nonterminals
46
*/
47
void
TestRnpplFindSymbolsNonemptySet
();
48
49
/**
50
* Find all eliminable symbols with Rnppl and a set already containing all
51
* eliminable symbols
52
*/
53
void
TestRnpplFindSymbolsCompleteSet
();
54
55
/**
56
* Remove all noneliminable nonterminals and all productions containing
57
* noneliminable nonterminals
58
*/
59
void
TestRnppGrammar1
();
60
61
/**
62
* Remove all noneliminable nonterminals and all productions containing
63
* noneliminable nonterminals
64
*/
65
void
TestRnppGrammar2
();
66
67
/**
68
* Try to remove all noneliminable nonterminals and all productions containing
69
* noneliminable nonterminals from an empty grammar.
70
*/
71
void
TestRnppEmptyGrammar
();
72
73
/**
74
* Test if all terminals have been set correctly and match the generator's events.
75
*/
76
void
TestSp2LrTerminals
();
77
78
/**
79
* Test if all possible nonterminals were generated.
80
*/
81
void
TestSp2LrNonterminals
();
82
83
/**
84
* Test if all expected productions for read, pop and push transitions and for the final
85
* states were generated.
86
*/
87
void
TestSp2LrProductions
();
88
89
/**
90
* Test if all expected productions for read, pop and push transitions and for the final
91
* states were generated.
92
*/
93
void
TestSp2Lr2Productions
();
94
95
/**
96
*
97
*/
98
void
TestRupProductions
();
99
100
/**
101
*
102
*/
103
void
TestRupNonterminals
();
104
105
/**
106
* All Filter tests
107
*/
108
void
TestFilter
();
109
110
/**
111
* All Rnpp1 tests
112
*/
113
void
TestRnpp1
();
114
115
/**
116
* All Rnppl tests
117
*/
118
void
TestRnppl
();
119
120
/**
121
* All Rnpp tests
122
*/
123
void
TestRnpp
();
124
125
/**
126
* All Sp2Lr tests
127
*/
128
void
TestSp2Lr
();
129
130
/**
131
* All Sp2Lr tests
132
*/
133
void
TestSp2Lr2
();
134
135
/**
136
* All Rup tests
137
*/
138
void
TestRup
();
139
140
}
// namespace faudes
141
142
#endif
libFAUDES 2.24g
--- 2014.09.15 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page