Module High_level_predicate

module High_level_predicate: sig .. end

type t 
val empty : t

Constructors


val bottom : t
val update_flags : Dba.lhs -> Dba.expr -> t -> t
val join : t -> t -> t

Operations


val leq : t -> t -> bool

Misc


val retrieve_comparison : Dba.cond ->
t ->
Dba.address ->
(Dba.cond * Dba.cond) Dba_types.Caddress.Map.t ->
Dba.cond * (Dba.cond * Dba.cond) Dba_types.Caddress.Map.t