Source file `ticket_costs_generated.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
(* Do not edit this file manually.
   This file was automatically generated from benchmark models
   If you wish to update a function in this file,
   a. update the corresponding model, or
   b. move the function to another module and edit it there. *)

[@@@warning "-33"]

module S = Saturation_repr
open S.Syntax

(* model tickets/COLLECT_TICKETS_STEP *)
(* fun size -> max 10 (0. + (80. * size)) *)
let cost_COLLECT_TICKETS_STEP size =
  let size = S.safe_int size in
  S.max (S.safe_int 10) (size * S.safe_int 80)

(* model tickets/COMPARE_CONTRACT *)
(* max 10 10. *)
let cost_COMPARE_CONTRACT = S.safe_int 10

(* model tickets/COMPARE_TICKET_HASH *)
(* max 10 10. *)
let cost_COMPARE_TICKET_HASH = S.safe_int 10

(* model tickets/TYPE_HAS_TICKETS *)
(* fun size -> max 10 (10. + (6. * size)) *)
let cost_TYPE_HAS_TICKETS size = (size * S.safe_int 6) + S.safe_int 10