Index of types


A
appli_criterion [SlicingInternals]

C
call_info [SlicingInternals]
called_by [SlicingInternals]
called_fct [SlicingInternals]
criterion [SlicingInternals]

F
fct_base_criterion [SlicingInternals]
fct_crit [SlicingInternals]
fct_criterion [SlicingInternals]
fct_id [SlicingInternals]
fct_info [SlicingInternals]
Type for all the informations related to any function, even if we don't have its definition.
fct_slice [SlicingInternals]
fct_user_crit [SlicingInternals]
ff_marks [SlicingInternals]

L
level_option [SlicingInternals]
associate a level to each function in order to control how it will be specialized.
loc_point [SlicingInternals]

M
mark [SlicingInternals]
Kinds of elementary marks.
marks_index [SlicingInternals]

N
n_or_d_marks [SlicingActions]
selection mode (ie which mark to associate to the node and how to propagate in the different kinds of dependencies)
node_or_dpds [SlicingInternals]

P
pdg_mark [SlicingInternals]
Each PDG element has 2 marks to deal with interprocedural propagation
project [SlicingInternals]

S
select [SlicingActions]
sig_marks [SlicingMarks]
sl_fct_slice [SlicingTypes]
Function slice
sl_mark [SlicingTypes]
Marks : used to put 'colors' in the result
sl_project [SlicingTypes]
contains global things that has been computed so far for the slicing project.
sl_select [SlicingTypes]
Type of the selections (we store the varinfo because we cannot use the kernel_function in this file)