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 : unit -> unit
val output : unit -> unit
val something_to_do : unit -> bool
val main : unit -> unit