Contact Graph Routing for time-varying satellite networks
Upgrade to ocamlformat 0.29.0; fix csvt/sexpt streaming; reformat
- Update .ocamlformat to 0.29.0 across all 591 files
- csvt: reuse single Buffer.t for field reads (no alloc per field)
- sexpt: Obj members decoded from stream into Dict, typed Variant GADT
- Reformat all source files for 0.29.0
+15
-15
+14
-14
lib/cgr.mli
+14
-14
lib/cgr.mli
···
21
21
{2 Example}
22
22
23
23
{[
24
-
open Cgr
24
+
open Cgr
25
25
26
-
(* Define nodes *)
27
-
let earth = Node.v "EARTH"
28
-
let mars = Node.v "MARS"
29
-
let relay = Node.v "RELAY"
26
+
(* Define nodes *)
27
+
let earth = Node.v "EARTH"
28
+
let mars = Node.v "MARS"
29
+
let relay = Node.v "RELAY"
30
30
31
-
(* Define contacts (start_time, end_time, rate in bytes/sec) *)
32
-
let contacts =
33
-
[
34
-
Contact.v ~from:earth ~to_:relay ~start:0. ~stop:100. ~rate:1_000_000.;
35
-
Contact.v ~from:relay ~to_:mars ~start:50. ~stop:150. ~rate:500_000.;
36
-
]
31
+
(* Define contacts (start_time, end_time, rate in bytes/sec) *)
32
+
let contacts =
33
+
[
34
+
Contact.v ~from:earth ~to_:relay ~start:0. ~stop:100. ~rate:1_000_000.;
35
+
Contact.v ~from:relay ~to_:mars ~start:50. ~stop:150. ~rate:500_000.;
36
+
]
37
37
38
-
(* Create contact plan and find route *)
39
-
let plan = Contact_plan.of_list contacts
40
-
let route = route plan ~src:earth ~dst:mars ~time:0.
38
+
(* Create contact plan and find route *)
39
+
let plan = Contact_plan.of_list contacts
40
+
let route = route plan ~src:earth ~dst:mars ~time:0.
41
41
]}
42
42
43
43
{2 References}