Don't re-create hex_dict for each value

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 56ae8dcfee42221a2c67de4189d5fc8ca2fb904d..dad63e567d4b23f6dbfaaf7dab25b23dff48b9a2 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -23,6 +23,16 @@ from select import select
 from time import time
 
 
+hex_dict = {
+    "0": "0000", "1": "0001", "2": "0010", "3": "0011",
+    "4": "0100", "5": "0101", "6": "0110", "7": "0111",
+    "8": "1000", "9": "1001", "A": "1010", "B": "1011",
+    "C": "1100", "D": "1101", "E": "1110", "F": "1111",
+    "a": "1010", "b": "1011", "c": "1100", "d": "1101",
+    "e": "1110", "f": "1111"
+}
+
+
 class SmtModInfo:
     def __init__(self):
         self.inputs = set()
@@ -294,13 +304,6 @@ class SmtIo:
         if v.startswith("#b"):
             return v[2:]
         if v.startswith("#x"):
-            hex_dict = {
-                "0": "0000", "1": "0001", "2": "0010", "3": "0011",
-                "4": "0100", "5": "0101", "6": "0110", "7": "0111",
-                "8": "1000", "9": "1001", "A": "1010", "B": "1011",
-                "C": "1100", "D": "1101", "E": "1110", "F": "1111",
-                "a": "1010", "b": "1011", "c": "1100", "d": "1101",
-                "e": "1110", "f": "1111"}
             return "".join(hex_dict.get(x) for x in v[2:])
         assert False