Module Properties_status.Consolidation_tree


module Consolidation_tree: sig .. end


type 'a value = private {
   value : 'a;
   hypothesis : forest;
   dependencies : State.t value list;
}
type t = private {
   property : Property.t;
   state : State.t;
   mutable status : (Cil_types.annotation_status * State.t)
value list
;
}
type forest = t list 
val get_all : unit -> forest
val get : Property.t -> t

type vertex =
| Property of t
| State of State.t value
| Status of (Cil_types.annotation_status * State.t)
value
val state_of_vertex : vertex -> State.t

type edge =
| And
| Or
module G: Graph.Sig.G  with type V.t = vertex
			and type E.label = edge
			and type E.t = vertex * edge * vertex
val get_full_graph : unit -> G.t
val get_graph : Property.t -> G.t
val dump : G.t -> string -> unit