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]
set [Api.Select]
set [SlicingCmds]
set [Slicing.Api.Select]

Set of colored selections.

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)

T
t [Api.Slice]
t [Api.Select]
t [Api.Mark]
t [Slicing.Api.Slice]

Abstract data type for function slice.

t [Slicing.Api.Select]

Internal selection.

t [Slicing.Api.Mark]

Abstract data type for mark value.