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