New: do not load 1 cmxs file per node kind, but a g.cmxs that register them.

Its basename is the basename of the name of the .dot file.

Also provide a =--gen-register= option generates such a registring ml
file. --gen-register also generate a state.ml skeleton file.

The Makefile test/Makefile.inc also suppose that the types of the state
is defined in state.ml

lib/sasa/sasaRun.ml

@@ -21,7 +21,7 @@ let (from_sasa_env : 'v Main.layout -> 'v Env.t -> RdbgPlugin.sl) =
     List.fold_left
       (fun acc (p,_) ->
          let state = Env.get e p.pid in
-         let sl = State.to_rdbg_subst p.pid state in
+         let sl = SasaState.to_rdbg_subst p.pid state in
          acc@sl
       )
       []

lib/sasacore/genRegister.ml

+(*
+takes as input some ocaml files, and generates an ocaml file
+that (Algo.)register(s) the corresponding algorithms.
+
+More precisely, the input files ougth to define a module inplementing 
+the following interface:
+
+ val name: string
+ val actions : string list option;
+ type state
+ val init_state: int -> state
+ val enable_f: state Algo.neighbor list -> state -> Algo.action list
+ val step_f : state Algo.neighbor list -> state -> Algo.action -> state
+ val state_to_string: state -> string
+ val state_copy : state -> dfs_value
+
+  *)
+
+let ml_filename_to_module fn =
+  let str = Filename.chop_extension fn in
+  String.capitalize_ascii str
+
+let from_ml ml =
+  let m = ml_filename_to_module ml in
+    Printf.sprintf "
+      {
+        algo_id = \"%s\";
+        init_state = %s.init_state;
+        actions = %s.actions;
+        enab = %s.enable_f;
+        step = %s.step_f;          
+      }" (String.uncapitalize_ascii m) m m m m 
+
+
+let (f: string list -> string * string -> unit) =
+  fun ml_ins (state_file, register_file) ->
+    let state_module = ml_filename_to_module state_file in
+    if Sys.file_exists register_file then (
+      Printf.printf "Warning: %s already exist.\n" register_file
+    ) else (
+      let oc = open_out register_file in
+      let entete = Mypervasives.entete2 "(*" "*)" SasaVersion.str SasaVersion.sha in
+      let l = List.map from_ml ml_ins in
+      Printf.fprintf oc "%s" entete ;
+      Printf.fprintf oc "let () =
+  Algo.register {
+    algo = [ %s ];
+    state_to_string = %s.to_string;
+    state_of_string = %s.of_string;
+    copy_state = %s.copy;
+  }
+"
+        (String.concat ";" l) 
+        state_module state_module state_module ;
+      flush oc;
+      close_out oc;
+      Printf.printf "The file %s has been generated\n" register_file;
+      flush stdout
+    );
+    if Sys.file_exists state_file then (
+      Printf.printf "Warning: %s already exist.\n" state_file
+    ) else (
+      let oc = open_out state_file in
+      let entete = Mypervasives.entete2 "(*" "*)" SasaVersion.str SasaVersion.sha in
+      Printf.fprintf oc "%s" entete ;
+      Printf.fprintf oc "type t = define_me
+let to_string _ = \"define_me\"
+let of_string = None
+let copy x = x
+";
+      flush oc;
+      close_out oc;
+      Printf.printf "The file %s has been generated\n" state_file;
+      flush stdout
+    )

lib/sasacore/genRegister.mli

+
+(** Takes as input some ocaml files and the output file name, and
+   generates 2 ocaml files 
+    - 1 that defines a skeleton ocaml program for dealing with algo states
+    - 1 that (Algo.)register(s) the (input) algorithms.
+
+ Existing output file won't be overrided (a warning is printed).
+
+ The input files ougth to define a module implementing the following interface:
+
+    val name: string
+    val actions : string list option;
+    val init_state: int -> state
+    val enable_f: state Algo.neighbor list -> state -> Algo.action list
+    val step_f  : state Algo.neighbor list -> state -> Algo.action -> state
+    val state_to_string: state -> string
+
+ The algo state definition file implements the following interface:
+
+    type state
+    val state_copy : state -> state
+    val state_of_string: (string -> state) option
+    val copy_state: state -> state  
+
+  *)
+
+val f: string list -> string * string -> unit

lib/sasacore/main.ml

