Cleanup of counters_compiler

core/KaSa_rep/abstract_domains/mvbdu/dune

@@ -1,10 +1,17 @@
 (library
-  (name kappa_mvbdu)
-  (libraries kappa_kasa_kastor_toolset kappa-library.generic)
-  (flags (:standard -w @a
-    -open Kappa_parameters
-    -open Kappa_errors
-    -open Kappa_logging
-    -open Kappa_kasa_kastor_toolset
-    -open Kappa_generic_toolset
-    )))
+ (name kappa_mvbdu)
+ (libraries kappa_kasa_kastor_toolset kappa-library.generic)
+ (flags
+  (:standard
+   -w
+   @a
+   -open
+   Kappa_parameters
+   -open
+   Kappa_errors
+   -open
+   Kappa_logging
+   -open
+   Kappa_kasa_kastor_toolset
+   -open
+   Kappa_generic_toolset)))

core/KaSa_rep/abstract_domains/numerical_domains/dune

@@ -1,11 +1,19 @@
 (library
-  (name kappa_numerical_domains)
-  (libraries kappa_kasa_frontend)
-  (flags (:standard -w @a
-    -open Kappa_parameters
-    -open Kappa_errors
-    -open Kappa_logging
-    -open Kappa_kasa_kastor_toolset
-    -open Kappa_generic_toolset
-    -open Kappa_kasa_frontend
-    )))
+ (name kappa_numerical_domains)
+ (libraries kappa_kasa_frontend)
+ (flags
+  (:standard
+   -w
+   @a
+   -open
+   Kappa_parameters
+   -open
+   Kappa_errors
+   -open
+   Kappa_logging
+   -open
+   Kappa_kasa_kastor_toolset
+   -open
+   Kappa_generic_toolset
+   -open
+   Kappa_kasa_frontend)))

core/KaSa_rep/backend/dune

@@ -1,14 +1,29 @@
 (library
-  (name kappa_kasa_backend)
-  (libraries yojson kappa_kasa_frontend kappa_kasa_remanent_state kappa_kasa_site_graphs)
-  (flags (:standard -w @a
-    -open Kappa_kasa_frontend
-    -open Kappa_kasa_kastor_toolset
-    -open Kappa_parameters
-    -open Kappa_errors
-    -open Kappa_logging
-    -open Kappa_generic_toolset
-    -open Kappa_kasa_remanent_state
-    -open Kappa_kasa_site_graphs
-    -open Kappa_kasa_type_interface
-     )))
+ (name kappa_kasa_backend)
+ (libraries
+  yojson
+  kappa_kasa_frontend
+  kappa_kasa_remanent_state
+  kappa_kasa_site_graphs)
+ (flags
+  (:standard
+   -w
+   @a
+   -open
+   Kappa_kasa_frontend
+   -open
+   Kappa_kasa_kastor_toolset
+   -open
+   Kappa_parameters
+   -open
+   Kappa_errors
+   -open
+   Kappa_logging
+   -open
+   Kappa_generic_toolset
+   -open
+   Kappa_kasa_remanent_state
+   -open
+   Kappa_kasa_site_graphs
+   -open
+   Kappa_kasa_type_interface)))

core/KaSa_rep/counting_enumerating_species/dune

@@ -1,12 +1,19 @@
 (library
-  (name kappa_species_count_enumeration)
-  (libraries num kappa_kasa_remanent_state kappa-library.generic)
-  (flags (:standard)
-    -open Kappa_parameters
-    -open Kappa_errors
-    -open Kappa_kasa_remanent_state
-    -open Kappa_kasa_frontend
-    -open Kappa_logging
-    -open Kappa_generic_toolset
-    -open Kappa_kasa_kastor_toolset
-))
+ (name kappa_species_count_enumeration)
+ (libraries num kappa_kasa_remanent_state kappa-library.generic)
+ (flags
+  (:standard)
+  -open
+  Kappa_parameters
+  -open
+  Kappa_errors
+  -open
+  Kappa_kasa_remanent_state
+  -open
+  Kappa_kasa_frontend
+  -open
+  Kappa_logging
+  -open
+  Kappa_generic_toolset
+  -open
+  Kappa_kasa_kastor_toolset))

