Module FixpointDyn

module FixpointDyn: sig .. end

val init : ('a, 'b) SHGraph.compare ->
       ('a, 'b, 'c, 'd) FixpointType.manager ->
       ('a, 'b) FixpointType.equation ->
       'a PSette.t -> ('a, 'b, 'c, 'd) FixpointType.graph

val propagate : guided:bool ->
       ('a, 'b, 'c, 'd) FixpointType.manager ->
       ('a, 'b, 'c, 'd) FixpointType.graph -> bool

val fixpoint : guided:bool ->
       ('a, 'b, 'c, 'd) FixpointType.manager ->
       ('a, 'b, 'c, 'd) FixpointType.graph ->
       (('a, 'b, 'c, 'd) FixpointType.graph -> ('a, 'b) FixpointType.strategy) ->
       bool

val analysis : ('a, 'b) SHGraph.compare ->
       guided:bool ->
       ('a, 'b, 'c, 'd) FixpointType.manager ->
       ('a, 'b) FixpointType.equation ->
       'a PSette.t ->
       (('a, 'b, 'c, 'd) FixpointType.graph -> ('a, 'b) FixpointType.strategy) ->
       ('a, 'b, 'c, 'd) FixpointType.output

val equation_of_graph : ?filter:('a -> bool) ->
       ('b, 'a, 'c, 'd, 'e) PSHGraph.t -> ('b, 'a) FixpointType.equation

val graph_of_equation : ('a, 'b) SHGraph.compare ->
       ?filter:('b -> bool) ->
       make_attrvertex:('a -> 'c) ->
       make_attrhedge:('b -> 'd) ->
       info:'e ->
       ('a, 'b) FixpointType.equation ->
       'a PSette.t -> ('a, 'b, 'c, 'd, 'e) PSHGraph.t