module type Mark =sig
..end
Signature of the module to use in order to instanciate the computation
type
t
type
call_info
unit
if there is nothing to store for the calls.
(see PdgIndex.FctIndex
for more information)
val is_bottom : t -> bool
combine
result (see below)val merge : t -> t -> t
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