Module Active_behaviors

module Active_behaviors: sig .. end

type t 
val is_active : t -> Cil_types.behavior -> Alarmset.status
val is_active_from_name : t -> string -> Alarmset.status
val active_behaviors : t -> Cil_types.behavior list
val create : (Cil_types.predicate -> Alarmset.status) ->
Cil_types.spec -> t