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 Sigs.sequence -> Sigs.update Bag.t
method pp_at : Stdlib.Format.formatter -> Pcfg.label -> unit
method pp_update : Pcfg.label -> Stdlib.Format.formatter -> Sigs.update -> unit
method pp_value : Stdlib.Format.formatter -> Lang.F.term -> unit