sig
type t = From_compute.Make.t'
val bottom : From_compute.Make.t'
val callwise_states_with_formals :
(Kernel_function.t * Function_Froms.Memory.t) list
Cil_datatype.Stmt.Hashtbl.t
val substitute :
Function_Froms.Memory.t ->
Locations.Zone.t -> Function_Froms.Deps.t -> Function_Froms.Deps.deps
val display_one_from : Format.formatter -> From_compute.Make.t' -> unit
val pretty : Format.formatter -> From_compute.Make.Computer.t -> unit
val transfer_conditional_exp :
From_compute.ZoneStmtMap.key ->
Cil_types.exp -> From_compute.Make.t' -> From_compute.Make.t'
val join_and_is_included :
From_compute.Make.t' ->
From_compute.Make.t' -> From_compute.Make.t' * bool
val join :
From_compute.Make.t' -> From_compute.Make.t' -> From_compute.Make.t'
val transfer_assign :
Cil_types.stmt ->
Cil_types.lval ->
Function_Froms.Deps.deps -> From_compute.Make.t' -> From_compute.Make.t'
val transfer_instr :
Cil_datatype.Stmt.Hashtbl.key ->
Cil_types.instr ->
From_compute.Make.Computer.t -> From_compute.Make.Computer.t
val transfer_guard :
Cil_types.stmt ->
Cil_types.exp ->
From_compute.Make.t' -> From_compute.Make.t' * From_compute.Make.t'
val eliminate_additional :
Cil_types.stmt -> From_compute.Make.t' -> From_compute.Make.t'
val doEdge :
Cil_types.stmt ->
Cil_types.stmt -> From_compute.Make.t' -> From_compute.Make.t'
val transfer_stmt :
Cil_datatype.Stmt.Hashtbl.key ->
From_compute.Make.Computer.t ->
(Cil_types.stmt * From_compute.Make.Computer.t) list
end