Class Wp.Pcond.state

class state : object .. end
Inherits
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 Bag.t
method pp_at : Format.formatter -> Wp.Pcfg.label -> unit
method pp_update : Wp.Pcfg.label -> Format.formatter -> Wp.Sigs.update -> unit
method pp_value : Format.formatter -> Wp.Lang.F.term -> unit