Pcond.state
inherit Wp__Plang.engine
inherit Wp__Pcfg.engine
method clear : unit
method set_sequence : Wp__Conditions.sequence -> unit
method set_domain : Wp__Lang.F.Vars.t -> unit
Default is sequence's domain
method domain : Wp__Lang.F.Vars.t
method label_at : id:int -> Wp__Pcfg.label
method updates : Wp__Pcfg.label Wp__Sigs.sequence -> Wp__Sigs.update Frama_c_kernel.Bag.t
method pp_at : Stdlib.Format.formatter -> Wp__Pcfg.label -> unit
method pp_update : Wp__Pcfg.label -> Stdlib.Format.formatter -> Wp__Sigs.update -> unit
method pp_value : Stdlib.Format.formatter -> Wp__Lang.F.term -> unit