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  */
24 
25 /**
26  * Test if GetPossibleStackTops finds the correct stack symbols
27  */
29 
30 /**
31  * all RemoveUselessTransitions tests
32  */
34 
35 /**
36  * all GetPossibleStackTops tests
37  */
39 
40 } // namespace faudes
41 
42 #endif

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen