Index of values


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]