Frama-C API - Logic_scope
val extend : t -> Analyses_types.lscope_var -> t
Add a new logic variable with its associated information in the logic scope of the environment.
val remove : t -> Analyses_types.lscope_var -> t
Remove a logic variable and its associated information from the logic scope of the environment.
Return a new environment in which the logic scope is reset iff set_reset _ true
has been called beforehand. Do nothing otherwise.
Setter of the information indicating whether the logic scope should be reset at next call to reset
.
val get_reset : t -> bool
Getter of the information indicating whether the logic scope should be reset at next call to reset
.