module Register:How to register variables.sig
..end
How to register variables
val change_loc_status : Db.Value.state ->
Model.Make.State.t -> Locations.location -> S.t -> Model.Make.State.t
val typ : Model.Make.State.t ->
Db.Value.state -> Locations.location -> Cil_types.typ -> Model.Make.State.t
val field : Db.Value.state ->
Cil_types.typ ->
Locations.location ->
Model.Make.State.t -> Cil_types.fieldinfo -> Model.Make.State.t
val variable : Model.Make.State.t ->
Db.Value.state -> ?status:S.t -> Cil_types.varinfo -> Model.Make.State.t
val globals : Model.Make.State.t -> Model.Make.State.t
val locals : Db.Value.state ->
Cil_types.fundec -> Model.Make.State.t -> Model.Make.State.t
val formals : Cil_types.varinfo list ->
Cil_types.exp list ->
Db.Value.state -> Model.Make.State.t -> Model.Make.State.t * Db.Value.state
val clean : Kernel_function.t -> Model.Make.State.t -> Model.Make.State.t