Module FixpointGuided

module FixpointGuided: sig .. end

Guided fixpoint analysis of an equation system

Technique of Gopand and Reps, SAS'07

val analysis : ('a, 'b, 'c, 'd) FixpointType.manager ->
       ('a, 'b, 'e, 'f, 'g) PSHGraph.t ->
       'a PSette.t ->
       (('b -> bool) -> ('a, 'b) FixpointType.strategy) ->
       ('a, 'b, 'c, 'd) FixpointType.output

Same as FixpointStd.analysis, but with the technique of Gopan and Reps published in Static Anlaysis Symposium, SAS'2007.

val strategy_extract_acyclic_subset : ('a, 'b, 'c, 'd) FixpointType.graph -> ('a, 'b) FixpointType.strategy -> unit

val add_active_hedges : ('a, 'b, 'c, 'd) FixpointType.manager ->
       ('a, 'b, 'c, 'd) FixpointType.graph -> ('b, unit) PHashhe.t -> bool