package tezos-benchmark

  1. Overview
  2. Docs
package tezos-benchmark
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Dep_graph.GraphSource

Dependency graph of benchmarks using dependencies/provides

Sourcetype t
Sourceval is_empty : t -> bool
Sourcetype providers_map = Solver.Solved.t list Free_variable.Map.t

Which benchmarks provide each variable

Sourceval is_ambiguous : providers_map -> bool
Sourceval warn_ambiguities : providers_map -> unit

Print out the ambiguity information to stderr

Sourcetype result = {
  1. resolved : t;
  2. with_ambiguities : t;
  3. providers_map : providers_map;
}
Sourceval build : Solver.Solved.t list -> result

Build dependency graphs

Sourceval fold : (Solver.Solved.t -> 'a -> 'a) -> t -> 'a -> 'a

Dependency topological folding

Sourceval iter : (Solver.Solved.t -> unit) -> t -> unit

Dependency topological iteration

Sourceval to_sorted_list : t -> Solver.Solved.t list

Returns the topological ordered list of Solver.Sovled.t

Sourceval save_graphviz : t -> string -> unit

Visualize the graph using Graphviz