Skip to content
Snippets Groups Projects
Commit 446df4e5 authored by erwan's avatar erwan
Browse files

refactor: fix comments

parent 733695a5
No related branches found
No related tags found
No related merge requests found
(* Time-stamp: <modified the 17/06/2021 (at 15:29) by Erwan Jahier> *)
(* Time-stamp: <modified the 17/12/2021 (at 10:33) by Erwan Jahier> *)
(** The module is used by
- the main sasa simulation loop (in ../../src/sasaMain.ml)
......@@ -12,7 +12,7 @@
type 'v t = {
sasarg: SasArg.t;
network: 'v Process.t list;
neighbors: ('v Register.neighbor list) Map.Make(String).t; (* pid's neigbors *)
neighbors: ('v Register.neighbor list) Map.Make(String).t; (* pid's neighbors *)
config: 'v Env.t
}
......@@ -24,10 +24,10 @@ type 'v enable_processes =
val get_enable_processes: 'v t -> 'v enable_processes
(** update the config *)
(** [update_config e c] updates c using e *)
val update_config: 'v Env.t -> 'v t -> 'v t
(** Get pid's state and neigbors *)
(** Get pid's state and neighbors *)
val neigbors_of_pid : 'v t -> string -> 'v * ('v Register.neighbor * string) list
(* For SasaRun *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment