Frama-C:
Plug-ins:
Libraries:

Frama-C API - MutexPresence

type key = Eva.Mutex.t
type t
module KeySet = Eva.Mutex.Set
val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
val empty : t
val is_empty : t -> bool
val find : t -> key -> presence_flag
val add : key -> presence_flag -> t -> t
val combine : t -> t -> t
val only_present : t -> KeySet.t