package frama-c

  1. Overview
  2. Docs

Module Wp.CleaningSource

Sourcetype usage
Sourceval create : unit -> usage
Sourceval as_atom : usage -> Lang.F.pred -> unit
Sourceval as_type : usage -> Lang.F.pred -> unit
Sourceval as_have : usage -> Lang.F.pred -> unit
Sourceval as_init : usage -> Lang.F.pred -> unit
Sourceval filter_type : usage -> Lang.F.pred -> Lang.F.pred
Sourceval filter_pred : usage -> Lang.F.pred -> Lang.F.pred