Module Non_linear

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
val name : string
val size : int
val dependencies : State.t list
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