About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
pd_alg_main_test.h
Go to the documentation of this file.
1
/** @file pd_alg_cc_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_CC_TEST_H
11
#define FAUDES_PD_ALG_CC_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
* Test if Transient chooses the right states
21
*/
22
void
TestTransientStates
();
23
24
/**
25
* Test if Transient chooses the right states
26
*/
27
void
TestTransientStatesEmpty
();
28
29
/**
30
* Test if uncontrollable ears are correctly removed.
31
*/
32
void
TestRnceRemoveEars
();
33
34
/**
35
* test for intersect events
36
*/
37
void
TestIntersectEventsAll
();
38
39
/**
40
* test for the the right number of states and for correctly set merge states
41
*/
42
void
TestTimesStates
();
43
44
/**
45
* Test if all stack symbols and the stack bottom are set correctly
46
*/
47
void
TestTimesStackSymbols
();
48
49
/**
50
* Test if the number of lambda transitions and the total number of transitions
51
* is right
52
*/
53
void
TestTimesTransitions
();
54
55
/**
56
* Test if the stack bottom remains unchanged and all stack symbols from the
57
* old generator are in the split generator
58
*/
59
void
TestSplitStackSymbols
();
60
61
/**
62
* Test if the states have been split correctly into heads and ears
63
*/
64
void
TestSplitStates
();
65
66
/**
67
* Test if all transitions originating at heads end at ears and if the pop/push
68
* of the transition is correctly set.
69
*/
70
void
TestSplitTransitionsHeadToEar
();
71
72
/**
73
* Test if all transitions originating at ears end at heads and if the pop
74
* of the transition is correctly set.
75
*/
76
void
TestSplitTransitionsEarToHead
();
77
78
/**
79
* Test Te with transitions that are unreachable
80
*/
81
void
TestTsUnreachable
();
82
83
/**
84
* Test if Ac makes the test generator accessible
85
*/
86
void
TestAcAccessible
();
87
88
/**
89
* All Transient tests
90
*/
91
void
TestTransient
();
92
93
/**
94
* All Rnce tests
95
*/
96
void
TestRnce
();
97
98
/**
99
* all Times tests
100
*/
101
void
TestTimes
();
102
103
/**
104
* all IntersectEvents tests
105
*/
106
void
TestIntersectEvents
();
107
108
/**
109
* all Split tests
110
*/
111
void
TestSplit
();
112
113
/**
114
* all Ac tests
115
*/
116
void
TestAc
();
117
118
}
// namespace faudes
119
120
#endif
libFAUDES 2.28c
--- 2016.09.30 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page