package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Eval.Clear_ValuationSource

Parameters

Signature

Sourceval 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.