Update abducer_base.py

abducer/abducer_base.py

@@ -144,25 +144,25 @@ class AbducerBase(abc.ABC):
 
 if __name__ == '__main__':
     kb = add_KB()
-    abd = AbducerBase(kb)
-    res = abd.abduce(([1, 1, 1], 4), max_address_num = 2, require_more_address = 0)
+    abd = AbducerBase(kb, 'hamming')
+    res = abd.abduce(([1, 1, 1], None, 4), max_address_num = 2, require_more_address = 0)
     print(res)
-    res = abd.abduce(([1, 1, 1], 4), max_address_num = 2, require_more_address = 1)
+    res = abd.abduce(([1, 1, 1], None, 4), max_address_num = 2, require_more_address = 1)
     print(res)
-    res = abd.abduce(([1, 1, 1], 4), max_address_num = 1, require_more_address = 1)
+    res = abd.abduce(([1, 1, 1], None, 4), max_address_num = 1, require_more_address = 1)
     print(res)
-    res = abd.abduce(([1, 1, 1], 4), max_address_num = 2, require_more_address = 0)
+    res = abd.abduce(([1, 1, 1], None, 4), max_address_num = 2, require_more_address = 0)
     print(res)
-    res = abd.abduce(([1, 1, 1], 5), max_address_num = 2, require_more_address = 1)
+    res = abd.abduce(([1, 1, 1], None, 5), max_address_num = 2, require_more_address = 1)
     print(res)
     print()
     
     kb = hwf_KB()
     abd = AbducerBase(kb)
-    res = abd.abduce((['5', '+', '2'], 3), max_address_num = 2, require_more_address = 0)
+    res = abd.abduce((['5', '+', '2'], None, 3), max_address_num = 2, require_more_address = 0)
     print(res)
-    res = abd.abduce((['5', '+', '2'], 1.67), max_address_num = 3, require_more_address = 0)
+    res = abd.abduce((['5', '+', '2'], None, 1.67), max_address_num = 3, require_more_address = 0)
     print(res)
-    res = abd.abduce((['5', '+', '3'], 0.33), max_address_num = 3, require_more_address = 3)
+    res = abd.abduce((['5', '+', '3'], None, 0.33), max_address_num = 3, require_more_address = 3)
     print(res)
     print()