Naive (function_graphs.Function_graphs.Solver.Naive)

Parameters

module T : sig ... end

module TMap : sig ... end

module X : sig ... end

module Y : sig ... end

module MFG : sig ... end

val fix_gen : 
  debug:bool ->
  MFG.strategy array ->
  ((T.t -> X.t -> Y.t) -> T.t -> X.t -> Y.t) ->
  T.t ->
  X.t ->
  Y.t * MFG.t TMap.t

Fixpoint solver that is parameterised by the strategy. It returns the final result and an abstraction of the minimal function graph

val fix : ((T.t -> X.t -> Y.t) -> T.t -> X.t -> Y.t) -> T.t -> X.t -> Y.t

Fixpoint solver