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
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