fix linters

qlasskit/ast2logic/exceptions.py

@@ -43,7 +43,8 @@ def __init__(self, ob, message=None):
 class OutOfBoundException(Exception):
     def __init__(self, size, i):
         super().__init__(f"size is {size}: {i} accessed")
-
+
+
 class UnboundException(Exception):
     def __init__(self, symbol, env):
         super().__init__(f"{symbol} in {env}")

qlasskit/ast2logic/t_arguments.py

@@ -14,7 +14,7 @@
 import ast
 from typing import List, Tuple
 
-from ..typing import Arg, Args, Qint, Qint2, Qint4, Qint8, Qint12, Qint16 # noqa: F
+from ..typing import Arg, Args, Qint, Qint2, Qint4, Qint8, Qint12, Qint16  # noqa: F
 from . import exceptions
 from .t_expression import TType
 

qlasskit/ast2logic/t_expression.py

@@ -20,7 +20,6 @@
 from typing_extensions import TypeAlias
 
 from . import Env, exceptions
-from ..typing import Qtype
 
 TType: TypeAlias = object
 
@@ -123,12 +122,12 @@ def unfold(v_exps, op):
         te_test = translate_expression(expr.test, env)
         te_true = translate_expression(expr.body, env)
         te_false = translate_expression(expr.orelse, env)
-        
+
         if te_test[0] != bool:
             raise exceptions.TypeErrorException(te_test[0], bool)
-        
+
         if te_true[0] != te_false[0]:
-            raise exceptions.TypeErrorException(te_false[0], te_true[0])     
+            raise exceptions.TypeErrorException(te_false[0], te_true[0])
 
         return (
             te_true[0],

qlasskit/qlassf.py

@@ -18,7 +18,7 @@
 from typing import Callable, List, Tuple, Union  # noqa: F401
 
 from . import compiler
-from .ast2logic import translate_ast, flatten
+from .ast2logic import flatten, translate_ast
 from .typing import *  # noqa: F403, F401
 from .typing import Args, BoolExpList
 
@@ -61,14 +61,14 @@ def __add__(self, qf2) -> "QlassF":
 
     def truth_table_header(self) -> List[str]:
         """Returns the list of string containing the truth table header"""
-        header = flatten(map(lambda a: a.bitvec, self.args))
+        header = flatten(list(map(lambda a: a.bitvec, self.args)))
         header.extend([sym.name for (sym, retex) in self.expressions[-self.ret_size :]])
         return header
 
     def truth_table(self) -> List[List[bool]]:
         """Returns the truth table for the function using the sympy boolean for computing"""
         truth = []
-        arg_bits = flatten(map(lambda a: a.bitvec, self.args))
+        arg_bits = flatten(list(map(lambda a: a.bitvec, self.args)))
         bits = len(arg_bits)
 
         if (bits + self.ret_size) > MAX_TRUTH_TABLE_SIZE:
@@ -123,7 +123,7 @@ def gate(self, framework="qiskit"):
     @property
     def input_size(self) -> int:
         """Return the size of the inputs (in bits)"""
-        return reduce(lambda a, b: a+len(b), self.args, 0)
+        return reduce(lambda a, b: a + len(b), self.args, 0)
 
     @property
     def num_qubits(self) -> int:

qlasskit/typing.py

@@ -61,43 +61,45 @@ def to_bool(self):
 #         return self.value
 
 
-
 class Qint(int, Qtype):
     BIT_SIZE = 8
-    
+
     def __init__(self, value):
         super().__init__()
         self.value = value
 
 
 class Qint2(Qint):
     BIT_SIZE = 2
-    
+
     def __init__(self, value):
         super().__init__(value)
 
 
 class Qint4(Qint):
     BIT_SIZE = 4
-    
+
     def __init__(self, value):
         super().__init__(value)
 
 
 class Qint8(Qint):
     BIT_SIZE = 8
+
     def __init__(self, value):
         super().__init__(value)
 
 
 class Qint12(Qint):
     BIT_SIZE = 12
+
     def __init__(self, value):
         super().__init__(value)
 
 
 class Qint16(Qint):
     BIT_SIZE = 16
+
     def __init__(self, value):
         super().__init__(value)
 

test/test_qlassf_int.py

@@ -19,7 +19,7 @@
 
 from qlasskit import QlassF, exceptions, qlassf
 
-from .utils import compare_circuit_truth_table, COMPILATION_ENABLED
+from .utils import COMPILATION_ENABLED, compare_circuit_truth_table
 
 a, b, c, d = symbols("a,b,c,d")
 _ret = Symbol("_ret")

test/test_qlassf_tuple.py

@@ -20,7 +20,7 @@
 
 from qlasskit import QlassF, exceptions, qlassf
 
-from .utils import compare_circuit_truth_table, COMPILATION_ENABLED
+from .utils import COMPILATION_ENABLED, compare_circuit_truth_table
 
 a, b, c, d = symbols("a,b,c,d")
 _ret = Symbol("_ret")