A | |
add [State_builder.List_ref] | |
add [FCMap.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_from_deep [Components.Component] | |
B | |
backward [Components.Component] | |
bindings [FCMap.S] |
Return the list of all bindings of the given map.
|
C | |
cardinal [FCMap.S] |
Return the number of bindings of a map.
|
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.
|
choose [FCMap.S] |
Return one binding of the given map, or raise
Not_found if
the map is empty.
|
compare [FCMap.S] |
Total ordering between maps.
|
copy [Datatype.S] |
Deep copy: no possible sharing between
x and copy x .
|
D | |
direct [Components.Component] | |
E | |
empty [FCMap.S] |
The empty map.
|
equal [FCMap.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.
|
exists [FCMap.S] | exists p m checks if at least one binding of the map
satisfy the predicate p .
|
F | |
filter [FCMap.S] | filter p m returns the map with all the bindings in m
that satisfy predicate p .
|
find [FCMap.S] | find x m returns the current binding of x in m ,
or raises Not_found if no such binding exists.
|
fold [FCMap.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_left [State_builder.List_ref] | |
for_all [FCMap.S] | for_all p m checks if all the bindings of the map
satisfy the predicate p .
|
forward [Components.Component] | |
forward_caller [Components.Component] | |
G | |
get_component [Components.Component] | |
get_direct_component [Components] | |
get_forward_component [Components] | |
get_indirect_backward_component [Components] | |
get_node_stmt [Components] | |
I | |
impact_analysis [Components] | |
initial_nodes [Components.Component] | |
is_direct [Components.Component] | |
is_empty [FCMap.S] |
Test whether a map is empty or not.
|
is_forward [Components.Component] | |
is_indirect_backward [Components.Component] | |
iter [State_builder.List_ref] | |
iter [FCMap.S] | iter f m applies f to all bindings in map m .
|
M | |
main [Register_gui] | |
map [FCMap.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 [FCMap.S] |
Same as
FCMap.S.map , but the function receives as arguments both the
key and the associated value for each binding of the map.
|
max_binding [FCMap.S] |
Same as
FCMap.S.min_binding , but returns the largest binding
of the given map.
|
mem [FCMap.S] | mem x m returns true if m contains a binding for x ,
and false otherwise.
|
merge [FCMap.S] | merge f m1 m2 computes a map whose keys is a subset of keys of m1
and of m2 .
|
min_binding [FCMap.S] |
Return the smallest binding of the given map
(with respect to the
Ord.compare ordering), or raise
Not_found if the map is empty.
|
mk_init [Components.Todolist] | |
O | |
one_step_related_nodes [Components.Component] | |
P | |
partition [FCMap.S] | partition p m returns a pair of maps (m1, m2) , where
m1 contains all the bindings of s that satisfy the
predicate p , and m2 is the map with all the bindings of
s that do not satisfy p .
|
R | |
register [Components] | |
related_nodes_of_nodes [Components.Component] | |
remove [FCMap.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] | |
singleton [FCMap.S] | singleton x y returns the one-element map that contains a binding y
for x .
|
split [FCMap.S] | split x m returns a triple (l, data, r) , where
l is the map with all the bindings of m whose key
is strictly less than x ;
r is the map with all the bindings of m whose key
is strictly greater than x ;
data is None if m contains no binding for x ,
or Some v if m binds v to x .
|
W | |
whole [Components.Component] |