[lib] CLUnfolder: Cleaning; Add doc; fix typos

library/cadbiom/models/clause_constraints/CLDynSys.py

@@ -158,7 +158,8 @@ class CLDynSys(object):
             {"_h_0000": ('clock', -1)}
 
     :param report: Reporter for error reporting.
-    :param base_var_set: Set of ALL variables of the dynamic system (including auxiliary ones).
+    :param base_var_set: Set of ALL variables of the dynamic system
+        (including inputs, entities, clocks/events, auxiliary variables)
     :param list_clauses: Clauses
         Added from MCLTranslator.
     :param aux_list_clauses: Auxiliary clauses.
@@ -306,8 +307,8 @@ class CLDynSys(object):
         self.aux_list_clauses.append(cla)
 
     def get_var_number(self):
-        """
-        returns the number of variables used in the system (including aux vars)
+        """Get the number of ALL variables of the dynamic system
+        (including inputs, entities, clocks/events, auxiliary variables)
         """
         return len(self.base_var_set)