Module Model.Make.Register


module Register: sig .. end
How to register variables.

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