Module Env.Logic_scope

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.