sig
type env
type label
type value =
Term
| Addr of Memory.lval
| Lval of Memory.lval * Pcfg.label
| Chunk of string * Pcfg.label
val create : unit -> Pcfg.env
val register : Conditions.sequence -> Pcfg.env
val at : Pcfg.env -> id:int -> Pcfg.label
val find : Pcfg.env -> Lang.F.term -> Pcfg.value
val updates :
Pcfg.env ->
Pcfg.label Memory.sequence -> Lang.F.Vars.t -> Memory.update Bag.t
val visible : Pcfg.label -> bool
val subterms : Pcfg.env -> (Lang.F.term -> unit) -> Lang.F.term -> bool
val prev : Pcfg.label -> Pcfg.label list
val next : Pcfg.label -> Pcfg.label list
val iter : (Memory.mval -> Lang.F.term -> unit) -> Pcfg.label -> unit
val branching : Pcfg.label -> bool
class virtual engine :
object
method is_atomic_lv : Memory.lval -> bool
method pp_addr : Format.formatter -> Memory.lval -> unit
method virtual pp_atom : Format.formatter -> Lang.F.term -> unit
method pp_chunk : Format.formatter -> string -> unit
method virtual pp_flow : Format.formatter -> Lang.F.term -> unit
method pp_host : Format.formatter -> Memory.host -> unit
method pp_label : Format.formatter -> Pcfg.label -> unit
method pp_lval : Format.formatter -> Memory.lval -> unit
method pp_offset : Format.formatter -> Memory.offset list -> unit
method pp_ofs : Format.formatter -> Memory.offset -> unit
end
end