Class virtual Wp.Pcfg.engine

class virtual engine : object .. end

method virtual pp_atom : Format.formatter -> Wp.Lang.F.term -> unit
method virtual pp_flow : Format.formatter -> Wp.Lang.F.term -> unit
method is_atomic_lv : Wp.Sigs.s_lval -> bool
method pp_ofs : Format.formatter -> Wp.Sigs.s_offset -> unit
method pp_offset : Format.formatter -> Wp.Sigs.s_offset list -> unit
method pp_host : Format.formatter -> Wp.Sigs.s_host -> unit
current state
method pp_lval : Format.formatter -> Wp.Sigs.s_lval -> unit
current state
method pp_addr : Format.formatter -> Wp.Sigs.s_lval -> unit
method pp_label : Format.formatter -> label -> unit
label name
method pp_chunk : Format.formatter -> string -> unit
chunk name