module ActiveBehaviors: sig .. end
sig
end
type t
val is_active : t -> Cil_types.behavior -> Alarmset.status
t -> Cil_types.behavior -> Alarmset.status
val active_behaviors : t -> Cil_types.behavior list
t -> Cil_types.behavior list
val create : (Cil_types.predicate -> Alarmset.status) -> Cil_types.spec -> t
(Cil_types.predicate -> Alarmset.status) -> Cil_types.spec -> t