About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
pd_alg_opt_test.h
Go to the documentation of this file.
1
/** @file pd_alg_opt_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_OPT_TEST_H
11
#define FAUDES_PD_ALG_OPT_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 RemoveUselessTransitions removes the correct amount of transitions from a
21
* test generator.
22
*/
23
void
TestRemoveUselessTransitionsNumberOfTransitions
();
24
25
/**
26
* Test if GetPossibleStackTops finds the correct stack symbols
27
*/
28
void
TestGetPossibleStackTopsFindCorrectOnes
();
29
30
/**
31
* all RemoveUselessTransitions tests
32
*/
33
void
TestRemoveUselessTransitions
();
34
35
/**
36
* all GetPossibleStackTops tests
37
*/
38
void
TestGetPossibleStackTops
();
39
40
}
// namespace faudes
41
42
#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