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