module type LogicDomain =sig
..end
type
t
val top : t
val equal : t -> t -> bool
val evaluate_predicate : t Abstract_domain.logic_environment ->
t -> Cil_types.predicate -> Alarmset.status
val reduce_by_predicate : t Abstract_domain.logic_environment ->
t ->
Cil_types.predicate -> bool -> t Eval.or_bottom