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