Index of module types


A
Arithmetic_Value [Abstract_interp]

B
BOOL [Plugin]
Signature for a boolean parameter.
BackwardsTransfer [Dataflow]

C
COMPLEX_VALUE [Plugin]
input signature for IndexedVal
COMPLEX_VALUE [Kernel]
Cacheable [Binary_cache]
Collapse [Abstract_interp]
Common [Parameters.Dynamic]
Set of common operations on parameters.

D
DATA [Qstack]

F
ForwardsTransfer [Dataflow]

G
GEN_STRING_SET [Plugin]
Signature for a generic set of strings option.
General_services [Plugin]

H
HASHTBL [Datatype]
Sub-signature of Hashtbl.S.
HASHTBL [Computation]
HASHTBL_OUTPUT [Computation]
Output signature of builders of hashtables.

I
INDEXED_VAL [Plugin]
option interface
INFO [Project.Computation]
Some additional informations used by Project.Computation.Register.
INOUT [Db]
Signature for inputs and/or outputs computations.
INPUT [Project.Computation]
Main input signature of Project.Computation.Register.
INPUT [Project.Datatype]
INT [Plugin]
Signature for an integer parameter.

K
KIND [Project]
Common signature of kinds.
Key [Abstract_interp]

L
Lattice [Abstract_interp]
Generic lattice.
Lattice_Base [Abstract_interp]
Lattice_Product [Abstract_interp]
Lattice_Set [Abstract_interp]
Lattice_Sum [Abstract_interp]
Lattice_With_Diff [Abstract_interp]
Location_map [Lmap]
Location_map_bitwise [Lmap_bitwise]

M
MAP [Datatype]
Sub-signature of Map.S.
Mapl [Cilutil]
Messages [Log]
Model_S [Relations_type]

N
NAME [Signature]
NAME_DPDS [Signature]
NAME_SIZE [Signature]
NAME_SIZE_DPDS [Signature]

O
OPTION_REF_OUTPUT [Computation]
Output signature of OptionRef.
OUTPUT [Project.Computation]
Output signature of Project.Computation.Register.
OldDynlink [Dynlink_common_interface]
OrderedType [SetWithNearest]
Input signature of the functor SetWithNearest.Make.
OrderedType [Rangemap]
Input signature of the functor Map.Make.

P
POLYMORPHIC [Type]
For a polymorphic type value with one type variable, you must use an implementation of this signature.
POLYMORPHIC2 [Type]
Same as POLYMORPHIC for types with two type variables.
Parameter [Plugin]
Generic outputs signatures of parameters.
Parameter_input [Plugin]
Minimal signature to implement for each parameter corresponding to an option on the command line argument.
Parameter_input [Kernel]
Parameter_input_with_arg [Plugin]
Minimal signature to implement for each parameter corresponding to an option on the command line argument which requires an argument.
Parameter_input_with_arg [Kernel]

Q
QUEUE [Computation]

R
REF_INPUT [Computation]
Signature of the stored data.
REF_OUTPUT [Computation]
Output signature of Ref.
Result [Binary_cache]

S
S [SetWithNearest]
Output signature of the functor SetWithNearest.Make.
S [Rangemap]
Output signature of the functor Map.Make.
S [Ptset]
S [Project.Datatype]
S [Plugin]
S [Offsetmap]
S [Mweak]
The output signature of the functor Mweak.Make.
S [Mergemap]
Output signature of the functor Map.Make.
S [Hook]
Output signature.
S [Db.Properties.Status]
S [Buckx]
SELECTION [Kind]
Signature of a selection of kinds.
SET [Datatype]
Sub-signature of Set.S.
SET [Computation]
SET_REF_OUTPUT [Computation]
Output signature of builders of references on a set.
SIZE [Signature]
STACK [Cilutil]
STRING [Plugin]
Signature for a string parameter.
STRING_LIST [Plugin]
STRING_SET [Plugin]
StmtStartData [Dataflow]

T
T_RemoveInfo [Filter]
Signature of a module that decides which element of a function have to be visible or not
Tagged_type [Ptmap]

V
Value [Abstract_interp]
Value_With_Id [Abstract_interp]

W
WeakHashable [Mweak]
WeakHashable [Buckx]
With_default [Lmap_bitwise]