Up – Package index » goblint » Library goblint.lib » Selector » Make

Module `Selector.Make`

The solver that actually uses the implementation based of GobConfig.get_string "solver".

Parameters

module Arg : Analyses.IncrSolverArg

module S : Analyses.EqConstrSys

module VH : Prelude.Hashtbl.S with type key = S.v

type marshal = Obj.t

val solve : 
  (S.v -> S.d -> S.d -> S.d) ->
  (S.v * S.d) list ->
  S.v list ->
  S.d VH.t * Obj.t