core/KaSa_rep/export/dune

@@ -1,25 +1,50 @@
 (library
-  (name kappa_kasa_export)
-  (libraries kappa_flow_analysis kappa_reachability kappa_influence_map kappa_polymers_analysis  kappa_symmetries)
-  (flags (:standard)
-    -open Kappa_kasa_frontend
-    -open Kappa_kasa_remanent_state
-    -open Kappa_grammar
-    -open Kappa_terms
-    -open Kappa_logging
-    -open Kappa_generic_toolset
-    -open Kappa_errors
-    -open Kappa_reachability
-    -open Kappa_flow_analysis
-    -open Kappa_parameters
-    -open Kappa_kasa_kastor_toolset
-    -open Kappa_cli
-    -open Kappa_profiling
-    -open Kappa_mixtures
-    -open Kappa_influence_map
-    -open Kappa_polymers_analysis
-    -open Kappa_kasa_site_graphs
-    -open Kappa_kasa_backend
-    -open Kappa_symmetries
-    -open Kappa_kasa_type_interface
-))
+ (name kappa_kasa_export)
+ (libraries
+  kappa_flow_analysis
+  kappa_reachability
+  kappa_influence_map
+  kappa_polymers_analysis
+  kappa_symmetries)
+ (flags
+  (:standard)
+  -open
+  Kappa_kasa_frontend
+  -open
+  Kappa_kasa_remanent_state
+  -open
+  Kappa_grammar
+  -open
+  Kappa_terms
+  -open
+  Kappa_logging
+  -open
+  Kappa_generic_toolset
+  -open
+  Kappa_errors
+  -open
+  Kappa_reachability
+  -open
+  Kappa_flow_analysis
+  -open
+  Kappa_parameters
+  -open
+  Kappa_kasa_kastor_toolset
+  -open
+  Kappa_cli
+  -open
+  Kappa_profiling
+  -open
+  Kappa_mixtures
+  -open
+  Kappa_influence_map
+  -open
+  Kappa_polymers_analysis
+  -open
+  Kappa_kasa_site_graphs
+  -open
+  Kappa_kasa_backend
+  -open
+  Kappa_symmetries
+  -open
+  Kappa_kasa_type_interface))

core/KaSa_rep/export/export.ml

