package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Dep.Graph

module Mixfix = Domain.Mixfix
module G : sig ... end
type t = {
  1. root : Lang.Il.vid;
  2. nodes : Node.t G.t;
  3. edges : Edges.t G.t;
}
val empty : unit -> t
val init : unit -> t
val size : t -> int
val add_edge : t -> Lang.Il.value -> Lang.Il.value -> Edges.label -> unit
val add_node : taint:bool -> t -> Lang.Il.value -> unit
val find_node : t -> Lang.Il.vid -> Node.t option
val assemble_graph : Lang.Il.value -> t
val assemble_graph' : t -> Lang.Il.value -> unit
val reassemble_graph_from_root : t -> Lang.Il.value Domain.Lib.VIdMap.t -> Lang.Il.value
val dot_of_nodes : Node.t G.t -> string
val dot_of_edges : Edges.t G.t -> string
val dot_of_graph : t -> string