Module Counter.EfficiencySource

Sourcetype t = {
  1. consecutive : int array;
  2. mutable consecutive_blocked : int;
  3. mutable no_more_binary : int;
  4. mutable no_more_unary : int;
  5. mutable clashing_instance : int;
  6. mutable time_correction : int;
}
Sourceval write_t : Buffer.t -> t -> unit

Output a JSON value of type t.

Sourceval string_of_t : ?len:int -> t -> string

Serialize a value of type t into a JSON string.

  • parameter len

    specifies the initial length of the buffer used internally. Default: 1024.

Sourceval read_t : Yojson.Safe.lexer_state -> Lexing.lexbuf -> t

Input JSON data of type t.

Sourceval t_of_string : string -> t

Deserialize JSON data of type t.