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.
Raises NonExchangeable if the replacement is not feasible.