From 86d50743fbf58f0fca103ddbbdf86b3781f880f8 Mon Sep 17 00:00:00 2001
From: VIGNET Pierre <pierre.vignet@irisa.fr>
Date: Wed, 4 Dec 2019 02:44:15 +0100
Subject: [PATCH] [lib] Fix typos

---
 library/cadbiom/commons.py                             |  7 +++++++
 .../models/clause_constraints/mcl/MCLAnalyser.py       | 10 ++++------
 2 files changed, 11 insertions(+), 6 deletions(-)

diff --git a/library/cadbiom/commons.py b/library/cadbiom/commons.py
index 5520991..7145f27 100644
--- a/library/cadbiom/commons.py
+++ b/library/cadbiom/commons.py
@@ -51,6 +51,13 @@ def logger(name=LOGGER_NAME, logfilename=None):
     """Return logger of given name, without initialize it.
 
     Equivalent of logging.getLogger() call.
+
+    :Example:
+
+        cm.logger(name=__name__)
+
+    :param name: Name of the logger, only displayed if "%(name)s" is present in
+        the logging.Formatter.
     """
     return logging.getLogger(name)
 
diff --git a/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py b/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
index 48eec00..443294b 100644
--- a/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
+++ b/library/cadbiom/models/clause_constraints/mcl/MCLAnalyser.py
@@ -373,7 +373,7 @@ class MCLAnalyser(object):
         # inactive_frontier_values = \
         #     [[var] for var in dimacs_front_sol.frontier_values if var < 0]
         # Intersection between pre-computed negative values for all frontiers
-        # and all frontiers (negative and positive) in the given solution
+        # (negative and positive) in the given solution, and all frontiers.
         inactive_frontier_values = \
             [[var] for var in
              self.unfolder.frontiers_negative_values & dimacs_front_sol.frontier_values]
@@ -683,11 +683,9 @@ class MCLAnalyser(object):
         # list of timed minimal activation conditions on frontier (dimacs code)
         # i.e list<DimacsFrontierSol>
         # mac_list = [] # Not used anymore
-        forbidden_frontier_values = []
 
-        ## TODO: parser les properties au format DIMACS une bonne fois pour toutes
-        ## et les ajouter dans forbidden_frontier_values
-        ## Lors du rechargement des places précédentes, le problème du parsing va réapparaitre
+        # Keep a list of frontier values to be banned in the next search
+        forbidden_frontier_values = []
 
         # Satisfiability test
         reachable = self.sq_is_satisfiable(query, max_user_step)
@@ -729,7 +727,7 @@ class MCLAnalyser(object):
                     break
 
                 ## TEST
-                ## Make autoadjustment... of max_steps during the solving
+                ## Make autoadjustment... of max_steps during the solving!
                 ## Juste appeler squery_solve avec les memes parametres mais
                 ## min_step augmenté de 1
                 ## en restant inférieur au nb d'étapes demandées à l'origine
-- 
GitLab