module Non_linear:sig
..end
module Ki: Cil_datatype.Kinstr
module Location_list:Datatype.List
(
Locations.Location
)
module Non_linear_assignments:Cil_state_builder.Varinfo_hashtbl
(
Cil_datatype.Kinstr.Hashtbl.Make
(
Location_list
)
)
(
sig
end
)
module Loc_hashtbl:Hashtbl.Make
(
Locations.Location_Bits
)
class do_non_linear_assignments :object
..end
val compute_non_linear_assignments : Cil_types.fundec -> Location_list.t Ki.Hashtbl.t
val find : Cil_types.fundec -> Non_linear_assignments.data