pd_alg_opt.h
Go to the documentation of this file.
1 /** @file pd_alg_opt.h functions for optimizations*/
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 
11 #ifndef FAUDES_PD_ALG_OPT_H
12 #define FAUDES_PD_ALG_OPT_H
13 
14 #include "corefaudes.h"
15 #include "pd_pdgenerator.h"
16 
17 namespace faudes {
18 
19  /**
20  * Delete stack symbols from the generator that are not used in any of the transitions
21  *
22  * @param pd
23  * pushdown generator to trim
24  * @return
25  * trimmed pushdown generator
26  */
28 
29  /**
30  * Remove certain transitions that can never be used because their pop symbol can never
31  * be the stack top.
32  *
33  * @param pd
34  * the generator from which to remove transitions
35  * @return
36  * generator with removed transitions
37  */
39 
40  /**
41  * Get all possible stack top symbols for a state.
42  *
43  * @param pd
44  * the pushdown generator containing the state
45  * @param examinedStates
46  * the already examined states
47  * @param q
48  * the state
49  * @return
50  * set of all possible stack top symbols
51  */
52  StackSymbolSet GetPossibleStackTops(const PushdownGenerator& pd, const StateSet& examinedStates, Idx q);
53 
54 
55 
56 } // namespace faudes
57 
58 #endif

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