package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module type `ConstrSys.GlobConstrSys`Source

A side-effecting system with globals.

Sourcemodule LVar : VarType

Sourcemodule GVar : VarType

Sourcemodule D : Lattice.S

Sourcemodule G : Lattice.S

Source

val system : 
  LVar.t ->
  ((LVar.t -> D.t) ->
    (LVar.t -> D.t -> unit) ->
    (GVar.t -> G.t) ->
    (GVar.t -> G.t -> unit) ->
    D.t)
    option

Source

val iter_vars : 
  (LVar.t -> D.t) ->
  (GVar.t -> G.t) ->
  VarQuery.t ->
  LVar.t VarQuery.f ->
  GVar.t VarQuery.f ->
  unit

Source

val sys_change : 
  (LVar.t -> D.t) ->
  (GVar.t -> G.t) ->
  [ `L of LVar.t | `G of GVar.t ] sys_change_info

package goblint

Module type ConstrSys.GlobConstrSysSource

Module type `ConstrSys.GlobConstrSys`Source