Frama-C API - Active_behaviors
val is_active : t -> Frama_c_kernel.Cil_types.behavior -> Alarmset.statusval is_active_from_name : t -> string -> Alarmset.statusval active_behaviors : t -> Frama_c_kernel.Cil_types.behavior listval create : (Frama_c_kernel.Cil_types.predicate -> Alarmset.status) -> Frama_c_kernel.Cil_types.spec -> t