Functor From_compute.Make

module Make: 
functor (Values_To_Use : Values_To_Use_Sig) ->
functor (Froms_To_Use : Froms_To_Use_Sig) ->
functor (Recording_To_Do : Recording_Sig) -> sig .. end
Functor computing the functional dependencies, according to the three modules above.
Parameters:
Values_To_Use : Values_To_Use_Sig
Froms_To_Use : Froms_To_Use_Sig
Recording_To_Do : Recording_Sig

type t' = {
   additional_deps_table :Locations.Zone.t Cil_datatype.Stmt.Map.t; (*Additional dependencies to add to all modified variables. Example: variables in the condition of an IF.*)
   additional_deps :Locations.Zone.t; (*Union of the sets in StmtMap.t*)
   deps_table :Lmap_bitwise.From_Model.t; (*dependency table*)
}
val call_stack : Kernel_function.t Stack.t

Stack of function being processed
val find_deps : Cil_types.stmt ->
Lmap_bitwise.From_Model.t -> Cil_types.exp -> Locations.Zone.t
Computation of the dependencies on an expression, but recursive dependencies are resolved using the value of type Lmap_bitwise.From_Model.t.
module Computer: 
functor (REACH : sig
val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool
val blocks_closed_by_edge : Cil_types.stmt -> Cil_types.stmt -> Cil_types.block list
end) -> sig .. end
val compute_using_cfg : Kernel_function.t -> Function_Froms.froms
val compute_using_prototype : Kernel_function.t -> Function_Froms.froms
val compute_and_return : Kernel_function.t -> Function_Froms.t
Compute the dependencies of the given function, and return them

Compute the dependencies of the given function

val compute : Kernel_function.t -> unit