From 36304c98dc8af74cf8c7ab51fbc8d9ddf18cb03a Mon Sep 17 00:00:00 2001
From: troyyyyy <49091847+troyyyyy@users.noreply.github.com>
Date: Sat, 19 Nov 2022 10:42:26 +0800
Subject: [PATCH] Update abducer_base.py

---
 abducer/abducer_base.py | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/abducer/abducer_base.py b/abducer/abducer_base.py
index af9fdc8..c94bca4 100644
--- a/abducer/abducer_base.py
+++ b/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()