UpdateRule (goblint.Goblint_solver.Td3.Base.UpdateRule)

type data = UpdateRule(EqS0)(HM)(VS).data

type eq_wrapper = EqS0.v -> ((EqS0.v -> EqS0.d -> unit) -> EqS0.d) -> EqS0.d

val create_empty_data : unit -> data

val copy_marshal : data -> data

val relift_marshal : data -> data

val register_start : data -> EqS0.v -> EqS0.d -> unit

val get_wrapper : 
  solve_widen:(EqS0.v -> unit) ->
  init:(EqS0.v -> unit) ->
  stable:unit HM.t ->
  data:data ->
  sides:VS.t HM.t ->
  add_sides:(EqS0.v -> EqS0.v -> unit) ->
  rho:EqS0.d HM.t ->
  destabilize:(EqS0.v -> unit) ->
  side:(?x:EqS0.v -> EqS0.v -> EqS0.d -> unit) ->
  assert_can_receive_side:(EqS0.v -> unit) ->
  eq_wrapper