Module Slevel_analysis

module Slevel_analysis: sig .. end

module Needs_Merge_After_Loop: Kernel_function.Make_Table(Datatype.Bool)(sig
val size : int
val name : string
val dependencies : State.t list
end)
module Suggested_Slevel: Kernel_function.Make_Table(Datatype.Integer)(sig
val size : int
val name : string
val dependencies : State.t list
end)
module Functions_With_Unknown_Loop: Kernel_function.Make_Table(Datatype.Bool)(sig
val size : int
val name : string
val dependencies : State.t list
end)
val max_slevel_encountered : Integer.t Stdlib.ref
val update_max_slevel_encountered : Integer.t option -> unit
type path_bound = Integer.t option 
module Specific: 
functor (KF : sig
val kf : Kernel_function.t
end-> sig .. end
module SpecificNoBranches: 
functor (KF : sig
val kf : Kernel_function.t
end-> sig .. end
module type M' = Region_analysis_stmt.M  with
  type abstract_value = path_bound * Cil_types.stmt
val analyze : ?nobranches:bool -> Kernel_function.t -> unit
val cmp_kf_by_name : Kernel_function.t -> Kernel_function.t -> int
val display_results : unit -> unit