A | |
Attributes [State_dependency_graph] |
Signature required by
Graph.GraphViZ.Dot .
|
B | |
BackwardsTransfer [Dataflow] | |
Bool [Plugin] |
Signature for a boolean parameter.
|
C | |
Cacheable [Binary_cache] | |
Collapse [Abstract_interp] | |
Common [Dynamic.Parameter] |
Set of common operations on parameters.
|
D | |
DATA [Qstack] | |
Dashtbl [State_builder] |
Output signature of dashtables.
|
Data [Dashtbl] | |
F | |
ForwardsTransfer [Dataflow] | |
Functor_info [Datatype] |
Additional info for building
Set , Map and Hashtbl .
|
G | |
G [State_topological] |
Minimal graph signature to provide.
|
G [State_dependency_graph] |
Sub-signature of
Graph.Sig.G
|
General_services [Plugin] | |
Graph [Dashtbl] | |
H | |
HashedType [Hashtbl] |
The input signature of the functor
Hashtbl.Make .
|
Hashtbl [State_builder] |
Output signature of builders of hashtables.
|
Hashtbl [Datatype] |
A standard OCaml hashtbl signature extended with datatype operations.
|
Heterogeneous_table [Type] | |
I | |
INOUT [Db] |
Signature common to inputs and outputs computations.
|
Id_Datatype [Hptset] |
Input signature of the functor
Set.Make .
|
Indexed_val [Plugin] |
option interface
|
Indexed_val_input [Plugin] |
input signature for
IndexedVal
|
Info [State_builder] |
Additional information required by
State_builder.Register .
|
Info_with_size [State_builder] | |
Int [Plugin] |
Signature for an integer parameter.
|
Iter_hook [Hook] | |
K | |
Key [Dashtbl] | |
Key [Abstract_interp] | |
L | |
LatValue [Abstract_interp] | |
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] | |
Lattice_with_rehash [Map_Lattice] | |
List_ref [State_builder] |
Output signature of
ListRef .
|
Local [State] |
Operations on the local state required for registering a new state via
State_builder.Register .
|
Location_map [Lmap] | |
Location_map_bitwise [Lmap_bitwise] | |
M | |
Make_input [Datatype] |
Input signature of
Datatype.Make and Datatype.Make_with_collections .
|
Map [Datatype] |
A standard OCaml map signature extended with datatype operations.
|
Mapl [Cilutil] | |
Messages [Log] | |
O | |
OldDynlink [Dynlink_common_interface] | |
Option_ref [State_builder] |
Output signature of
OptionRef .
|
P | |
Parameter [Plugin] |
Generic signature of a parameter.
|
Parameter_input [Plugin] |
Minimal signature to implement for each parameter corresponding to an
option on the command line argument.
|
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.
|
Polymorphic [Type] |
For a polymorphic type value with one type variable, you must use an
implementation of this signature.
|
Polymorphic [Datatype] |
Output signature of
Datatype.Polymorphic .
|
Polymorphic2 [Type] |
Same as
Type.Polymorphic for polymorphic types with two type variables.
|
Polymorphic2 [Datatype] |
Output signature of
Datatype.Polymorphic2 .
|
Polymorphic2_input [Type] |
See module
Type.Polymorphic_input : very same functions with one additional
argument corresponding to the second type variable.
|
Polymorphic_input [Type] | |
Q | |
Queue [State_builder] | |
R | |
Ref [State_builder] |
Output signature of
Ref .
|
Result [Binary_cache] | |
S | |
S [State_selection] |
Operations over selections which depend on a State Dependency Graph
implementation.
|
S [State_dependency_graph] |
Signature of a State Dependency Graph.
|
S [State_builder] |
Output signature of
State_builder.Register .
|
S [SetWithNearest] |
Output signature of the functor
SetWithNearest.Make .
|
S [Rangemap] | |
S [Plugin] | |
S [Offsetmap] | |
S [My_bigint] | |
S [Map_common_interface] | |
S [Hptset] |
Output signature of the functor
Set.Make .
|
S [Hook] |
Output signature.
|
S [Datatype] |
All values associated to a datatype.
|
S [Dashtbl] |
Signature of a dashtbl.
|
S [Buckx] | |
S [Hashtbl] |
The output signature of the functor
Hashtbl.Make .
|
S_no_copy [Datatype] |
All values associated to a datatype, excepted
copy .
|
S_with_collections [Datatype] |
A datatype for a type
t extended with predefined set, map and hashtbl
over t .
|
Set [Datatype] |
A standard OCaml set signature extended with datatype operations.
|
Set_ref [State_builder] |
Output signature of builders of references on a set.
|
Sig [Db.PostdominatorsTypes] | |
StmtStartData [Dataflow] | |
String [Plugin] |
Signature for a string parameter.
|
String_collection [Plugin] |
Signature for a generic set of strings option.
|
String_hashtbl [Plugin] | |
String_list [Plugin] | |
String_set [Plugin] | |
Sub_caml_weak_hashtbl [Datatype] | |
T | |
T_RemoveInfo [Filter] |
Signature of a module that decides which element of a function
have to be visible or not
|
Tagged_type [Hptmap] | |
Ty [Datatype] |
A type with its type value.
|
U | |
Undefined [Datatype] |
Sub-signature of
Datatype.S .
|
W | |
WeakHashable [Buckx] | |
Weak_hashtbl [State_builder] |
Output signature of builders of hashtables.
|
WithOutput [Plugin] |
Signature for a boolean parameter that causes something to be output.
|
With_default [Lmap_bitwise] |