Module type Equality_term.Atom

module type Atom = sig .. end

include Datatype.S_with_collections
val make : Equality_term.atom -> t
val get : t -> Equality_term.atom
val of_exp : Cil_types.exp -> t
val of_lval : Cil_types.lval -> t
val old : t -> t
val reborn : t -> t
val fix : t -> t
val release : t -> t
val is_alive : t -> bool
Utilitaries

Utilitaries

val is_old : t -> bool
val is_fix : t -> bool
val id : t -> int
val self : State.t
val debug : t -> string
val pretty_debug : t Pretty_utils.formatter
module Hptset: Hptset.S  with type elt = t
module Lattice_Set: Lattice_type.Lattice_Hashconsed_Set  with module O = Hptset
module Lmap_Bitwise: Lmap_bitwise.Location_map_bitwise  with type v = Lattice_Set.t