-(* Time-stamp: <modified the 05/09/2019 (at 16:34) by Erwan Jahier> *)
+(* Time-stamp: <modified the 13/09/2019 (at 10:32) by Erwan Jahier> *)
 
 open Register
 
@@ -42,7 +42,7 @@ let (get_neighors: Topology.t -> Topology.node_id -> 'v -> 'v Register.neighbor
 
 let (dump_process: 'v Process.t * 'v Register.neighbor list -> unit) =
   fun (p,nl) ->
-    let pvars = String.concat "," (State.to_var_names p.pid p.init) in
+    let pvars = String.concat "," (SasaState.to_var_names p.pid p.init) in
     let neighbors = List.map StringOf.algo_neighbor nl in
     Printf.printf "process %s\n\tvars:%s\n\tneighors: \n\t\t%s\n" p.pid  pvars
       (String.concat "\n\t\t" neighbors)
@@ -119,7 +119,7 @@ let (get_outputs_rif_decl: SasArg.t -> 'v Process.t list -> (string * string) li
   fun args pl -> 
     let ll = List.map 
         (fun p ->
-           let l = State.to_rif_decl p.pid p.init in
+           let l = SasaState.to_rif_decl p.pid p.init in
            List.map (fun (n,t) -> n, Data.type_to_string t) l
         )
         pl
@@ -230,9 +230,35 @@ let (make : bool -> string array -> 'v t) =
 	     exit 2
     in
     try
+      let dynlink = if args.output_algos then false else dynlink in
       let dot_file = args.topo in
       let g = Topology.read dot_file in
       let nl = g.nodes in
+      if args.output_algos then (
+        let fl = List.map (fun n -> n.Topology.file) nl in
+        let fl = List.sort_uniq compare fl in
+        Printf.printf "%s\n" (String.concat " " fl);
+        flush stdout;
+        exit 0
+      );
+      let cmxs = (Filename.chop_extension dot_file) ^ ".cmxs" in
+      if args.gen_register then (
+        let base = Filename.chop_extension dot_file in
+        let base = Str.global_replace (Str.regexp "\\.") "" base in
+        let ml_register_file = base ^ ".ml" in
+        let ml_state_file = "state.ml" in
+        let algo_files = List.map (fun n -> n.Topology.file) nl in
+        let algo_files = List.sort_uniq compare algo_files in
+        let ml_inputs = String.concat " " algo_files in
+        GenRegister.f algo_files (ml_state_file, ml_register_file);
+        Printf.printf "Hint: you may wish to generate %s out of %s with:\n"
+          cmxs ml_register_file;
+        Printf.printf "   ocamlfind ocamlopt -package algo -shared %s %s %s -o %s\n"
+           ml_state_file ml_inputs ml_register_file cmxs;
+        flush stdout;
+        exit 0
+      );
+      
       let nidl = List.map (fun n -> n.Topology.id) nl in
       let nstr = String.concat "," nidl in
       Register.set_card (fun () -> List.length nl);
@@ -247,9 +273,12 @@ let (make : bool -> string array -> 'v t) =
       Random.init args.seed;
       if !Register.verbose_level > 0 then Printf.eprintf "nodes: %s\nedges:\n" nstr;
 
-      let algo_files = List.map (fun n -> n.Topology.file) nl in
-      if dynlink then List.iter Process.dynlink_nodes (List.sort_uniq compare algo_files);
-
+      if dynlink then (
+        (* Dynamically link the cmxs file (not possible from rdbg) *)
+        if !Register.verbose_level > 0 then Printf.printf "Loading %s...\n" cmxs;
+        Dynlink.loadfile (Dynlink.adapt_filename cmxs);
+      );
+      
       let initl = List.map (fun n ->
           let algo_id = Filename.chop_suffix n.Topology.file ".ml" in
           let value_of_string_opt = Register.get_value_of_string () in
@@ -269,13 +298,6 @@ let (make : bool -> string array -> 'v t) =
       let e = update_env_with_init e pl in
       let pl_n = List.combine pl algo_neighors in
       if !Register.verbose_level > 0 then List.iter dump_process pl_n;
-      if args.output_algos then (
-        let fl = List.map (fun n -> Filename.chop_extension n.Topology.file) nl in
-        let fl = List.sort_uniq compare fl in
-        Printf.printf "%s\n" (String.concat "\n" fl);
-        flush stdout;
-        exit 0
-      );
       if args.gen_lutin then (
         let fn = (Filename.remove_extension args.topo) ^ ".lut" in
         if Sys.file_exists fn then (

lib/sasacore/process.ml

-(* Time-stamp: <modified the 03/07/2019 (at 15:53) by Erwan Jahier> *)
+(* Time-stamp: <modified the 06/09/2019 (at 15:51) by Erwan Jahier> *)
 
 type 'v t = {
   pid : string;
@@ -8,14 +8,6 @@ type 'v t = {
   step : 'v Register.step_fun ;
 }
 
-
-let (dynlink_nodes: string -> unit) =
-  fun ml -> 
-    let id = Filename.chop_suffix ml ".ml" in
-    let cmxs = id^".cmxs" in
-    if !Register.verbose_level > 0 then Printf.printf "Loading %s...\n" cmxs;
-    Dynlink.loadfile (Dynlink.adapt_filename cmxs)
-
 let (make: bool -> Topology.node -> 'v -> 'v t) =
   fun custom_mode n init ->
     let pid = n.Topology.id in

lib/sasacore/process.mli

-(* Time-stamp: <modified the 19/06/2019 (at 10:47) by Erwan Jahier> *)
+(* Time-stamp: <modified the 06/09/2019 (at 15:51) by Erwan Jahier> *)
 
 (** There is such a Process.t per node in the dot file. *)
 type 'v t = {
@@ -9,10 +9,6 @@ type 'v t = {
   step : 'v Register.step_fun;
 }
 
-
-(* Dynamically link the algo_nodes.cmxs files (not possible from rdbg)  *)
-val dynlink_nodes: string -> unit
-
 (** [make custom_mode_flag node init_state] builds a process out of a dot
    node. To do that, it retreives the registered functions by Dynamic
    linking of the cmxs file specified in the "algo" field of the dot

lib/sasacore/sasArg.ml

-(* Time-stamp: <modified the 25/06/2019 (at 11:16) by Erwan Jahier> *)
+(* Time-stamp: <modified the 12/09/2019 (at 08:54) by Erwan Jahier> *)
 
 
 type t = {
@@ -13,6 +13,7 @@ type t = {
   mutable gen_oracle: bool;
   mutable dummy_input: bool;
   mutable output_algos: bool;
+  mutable gen_register: bool;
   
   mutable _args : (string * Arg.spec * string) list;
   mutable _user_man  : (string * string list) list; 
@@ -42,6 +43,7 @@ let (make_args : unit -> t) =
       gen_oracle = false;
       dummy_input = false;
       output_algos = false;
+      gen_register = false;
       _args = [];        
       _user_man  = [];   
       _hidden_man  = []; 
@@ -129,7 +131,14 @@ let (mkoptab : string array -> t -> unit) =
 
    mkopt args ~hide:true ["--list-algos";"-algo"]
      (Arg.Unit(fun () -> args.output_algos <- true))
-      ["Output the algo names used in the dot file and exit. "];
+      ["Output the algo files used in the dot file and exit. "];
+    
+   mkopt args ~hide:false ["--gen-register";"-reg"]
+     (Arg.Unit(fun () -> args.gen_register <- true))
+      ["Generates the registering file and exit.
+
+
+ "];
     
    mkopt args ~hide:true ["--dummy-input"]
       (Arg.Unit(fun () -> args.dummy_input <- true))

lib/sasacore/sasArg.mli

-(* Time-stamp: <modified the 25/06/2019 (at 11:16) by Erwan Jahier> *)
+(* Time-stamp: <modified the 06/09/2019 (at 17:17) by Erwan Jahier> *)
 
 type t = {
   mutable topo: string;
@@ -12,6 +12,7 @@ type t = {
   mutable gen_oracle: bool;
   mutable dummy_input: bool;
   mutable output_algos: bool;
+  mutable gen_register: bool;
   
   mutable _args : (string * Arg.spec * string) list;
   mutable _user_man  : (string * string list) list; 

lib/sasacore/stringOf.ml

@@ -21,7 +21,7 @@ let (env_rif: 'v Env.t -> 'v Process.t list -> string) =
   fun env pl ->
     let l = List.map 
         (fun p ->
-           Printf.sprintf "%s" (State.to_rif_data (Env.get env p.pid)))
+           Printf.sprintf "%s" (SasaState.to_rif_data (Env.get env p.pid)))
         pl
     in
     String.concat " " l

src/dune

-;; Time-stamp: <modified the 05/09/2019 (at 15:26) by Erwan Jahier>
+;; Time-stamp: <modified the 18/09/2019 (at 15:07) by Erwan Jahier>
 
 (executable
  (name sasaMain)

test/Makefile

@@ -4,9 +4,11 @@ test:
 	cd dijkstra-ring/ &&	make
 	cd unison/ && make
 	cd coloring/ && make
+	cd alea-coloring/ && make
 	cd bfs-spanning-tree/ && make
 	cd dfs/ && make
 	cd dfs-list/ && make
+
 	echo "Every test went fine!"
 
 clean:
@@ -14,6 +16,7 @@ clean:
 	cd dijkstra-ring/ && make clean
 	cd unison/ && make clean
 	cd coloring/ && make clean
+	cd alea-coloring/ && make clean
 	cd bfs-spanning-tree/ && make clean
 	cd dfs/ && make clean
 	cd dfs-list/ && make clean

test/Makefile.inc

-# Time-stamp: <modified the 05/09/2019 (at 14:47) by Erwan Jahier>
+# Time-stamp: <modified the 13/09/2019 (at 11:09) by Erwan Jahier>
 
 DIR=../../_build/install/default
 
@@ -6,20 +6,18 @@ sasa=$(DIR)/bin/sasa  -l 100
 
 LIB=-package algo
 
-%.cmxs: %.ml
-	ocamlfind ocamlopt -shared $(LIB) $^ -o $@
-
-%.cmx: %.ml
-	ocamlfind ocamlopt $(LIB) $^ -o $@
+.PRECIOUS: .ml
+%.ml: %.dot 
+	sasa -reg $<
 
-%.cma: %.ml
-	ocamlfind ocamlc $(LIB) $^ -a -o $@
+%.cmxs: %.ml
+	ocamlfind ocamlopt $(LIB) -shared state.ml $(shell sasa -algo $*.dot) $< -o $@
 
-%.lut: %.dot
-	$(sasa) -gld $^
+%.lut: %.dot %.cmxs
+	$(sasa) -gld $< || echo "==> ok, I'll use the existing $@ file"
 
-%_oracle.lus: %.dot
-	$(sasa) -glos $^
+%_oracle.lus: %.dot %.cmxs
+	$(sasa) -glos $< || echo "==> ok, I'll use the existing $@ file"
 
 %.rif: cmxs %.dot
 	$(sasa) $(sasaopt) $*.dot -rif > $*.rif

test/alea-coloring/Makefile

-# Time-stamp: <modified the 05/09/2019 (at 14:47) by Erwan Jahier>
+# Time-stamp: <modified the 12/09/2019 (at 10:44) by Erwan Jahier>
 
 
-test: p.cmxs ring.lut
+test: ring.cmxs
 	$(sasa) -l 200 ring.dot -cd
 
-cmxs: p.cmxs  p.cma
 sim2chrogtk: ring.rif
 	sim2chrogtk -ecran -in $< > /dev/null
 
@@ -14,18 +13,18 @@ gnuplot: ring.rif
 
 ###################################################################
 # Interactive session with lutin
-rdbg: p.cma p.cmxs ring.lut 
+rdbg: ring.lut ring.ml
 	rdbg -o ring.rif  \
       -env "$(sasa) ring.dot -custd -rif" \
       -sut-nd "lutin ring.lut -n distributed"
 
 # Interactive session with internal deamons
-rdbg2: p.cma p.cmxs ring.lut
+rdbg2: ring.lut ring.ml
 	rdbg -o ring.rif  \
       -env "$(sasa) ring.dot -dd --dummy-input" \
       -sut-nd "lutin ring.lut -n dummy"
 
-rdbg3: p.cma p.cmxs 
+rdbg3: ring.ml 
 	rdbg -o ring.rif  \
       -sut "$(sasa) ring.dot -cd -rif"
 
@@ -34,4 +33,4 @@ rdbg3: p.cma p.cmxs
 -include ../Makefile.inc
 
 clean: genclean
-	rm -f rdbg-session*.ml ring.lut load-ring.dot.ml *~
+	rm -f ring.lut *~ ring.ml

test/alea-coloring/p.ml

-(* Time-stamp: <modified the 21/06/2019 (at 17:28) by Erwan Jahier> *)
+(* Time-stamp: <modified the 12/09/2019 (at 10:39) by Erwan Jahier> *)
 
 open Algo
 
@@ -32,22 +32,6 @@ let (step_f : 'v neighbor list -> 'v -> action -> 'v) =
     function  | _ ->
       if (Random.bool ()) then e else (List.hd (free nl))
 
-let (state_to_string: ('v -> string)) = string_of_int
-let (copy_state : ('v -> 'v)) = fun x -> x
-
-let () =
-  Algo.register {
-    algo = [
-      {
-        algo_id = "p";
-        init_state = init_state;
-        actions = Some ["conflict"];
-        enab = enable_f;
-        step = step_f;          
-      }
-    ];
-    state_to_string = state_to_string;
-    state_of_string = None;
-    copy_state = copy_state;
-  }
+let actions = Some ["conflict"];
+
 

test/alea-coloring/state.ml

+(* Automatically generated by /home/jahier/sasa/_build/default/src/sasaMain.exe version "2.10.4-1-g9a7f112" ("9a7f112")*)
+(* on crevetete the 12/9/2019 at 10:36:45*)
+(*../../_build/install/default/bin/sasa -l 100 -reg ring.dot*)
+
+type t = int (* fixme *)
+let to_string = string_of_int
+let of_string = Some int_of_string
+let copy = fun x -> x
+

test/bfs-spanning-tree/Makefile

-# Time-stamp: <modified the 05/09/2019 (at 21:32) by Erwan Jahier>
+# Time-stamp: <modified the 18/09/2019 (at 21:34) by Erwan Jahier>
 
 
-test: test0 test2 lurette0 lurette1
-test0: cmxs 
-	$(sasa) -rif -l 200 fig5.1-noinit.dot -sd 
+test: test0 test2 lurette0 
+test0: fig51_noinit.cmxs 
+	$(sasa) -rif -l 200 fig51_noinit.dot -sd 
 
 
-cmxs:root.cmxs p.cmxs root.cma p.cma
+lutin: fig51_noinit.cmxs
+	$(sasa) -gld fig51_noinit.dot
 
-root.cmxs:root.ml
-	ocamlfind ocamlopt -shared -package algo p.mli root.ml -o root.cmxs
+test2: fig51.cmxs  
+	$(sasa) -l 200 fig51.dot -sd
 
-lutin:
-	$(sasa) -gld fig5.1-noinit.dot
-
-test2: cmxs  
-	$(sasa) -l 200 fig5.1.dot -sd
-
-sim2chrogtk: fig5.1-noinit.rif
+sim2chrogtk: fig51_noinit.rif
 	sim2chrogtk -ecran -in $< > /dev/null
 
-gnuplot: fig5.1-noinit.rif 
+gnuplot: fig51_noinit.rif 
 	gnuplot-rif $< 
 
-gnuplot2: fig5.2.rif 
+gnuplot2: fig52.rif 
 	gnuplot-rif $< 
 
-lurette0:cmxs fig5.1-noinit.lut fig5.1-noinit_oracle.lus
+lurette0: fig51_noinit.cmxs fig51_noinit.lut 
 	lurette -o lurette.rif  \
-      -env "$(sasa) fig5.1-noinit.dot -custd -rif" \
-      -sut "lutin fig5.1-noinit.lut -n distributed"
+      -env "sasa fig51_noinit.dot -custd -rif" \
+      -sut "lutin fig51_noinit.lut -n distributed"
 
+# rdbg -lurette is broken from ocaml 4.08; but lurette works fine
 lurette1:lurette1.rif
-lurette1.rif:cmxs fig5.1.lut fig5.1_oracle.lus
+lurette1.rif: fig51.cmxs fig51.lut fig51_oracle.lus
 	rdbg -lurette -o lurette1.rif  \
-      -env "$(sasa) fig5.1.dot -dd -rif" \
-		-oracle "lv6 fig5.1_oracle.lus -n oracle"
+      -env "$(sasa) fig51.dot -dd -rif" \
+		-oracle "lv6 fig51_oracle.lus -n oracle"
 
 lurette: lurette0
 	sim2chrogtk -ecran -in lurette.rif > /dev/null
 	gnuplot-rif lurette.rif
 
-rdbg: cmxs fig5.1-noinit.lut
+rdbg: fig51_noinit.ml fig51_noinit.lut
 	rdbg -o lurette.rif  \
-      -env "$(sasa) fig5.1-noinit.dot -custd -rif" \
-      -sut-nd "lutin fig5.1-noinit.lut -n distributed"
+      -env "$(sasa) fig51_noinit.dot -custd -rif" \
+      -sut-nd "lutin fig51_noinit.lut -n distributed"
 
-rdbg2: cmxs fig5.1.lut
+rdbg2: fig51.ml fig51.lut
 	rdbg -o lurette.rif  \
-      -env "$(sasa) fig5.1.dot -custd -rif" \
-      -sut-nd "lutin fig5.1.lut -n distributed"
+      -env "$(sasa) fig51.dot -custd -rif" \
+      -sut-nd "lutin fig51.lut -n distributed"
 
 
-manual:cmxs fig5.1-noinit.lut
+manual: fig51_noinit.cmxs fig51_noinit.lut
 	lurette -o lurette.rif --sim2chro \
-      -sut "$(sasa) fig5.1-noinit.dot -custd -rif -ifi" \
-      -env "lutin fig5.1-noinit.lut -n manual" &&\
+      -sut "$(sasa) fig51_noinit.dot -custd -rif -ifi" \
+      -env "lutin fig51_noinit.lut -n manual" &&\
 	gnuplot-rif lurette.rif 
 
 
 -include ../Makefile.inc
 
 clean: genclean
-	rm -f fig*oracle.lus
+	rm -f fig*oracle.lus fig5*.ml

test/bfs-spanning-tree/fig5.1_oracle.lus

--- Automatically generated by /home/jahier/sasa/_build/default/src/sasaMain.exe version "2.10.3" ("42ccc7f")
--- on crevetete the 6/9/2019 at 14:12:45
---../../_build/install/default/bin/sasa -l 100 -glos fig5.1.dot
-
-include "bfs_spanning_tree_oracle.lus"
-const an=2; -- actions number
-const pn=8; -- processes number
-const degree=3;
-const min_degree=2;
-const mean_degree=2.250000;
-const diameter=4;
-const card=8;
-const links_number=9;
-const is_cyclic=true;
-const is_connected=true;
-const is_a_tree=false;
-const adjency=[
-	[f,t,f,f,f,f,f,t],
-	[t,f,t,f,f,f,f,f],
-	[f,t,f,t,f,f,t,f],
-	[f,f,t,f,t,f,f,f],
-	[f,f,f,t,f,t,f,f],
-	[f,f,f,f,t,f,t,f],
-	[f,f,t,f,f,t,f,t],
-	[t,f,f,f,f,f,t,f]];
-const k=42;
-
-node oracle(p1_CD,p1_CP,p2_CD,p2_CP,p3_CD,p3_CP,p4_CD,p4_CP,p5_CD,p5_CP,p6_CD,p6_CP,p7_CD,p7_CP,p8_CD,p8_CP,Enab_p1_CD,Enab_p1_CP,Enab_p2_CD,Enab_p2_CP,Enab_p3_CD,Enab_p3_CP,Enab_p4_CD,Enab_p4_CP,Enab_p5_CD,Enab_p5_CP,Enab_p6_CD,Enab_p6_CP,Enab_p7_CD,Enab_p7_CP,Enab_p8_CD,Enab_p8_CP:bool) returns (ok:bool);
-var
-  	Acti:bool^2^8;
-	Enab:bool^2^8;
-let
-  	Acti = [[p1_CD,p1_CP],[p2_CD,p2_CP],[p3_CD,p3_CP],[p4_CD,p4_CP],[p5_CD,p5_CP],[p6_CD,p6_CP],[p7_CD,p7_CP],[p8_CD,p8_CP]];
-  	Enab = [[Enab_p1_CD,Enab_p1_CP],[Enab_p2_CD,Enab_p2_CP],[Enab_p3_CD,Enab_p3_CP],[Enab_p4_CD,Enab_p4_CP],[Enab_p5_CD,Enab_p5_CP],[Enab_p6_CD,Enab_p6_CP],[Enab_p7_CD,Enab_p7_CP],[Enab_p8_CD,Enab_p8_CP]];
-
-  ok = bfs_spanning_tree_oracle<<an,pn>>(Enab,Acti);
-tel