@@ -1717,19 +1717,18 @@ functor
                               (Ckappa_sig.site_name_of_int y)
                           in
                           ( state,
-                            ( Locality.annotate_with_dummy sx,
-                              Locality.annotate_with_dummy sy )
+                            (Loc.annot_with_dummy sx, Loc.annot_with_dummy sy)
                             :: list ))
                         (state, []) rev_binding
                     in
                     let states' =
                       NamedDecls.create
                         (Tools.array_map_of_list
-                           (fun i -> Locality.annotate_with_dummy i, ())
+                           (fun i -> Loc.annot_with_dummy i, ())
                            states)
                     in
                     ( state,
-                      ( Locality.annotate_with_dummy x,
+                      ( Loc.annot_with_dummy x,
                         {
                           Signature.internal_state = states';
                           links = Some binding';
@@ -1739,7 +1738,7 @@ functor
                   (state, []) interface
               in
               ( state,
-                (Locality.annotate_with_dummy a, NamedDecls.create_from_list acc)
+                (Loc.annot_with_dummy a, NamedDecls.create_from_list acc)
                 :: list ))
           (state, []) l.(0)
       in

core/KaSa_rep/flow/dune

@@ -1,11 +1,15 @@
 (library
-  (name kappa_flow_analysis)
-  (libraries kappa_kasa_frontend)
-  (flags (:standard)
-    -open Kappa_kasa_frontend
-    -open Kappa_generic_toolset
-    -open Kappa_parameters
-    -open Kappa_logging
-    -open Kappa_errors
-
-))
+ (name kappa_flow_analysis)
+ (libraries kappa_kasa_frontend)
+ (flags
+  (:standard)
+  -open
+  Kappa_kasa_frontend
+  -open
+  Kappa_generic_toolset
+  -open
+  Kappa_parameters
+  -open
+  Kappa_logging
+  -open
+  Kappa_errors))

core/KaSa_rep/frontend/build_graph.ml

@@ -29,7 +29,7 @@ let add_agent parameters error handler cckappa_only agent_id agent_type mixture
       Cckappa_sig.agent_kasim_id = agent_id;
       Cckappa_sig.agent_name = agent_type;
       Cckappa_sig.agent_interface = Ckappa_sig.Site_map_and_set.Map.empty;
-      Cckappa_sig.agent_position = Locality.dummy;
+      Cckappa_sig.agent_position = Loc.dummy;
       Cckappa_sig.is_created = false;
     }
   in
@@ -45,7 +45,7 @@ let add_agent parameters error handler cckappa_only agent_id agent_type mixture
 let empty_port =
   {
     Cckappa_sig.site_name = Ckappa_sig.dummy_site_name;
-    Cckappa_sig.site_position = Locality.dummy;
+    Cckappa_sig.site_position = Loc.dummy;
     Cckappa_sig.site_free = None;
     Cckappa_sig.site_state =
       {
@@ -81,7 +81,7 @@ let add_site parameters error handler cckappa_only agent_id site_name mixture =
     let site =
       {
         Cckappa_sig.site_name;
-        Cckappa_sig.site_position = Locality.dummy;
+        Cckappa_sig.site_position = Loc.dummy;
         Cckappa_sig.site_free = None;
         Cckappa_sig.site_state =
           {

core/KaSa_rep/frontend/cckappa_sig.ml

@@ -26,7 +26,7 @@ type kappa_handler = {
   nagents: Ckappa_sig.c_agent_name;
   agents_dic: Ckappa_sig.agent_dic;
   agents_annotation:
-    (string * Locality.t list)
+    (string * Loc.t list)
     Ckappa_sig.Agent_type_nearly_Inf_Int_storage_Imperatif.t;
   interface_constraints:
     Ckappa_sig.agent_specification
@@ -201,8 +201,7 @@ type compil = {
   rules: enriched_rule Ckappa_sig.Rule_nearly_Inf_Int_storage_Imperatif.t;
   (*rules (possibly named)*)
   observables:
-    (mixture, string) Alg_expr.e Locality.annoted
-    Int_storage.Nearly_inf_Imperatif.t;
+    (mixture, string) Alg_expr.e Loc.annoted Int_storage.Nearly_inf_Imperatif.t;
   (*list of patterns to plot*)
   init: enriched_init Int_storage.Nearly_inf_Imperatif.t;
   (*initial graph declaration*)
@@ -615,7 +614,7 @@ let empty_port site =
       site_name = site;
       site_free = None;
       site_state = empty_interval;
-      site_position = Locality.dummy;
+      site_position = Loc.dummy;
     }
   in
   empty_port

core/KaSa_rep/frontend/cckappa_sig.mli

@@ -26,7 +26,7 @@ type kappa_handler = {
   nagents: Ckappa_sig.c_agent_name;
   agents_dic: Ckappa_sig.agent_dic;
   agents_annotation:
-    (string * Locality.t list)
+    (string * Loc.t list)
     Ckappa_sig.Agent_type_nearly_Inf_Int_storage_Imperatif.t;
   interface_constraints:
     Ckappa_sig.agent_specification
@@ -194,8 +194,7 @@ type compil = {
   rules: enriched_rule Ckappa_sig.Rule_nearly_Inf_Int_storage_Imperatif.t;
   (*rules (possibly named)*)
   observables:
-    (mixture, string) Alg_expr.e Locality.annoted
-    Int_storage.Nearly_inf_Imperatif.t;
+    (mixture, string) Alg_expr.e Loc.annoted Int_storage.Nearly_inf_Imperatif.t;
   (*list of patterns to plot*)
   init: enriched_init Int_storage.Nearly_inf_Imperatif.t;
   (*initial graph declaration*)