Module type Transfer_logic.LogicDomain

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