package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Generic.SoundBoxSolverImplSource

Parameters

module H : Batteries.Hashtbl.S with type key = S.v

Signature

include sig ... end
Sourceval stack_d : int ref
Sourceval full_trace : bool
Sourceval start_c : int
Sourceval max_c : int ref
Sourceval max_var : S.Var.t option ref
Sourceval histo : int H.t
Sourceval increase : S.Var.t -> unit
Sourceval start_event : unit -> unit
Sourceval stop_event : unit -> unit
Sourceval new_var_event : S.Var.t -> unit
Sourceval get_var_event : S.Var.t -> unit
Sourceval eval_rhs_event : S.Var.t -> unit
Sourceval update_var_event : S.Var.t -> S.Dom.t -> S.Dom.t -> unit
Sourceval print_solver_stats : (unit -> unit) ref
Sourceval ncontexts : int ref
Sourceval print_context_stats : 'a H.t -> unit
Sourceval stats_csv : unit BatIO.output option
Sourceval write_csv : string list -> unit BatIO.output -> unit
Sourceval print_stats : 'a -> unit
Sourceval h_find_default : 'a H.t -> H.key -> 'a -> 'a
Sourceval solveWithStart : (S.Dom.t H.t * S.Dom.t H.t) -> (H.key * S.Dom.t) list -> H.key list -> S.Dom.t H.t * S.Dom.t H.t
Sourceval solve : (H.key * S.Dom.t) list -> H.key list -> S.Dom.t H.t

the solve function

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct