Module FixpointDyn

module FixpointDyn: sig .. end

val init : ('vertex, 'hedge) SHGraph.compare ->
       ('vertex, 'hedge, 'abs, 'arc) FixpointType.manager ->
       ('vertex, 'hedge) FixpointType.equation ->
       'vertex PSette.t -> ('vertex, 'hedge, 'abs, 'arc) FixpointType.graph

val propagate : guided:bool ->
       ('vertex, 'hedge, 'abs, 'arc) FixpointType.manager ->
       ('vertex, 'hedge, 'abs, 'arc) FixpointType.graph -> bool

val fixpoint : guided:bool ->
       ('vertex, 'hedge, 'abs, 'arc) FixpointType.manager ->
       ('vertex, 'hedge, 'abs, 'arc) FixpointType.graph ->
       (('vertex, 'hedge, 'abs, 'arc) FixpointType.graph ->
        ('vertex, 'hedge) FixpointType.strategy) ->
       bool

val analysis : ('vertex, 'hedge) SHGraph.compare ->
       guided:bool ->
       ('vertex, 'hedge, 'abs, 'arc) FixpointType.manager ->
       ('vertex, 'hedge) FixpointType.equation ->
       'vertex PSette.t ->
       (('vertex, 'hedge, 'abs, 'arc) FixpointType.graph ->
        ('vertex, 'hedge) FixpointType.strategy) ->
       ('vertex, 'hedge, 'abs, 'arc) FixpointType.output

val equation_of_graph : ?filter:('hedge -> bool) ->
       ('vertex, 'hedge, 'attr, 'arc, 'e) PSHGraph.t ->
       ('vertex, 'hedge) FixpointType.equation

val graph_of_equation : ('vertex, 'hedge) SHGraph.compare ->
       ?filter:('hedge -> bool) ->
       make_attrvertex:('vertex -> 'attr) ->
       make_attrhedge:('hedge -> 'arc) ->
       info:'e ->
       ('vertex, 'hedge) FixpointType.equation ->
       'vertex PSette.t -> ('vertex, 'hedge, 'attr, 'arc, 'e) PSHGraph.t