module Register: sig
.. end
val compute : unit -> unit
val pretty : ?bw:bool -> Format.formatter -> PdgTypes.Pdg.t -> unit
val pretty_node : bool -> Format.formatter -> PdgTypes.Node.t -> unit
val print_dot : PdgTypes.Pdg.t -> string -> unit
module Tbl: Kernel_function.Make_Table
(
PdgTypes.Pdg
)
(
sig
val name : string
val dependencies : 'a list
val size : int
end
)
include Marks
val deps : State.t list
val compute_for_kf : Kernel_function.Set.elt -> bool
val compute : unit -> unit
val output : unit -> unit
val something_to_do : unit -> bool
val main : unit -> unit