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.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
*/
27
PushdownGenerator
TrimStackSymbols
(
const
PushdownGenerator
& pd);
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
*/
38
PushdownGenerator
RemoveUselessTransitions
(
const
PushdownGenerator
& pd);
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
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page