Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val fixpoint :
(module Graphlib.Std.Graph with type node = 'n and type t = 'c) ->
?steps:int ->
?start:'n ->
?rev:bool ->
?step:(int -> 'n -> 'd -> 'd -> 'd) ->
init:('n, 'd) Graphlib.Std.Solution.t ->
equal:('d -> 'd -> bool) ->
merge:('d -> 'd -> 'd) ->
f:(source:'n -> 'd -> target:'n -> 'd) ->
'c ->
('n, 'd) Graphlib.Std.Solution.t
An extension of the BAP fixpoint function that supports context-sensitive analysis.