Lint

MarcusRostSAP · May 2, 2024 · 97ee880 · 97ee880
1 parent 1b60d24
commit 97ee880
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/explainer/explainer.py b/explainer/explainer.py
@@ -30,7 +30,7 @@ def add_constraint(self, constr):
         :param constr: A regular expression or Signal constrain representing the constraint.
         """
         pass
-    
+
     # Marking remove_constraint as abstract as an example
     @abstractmethod
     def remove_constraint(self, idx):

diff --git a/explainer/explainer_regex.py b/explainer/explainer_regex.py
@@ -1,7 +1,12 @@
 import math
 import re
 from itertools import combinations, product, chain
-from explainer.explainer import Explainer, Trace, EventLog, get_sublists, levenshtein_distance
+from explainer.explainer import (
+    Explainer,
+    Trace,
+    get_sublists,
+    levenshtein_distance,
+)
 
 
 class ExplainerRegex(Explainer):

diff --git a/explainer/explainer_signal.py b/explainer/explainer_signal.py
@@ -206,15 +206,14 @@ def activation(self, trace, constraints=None):
                 if re.search(constraint, node):
                     return True
         return False
-    
+
     def add_constraint(self, constr):
         """
         Adds a new constraint and updates the nodes list.
 
         :param constr: A regular expression or Signal constrain representing the constraint.
         """
         self.constraints.append(constr)
-
 
     def conformant(self, trace, constraints=None):
         if not constraints: