Source file sched_req_data_unit_skeleton_t.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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
(* Auto-generated from "sched_req_data_unit_skeleton.atd" *)
[@@@ocaml.warning "-27-32-33-35-39"]

type int64 = Int64_t.int64

type ('task_seg_related_data, 'time_slot) time_share = {
  task_seg_related_data_list: 'task_seg_related_data list;
  time_slots: 'time_slot list;
  interval_size: int64
}

type ('task_seg_related_data, 'time_slot) split_even = {
  task_seg_related_data: 'task_seg_related_data;
  time_slots: 'time_slot list;
  buckets: 'time_slot list;
  incre: int64
}

type split_count = [ `Max_split of int64 | `Exact_split of int64 ]

type ('task_seg_related_data, 'time_slot) split_and_shift = {
  task_seg_related_data: 'task_seg_related_data;
  time_slots: 'time_slot list;
  incre: int64;
  split_count: split_count;
  min_seg_size: int64;
  max_seg_size: int64 option
}

type ('task_seg_related_data, 'time_slot) shift = {
  task_seg_related_data_list: 'task_seg_related_data list;
  time_slots: 'time_slot list;
  incre: int64
}

type ('task_seg_related_data, 'time, 'time_slot) push_toward = {
  task_seg_related_data: 'task_seg_related_data;
  target: 'time;
  time_slots: 'time_slot list;
  incre: int64
}

type ('task_seg_related_data, 'time) fixed = {
  task_seg_related_data: 'task_seg_related_data;
  start: 'time
}

type ('task_seg_related_data, 'time, 'time_slot) sched_req_data_unit_skeleton = [
    `Fixed of ('task_seg_related_data, 'time) fixed
  | `Shift of ('task_seg_related_data, 'time_slot) shift
  | `Split_and_shift of ('task_seg_related_data, 'time_slot) split_and_shift
  | `Split_even of ('task_seg_related_data, 'time_slot) split_even
  | `Time_share of ('task_seg_related_data, 'time_slot) time_share
  | `Push_toward of ('task_seg_related_data, 'time, 'time_slot) push_toward
]