Frama-C API - Domain
val top : tval evaluate_predicate : t Abstract_domain.logic_environment -> t -> Frama_c_kernel.Cil_types.predicate -> Alarmset.statusval reduce_by_predicate : t Abstract_domain.logic_environment -> t -> Frama_c_kernel.Cil_types.predicate -> bool -> t Eval.or_bottomval interpret_acsl_extension : Frama_c_kernel.Cil_types.acsl_extension -> t Abstract_domain.logic_environment -> t -> t