class state :Inheritsobject
..end
method clear : unit
method set_sequence : Conditions.sequence -> unit
method set_domain : Lang.F.Vars.t -> unit
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