Class Pcond.state

class state : object .. end
Inherits
method clear : unit
method set_sequence : Conditions.sequence -> unit
method set_domain : Lang.F.Vars.t -> unit
Default is sequence's domain
method domain : Lang.F.Vars.t
method label_at : id:int -> Pcfg.label
method updates : Pcfg.label Memory.sequence -> Memory.update Bag.t
method pp_at : Format.formatter -> Pcfg.label -> unit
method pp_update : Pcfg.label -> Format.formatter -> Memory.update -> unit
method pp_value : Format.formatter -> Lang.F.term -> unit