Module Build

module Build: sig .. end

val add_lval : Context.t -> Cil_types.kinstr -> Cil_types.lval -> Dive_types.node
val add_var : Context.t -> Cil_types.varinfo -> Dive_types.node
val add_alarm : Context.t -> Cil_types.stmt -> Alarms.alarm -> Dive_types.node
val add_annotation : Context.t ->
Cil_types.stmt -> Cil_types.code_annotation -> Dive_types.node option
val add_stmt : Context.t -> Cil_types.stmt -> Dive_types.node option
val add_property : Context.t -> Property.t -> Dive_types.node option
val add_localizable : Context.t -> Printer_tag.localizable -> Dive_types.node option
val explore_forward : depth:int -> Context.t -> Dive_types.node -> unit
val explore_backward : depth:int -> Context.t -> Dive_types.node -> unit
val show : Context.t -> Dive_types.node -> unit
val hide : Context.t -> Dive_types.node -> unit
val reduce_to_horizon : Context.t -> int option Dive_types.range -> Dive_types.node -> unit