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