Module Cil_state_builder

module Cil_state_builder: sig .. end

Functors for building computations which use kernel datatypes.


module Stmt_set_ref: 
functor (Info : State_builder.Info-> State_builder.Set_ref with type elt = Cil_types.stmt
module Kinstr_hashtbl: 
functor (Data : Datatype.S-> 
functor (Info : State_builder.Info_with_size-> State_builder.Hashtbl with type key = Cil_types.kinstr and type data = Data.t
module Stmt_hashtbl: 
functor (Data : Datatype.S-> 
functor (Info : State_builder.Info_with_size-> State_builder.Hashtbl with type key = Cil_types.stmt and type data = Data.t
module Varinfo_hashtbl: 
functor (Data : Datatype.S-> 
functor (Info : State_builder.Info_with_size-> State_builder.Hashtbl with type key = Cil_types.varinfo and type data = Data.t
module Exp_hashtbl: 
functor (Data : Datatype.S-> 
functor (Info : State_builder.Info_with_size-> State_builder.Hashtbl with type key = Cil_types.exp and type data = Data.t
module Lval_hashtbl: 
functor (Data : Datatype.S-> 
functor (Info : State_builder.Info_with_size-> State_builder.Hashtbl with type key = Cil_types.lval and type data = Data.t
module Kernel_function_hashtbl: 
functor (Data : Datatype.S-> 
functor (Info : State_builder.Info_with_size-> State_builder.Hashtbl with type key = Cil_types.kernel_function and type data = Data.t