sig
type t
val empty : Cil2cfg.t -> Calculus.Cfg.??.t
val is_pass1 : Calculus.Cfg.??.t -> bool
val change_mode_if_needed : Calculus.Cfg.??.t -> unit
val find : Calculus.Cfg.??.t -> Cil2cfg.edge -> W.t_prop
val set :
WpStrategy.strategy ->
W.t_env -> Calculus.Cfg.??.t -> Cil2cfg.edge -> W.t_prop -> W.t_prop
val add_oblig : Calculus.Cfg.??.t -> Clabels.c_label -> W.t_prop -> unit
val add_memo : Calculus.Cfg.??.t -> Cil2cfg.edge -> W.t_prop -> unit
end