Frama-C API - `Clear_Valuation`

Parameters

module Valuation : Valuation

Signature

val clear_englobing_exprs : Valuation.t -> expr:exp -> subexpr:exp -> Valuation.t

Removes from the valuation all the subexpressions of expr that contain subexpr, except subexpr itself.