module M: PdgMarks.Mark
type
t
type of the information mapped to the nodes
type
call_info
type of the information mapped to the function calls.
This can be
unit
if there is nothing to store for the calls.
(see
PdgIndex.FctIndex
for more information)
val is_bottom : t -> bool
used to test combine
result (see below)
val merge : t -> t -> t
merge two pieces of information
val combine : t -> t -> t * t
combine
is used during propagation. It should return
(new_mark, mark_to_prop) = combine old_mak new_mark
where new_mark
is the mark to associate with the node,
and mark_to_prop
the mark to propagate to its dependencies.
If is_bottom mark_to_prop
, the propagation is stopped.
val pretty : Format.formatter -> t -> unit