module Clear_Valuation:
Parameters: |
|
val clear_englobing_exprs : Eval.Valuation.t ->
expr:Cil_types.exp -> subexpr:Cil_types.exp -> Eval.Valuation.t
Removes from the valuation all the subexpressions of expr
that contain
subexpr
, except subexpr
itself.