Module Context

module Context: sig .. end

type t 
val create : unit -> t
val clear : t -> unit
val get_graph : t -> Dive_graph.t
val find_node : t -> int -> Dive_types.node
val get_max_dep_fetch_count : t -> int
val get_roots : t -> Dive_types.node list
val set_unique_root : t -> Dive_types.node -> unit
val add_root : t -> Dive_types.node -> unit
val remove_root : t -> Dive_types.node -> unit
val is_folded : t -> Cil_types.varinfo -> bool
val unfold : t -> Cil_types.varinfo -> unit
val fold : t -> Cil_types.varinfo -> unit
val is_hidden : t -> Dive_types.node_kind -> bool
val hide : t -> Cil_types.varinfo -> unit
val show : t -> Cil_types.varinfo -> unit
val add_node : t ->
node_kind:Dive_types.node_kind ->
node_locality:Dive_types.node_locality -> Dive_types.node
val remove_node : t -> Dive_types.node -> unit
val update_diff : t -> Dive_types.node -> unit
val take_last_diff : t -> Dive_types.graph_diff