A | |
add [Plugin.GEN_STRING_SET] |
Add a string to the string set option.
|
add [Components.Components] | |
add [Map.S] | add x y m returns a map containing the same bindings as
m , plus a binding of x to y .
|
add [Components.Todolist] | |
add_choice [Plugin.INDEXED_VAL] |
adds a new choice for the option.
|
add_from_deep [Components.Component] | |
annotations2state [Lattice.S] | annotations2state dft l returns the state corresponding to the given
annotations.
|
B | |
backward [Components.Component] | |
C | |
check_and_add [Components.Component] |
Returns
found, new_already with: found is true iff elt was previously added for kind , new_already is already updated with elt and its (new) associated
value.
|
clear [Computation.REF_OUTPUT] |
Reset the reference to its default value.
|
compare [Map.S] |
Total ordering between maps.
|
compare [Components.NodeKf] | |
constant [Lattice.S] |
State for a constant.
|
D | |
direct [Components.Component] | |
E | |
empty [Map.S] |
The empty map.
|
equal [Map.S] | equal cmp m1 m2 tests whether the maps m1 and m2 are
equal, that is, contain equal keys and associate them with
equal data.
|
equal [Components.NodeKf] | |
F | |
find [Plugin.STRING_HASHTBL] | |
find [Components.Components] | |
find [Map.S] | find x m returns the current binding of x in m ,
or raises Not_found if no such binding exists.
|
fold [Map.S] | fold f m a computes (f kN dN ... (f k1 d1 a)...) ,
where k1 ... kN are the keys of all bindings in m
(in increasing order), and d1 ... dN are the associated data.
|
fold_fold [Components.Components] | |
forward [Components.Component] | |
forward_caller [Components.Component] | |
G | |
get [Computation.REF_OUTPUT] |
Get the referenced value.
|
get_component [Components.Component] | |
get_direct_component [Components] | |
get_forward_component [Components] | |
get_indirect_backward_component [Components] | |
get_node_stmt [Components] | |
get_possible_values [Plugin.STRING] |
What are the acceptable values for this parameter.
|
get_range [Plugin.INT] |
What is the possible range of values for this parameter.
|
get_set [Plugin.GEN_STRING_SET] |
Get a string which concatenates each string in the set with a
separator.
|
get_val [Plugin.INDEXED_VAL] |
the currently selected value.
|
H | |
hash [Components.NodeKf] | |
I | |
impact_analysis [Components] | |
incr [Plugin.INT] |
Increment the integer.
|
init [Components.Memo] | |
initial_nodes [Components.Component] | |
is_direct [Components.Component] | |
is_empty [Plugin.GEN_STRING_SET] |
Check if the set is empty.
|
is_empty [Map.S] |
Test whether a map is empty or not.
|
is_forward [Components.Component] | |
is_indirect_backward [Components.Component] | |
iter [Plugin.GEN_STRING_SET] |
Iter on each string in the set.
|
iter [Map.S] | iter f m applies f to all bindings in map m .
|
iter [Components.Component] | |
M | |
main [Register_gui] | |
map [Map.S] | map f m returns a map with same domain as m , where the
associated value a of all bindings of m has been
replaced by the result of the application of f to a .
|
mapi [Map.S] |
Same as
Map.S.map , but the function receives as arguments both the
key and the associated value for each binding of the map.
|
mem [Map.S] | mem x m returns true if m contains a binding for x ,
and false otherwise.
|
memo [Components.Memo] | |
mk_init [Components.Todolist] | |
O | |
off [Plugin.BOOL] |
Set the boolean to
false .
|
on [Plugin.BOOL] |
Set the boolean to
true .
|
one_step_related_nodes [Components.Component] | |
P | |
pop_function [Components.Memo] | |
possible_annotations [Lattice.S] | |
pretty_kind [Components] |
Debugging purpose only
|
push_function [Components.Memo] | |
R | |
register [Components] | |
related_nodes_of_nodes [Components.Component] | |
remove [Plugin.GEN_STRING_SET] |
Remove a string from the option.
|
remove [Map.S] | remove x m returns a map containing the same bindings as
m , except for x which is unbound in the returned map.
|
S | |
search_input [Components.Component] | |
security_highlighter [Register_gui] | |
security_selector [Register_gui] | |
self [Components.Components] | |
set [Computation.REF_OUTPUT] |
Change the referenced value.
|
set_possible_values [Plugin.STRING] |
Set what are the acceptable values for this parameter.
|
set_range [Plugin.INT] |
Set what is the possible range of values for this parameter.
|
U | |
use_ctrl_dependencies [Lattice.S] |
Are control dependencies relevant?
|
V | |
variable [Lattice.S] |
Default state for a variable.
|
W | |
whole [Components.Component] |