sig
  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:'->
    ('vertex, 'hedge) FixpointType.equation ->
    'vertex PSette.t -> ('vertex, 'hedge, 'attr, 'arc, 'e) PSHGraph.t
end