sig
type t
val get_all :
?who:Project.Computation.t list ->
Properties_status.S.t ->
(Cil_types.annotation_status * Project.Computation.t) list
val get_all_status :
?who:Project.Computation.t list ->
Properties_status.S.t -> Cil_types.annotation_status list
val get_all_states :
?who:Project.Computation.t list ->
Properties_status.S.t -> Project.Computation.t list
val strongest :
?who:Project.Computation.t list ->
Properties_status.S.t ->
Cil_types.annotation_status * Project.Computation.t
val pretty_all : Format.formatter -> Properties_status.S.t -> unit
val compare : Properties_status.S.t -> Properties_status.S.t -> int
val equal : Properties_status.S.t -> Properties_status.S.t -> bool
val hash : Properties_status.S.t -> int
val add_dependency : Project.Computation.t -> Project.Computation.t -> unit
val self : Project.Computation.t
end