Module Cil_computation


module Cil_computation: sig .. end
Functors for building computations which use kernel datatypes.
Consult the Plugin Development Guide for additional details.
module StmtSetRef: 
functor (Info : Signature.NAME_DPDS) -> Computation.SET_REF_OUTPUT with type elt = Cil_types.stmt
module IntHashtbl: 
functor (Data : Project.Datatype.S) ->
functor (Info : Signature.NAME_SIZE_DPDS) -> Computation.HASHTBL_OUTPUT with type key = int and type data = Data.t
module InstrHashtbl: 
functor (Data : Project.Datatype.S) ->
functor (Info : Signature.NAME_SIZE_DPDS) -> Computation.HASHTBL_OUTPUT with type key = Cil_types.kinstr and type data = Data.t
module StmtHashtbl: 
functor (Data : Project.Datatype.S) ->
functor (Info : Signature.NAME_SIZE_DPDS) -> Computation.HASHTBL_OUTPUT with type key = Cil_types.stmt and type data = Data.t
module VarinfoHashtbl: 
functor (Data : Project.Datatype.S) ->
functor (Info : Signature.NAME_SIZE_DPDS) -> Computation.HASHTBL_OUTPUT with type key = Cil_types.varinfo and type data = Data.t
module CodeAnnotationHashtbl: 
functor (Data : Project.Datatype.S) ->
functor (Info : Signature.NAME_SIZE_DPDS) -> Computation.HASHTBL_OUTPUT with type key = Cil_types.code_annotation and type data = Data.t