Module Current_table


module Current_table: sig .. end

module Ki: Cil_datatype.Kinstr

type record = {
   mutable superposition : State_imp.t;
   mutable widening : int;
   mutable widening_state : Relations_type.Model.t;
}
val empty_record : unit -> record
type t = record Ki.Hashtbl.t 
val create : unit -> 'a Ki.Hashtbl.t
val clear : 'a Ki.Hashtbl.t -> unit
val find_current : record Ki.Hashtbl.t ->
Ki.Hashtbl.key -> record
val find_widening_info : record Ki.Hashtbl.t ->
Ki.Hashtbl.key -> int * Relations_type.Model.t
val update_current_exn : record Ki.Hashtbl.t ->
Ki.Hashtbl.key -> State_set.t -> unit
val update_current : record Ki.Hashtbl.t ->
Ki.Hashtbl.key -> State_set.t -> unit
val update_and_tell_if_changed : record Ki.Hashtbl.t ->
Ki.Hashtbl.key -> State_set.t -> bool
val update_widening_info : record Ki.Hashtbl.t ->
Ki.Hashtbl.key -> int -> Relations_type.Model.t -> unit
val merge_db_table : record Ki.Hashtbl.t -> unit
val superpositions : record Ki.Hashtbl.t ->
State_set.t Ki.Hashtbl.t
val states : record Ki.Hashtbl.t ->
Relations_type.Model.t Ki.Hashtbl.t
val find_superposition : record Ki.Hashtbl.t ->
Ki.Hashtbl.key -> State_imp.t