CI

clinguin/server/application/backends/clingo_backend.py

@@ -1,4 +1,5 @@
 # pylint: disable=R0801
+# pylint: disable=too-many-lines
 """
 Module that contains the ClingoMultishotBackend.
 """
@@ -160,7 +161,7 @@ def _assumption_list(self) -> list:
         """
         A list of assumptions in the format of form (a, True) or (a, False)
         """
-        return [a for a in self._assumptions]
+        return self._assumptions
 
     # ---------------------------------------------
     # Initialization

clinguin/server/application/backends/explanation_backend.py

@@ -40,7 +40,7 @@ def _assumption_list(self):
 
             Overwrites :meth:`ClingoBackend._assumption_list`
         """
-        return [a for a in self._assumptions.union(self._assumptions_from_signature)]
+        return self._assumptions.union(self._assumptions_from_signature)
 
     # ---------------------------------------------
     # Initialization
@@ -104,14 +104,15 @@ def _load_file(self, f):
     # Solving
     # ---------------------------------------------
     @extends(ClingoMultishotBackend)
-    def _ground(self, program="base"):
+    def _ground(self, program="base", arguments=None):
         """
         Sets the list of assumptions that were taken from the input files using the assumption_signature.
 
         Attributes:
-            _assumptions_from_signature (Set[Tuple(clingo.Symbol,bool)]): The set of assumptions from the assumption signatures
+            _assumptions_from_signature (Set[Tuple(str,bool)]): The set of assumptions from the assumption signatures
+            arguments (list, optional): The list of arguments to ground the program. Defaults to an empty list.
         """
-        super()._ground(program)
+        super()._ground(program, arguments)
         # pylint: disable= attribute-defined-outside-init
         transformer_assumptions = self._assumption_transformer.get_assumption_symbols(
             self._ctl, arguments=self._ctl_arguments_list

clinguin/server/data/clinguin_context.py

@@ -1,3 +1,7 @@
+"""
+Clinguin Context passed to the clingo control object with helper python functions
+"""
+
 from clingo.symbol import String, SymbolType
 
 
@@ -37,7 +41,8 @@ def format(self, s, *args):
 
         Args:
             s (str): The string to format, for example "{0} and {1}"
-            args: All symbols that can be accessed by the position starting in 0. If there is a single tuple as an argument, then its arguments are considered one by one.
+            args: All symbols that can be accessed by the position starting in 0.
+                If there is a single tuple as an argument, then its arguments are considered one by one.
         Returns:
             The string obtained by formatting the string with the given arguments
         """

clinguin/server/data/ui_state.py

@@ -9,9 +9,9 @@
 import clorm
 from clingo import Control, parse_term
 from clingo.symbol import Function, Number, String
-from clinguin.server.data.clinguin_context import ClinguinContext
 from clorm import Raw
 
+from clinguin.server.data.clinguin_context import ClinguinContext
 from clinguin.utils import StandardTextProcessing, image_to_b64
 
 from ...utils.logger import uictl_log