package tezos-benchmark

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

Module Tezos_benchmark.CodegenSource

Sourcetype solution = {
  1. map : float Free_variable.Map.t;
  2. scores_list : ((string * Namespace.t) * Inference.scores) list;
}
Sourceval get_codegen_destination : Registration.model_info -> string option

get_codegen_destinations model_info will return the generated code destination in which given model is used

Sourceval pp_solution : Format.formatter -> solution -> unit
Sourceval load_solution : string -> solution

Load a solution form a binary or JSON file

Sourceval save_solution : solution -> string -> unit

Save the given solution to binary and JSON files

Sourceval solution_to_csv : solution -> Csv.csv
Sourcetype code

Generated code for a model

Sourcetype module_

Build the cost function codes of the specified model

Sourceval codegen_models : (Namespace.t * Registration.model_info) list -> solution -> Costlang.transform -> (string option * code) list

codegen_models models solution transform generates the cost function codes of multiple models.

Sourceval comment : string list -> code

Make a comment

Sourceval make_toplevel_module : code list -> module_

Make a toplevel module (an .ml file) from the given list of codes

Sourceval pp_code : Format.formatter -> code -> unit
Sourceval pp_module : Format.formatter -> module_ -> unit
Sourceval get_name_of_code : code -> string option

Get the function name of code if it has

Sourcemodule Parser : sig ... end
OCaml

Innovation. Community. Security.