Module Hcexprs.HCE

module HCE: sig .. end

Datatype + utilities functions for hashconsed exprsessions.


include Datatype.S_with_collections
val self : State.t
val pretty_debug : t Pretty_utils.formatter
val id : t -> int

Conversions between type t and Cil lvalues and expressions.

val of_lval : Cil_types.lval -> t
val of_exp : Cil_types.exp -> t
val get : t -> Hcexprs.unhashconsed_exprs
val to_exp : t -> Cil_types.exp
val to_lval : t -> Cil_types.lval option
val is_lval : t -> bool
val replace : Hcexprs.kill_type -> late:Cil_types.lval -> heir:Cil_types.exp -> t -> t

Replaces all occurrences of the lvalue late by the expression heir.