Skip to content

Commit

Permalink
Update
Browse files Browse the repository at this point in the history
  • Loading branch information
olegranmo committed May 9, 2024
1 parent 288100a commit 0008cb3
Showing 1 changed file with 7 additions and 2 deletions.
9 changes: 7 additions & 2 deletions tmu/clause_bank/clause_bank.py
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@ class ClauseBank(BaseClauseBank):
cop_p = None # _cffi_backend._CDataBase
ptr_feedback_to_ta = None # _cffi_backend._CDataBase
ptr_output_one_patches = None # _cffi_backend._CDataBase
ptr_output_one_patch_count = None # _cffi_backend._CDataBase
ptr_literal_clause_count = None # _cffi_backend._CDataBase
ptr_actions = None # _cffi_backend._CDataBase

Expand Down Expand Up @@ -61,6 +62,7 @@ def __init__(
self.clause_output_patchwise = np.empty(self.number_of_clauses * self.number_of_patches, dtype=np.uint32, order="c")
self.feedback_to_ta = np.empty(self.number_of_ta_chunks, dtype=np.uint32, order="c")
self.output_one_patches = np.empty(self.number_of_patches, dtype=np.uint32, order="c")
self.output_one_patch_count = np.zeros(self.number_of_patches, dtype=np.uint32, order="c")
self.literal_clause_count = np.empty(self.number_of_literals, dtype=np.uint32, order="c")
self.type_ia_feedback_counter = np.zeros(self.number_of_clauses, dtype=np.uint32, order="c")

Expand Down Expand Up @@ -105,6 +107,8 @@ def _cffi_init(self):
self.cop_p = ffi.cast("unsigned int *", self.clause_output_patchwise.ctypes.data) # clause_output_patchwise
self.ptr_feedback_to_ta = ffi.cast("unsigned int *", self.feedback_to_ta.ctypes.data) # feedback_to_ta
self.ptr_output_one_patches = ffi.cast("unsigned int *", self.output_one_patches.ctypes.data) # output_one_patches
self.ptr_output_one_patch_count = ffi.cast("unsigned int *", self.output_one_patch_count.ctypes.data) # output_one_patch_count

self.ptr_literal_clause_count = ffi.cast("unsigned int *", self.literal_clause_count.ctypes.data) # literal_clause_count
self.tiafc_p = ffi.cast("unsigned int *", self.type_ia_feedback_counter.ctypes.data) # literal_clause_count

Expand Down Expand Up @@ -157,7 +161,7 @@ def calculate_clause_outputs_predict(self, encoded_X, e):
xi_p
)

lib.cb_calculate_clause_outputs_predict_recurrent(
lib.cb_calculate_clause_outputs_predict(#_recurrent(
self.ptr_ta_state,
self.number_of_clauses,
self.number_of_literals,
Expand Down Expand Up @@ -229,7 +233,7 @@ def calculate_clause_outputs_update(self, literal_active, encoded_X, e):
xi_p
)

lib.cb_calculate_clause_outputs_update_recurrent(
lib.cb_calculate_clause_outputs_update(#_recurrent(
self.ptr_ta_state,
self.number_of_clauses,
self.number_of_literals,
Expand Down Expand Up @@ -293,6 +297,7 @@ def type_i_feedback(
self.ptr_ta_state,
self.ptr_feedback_to_ta,
self.ptr_output_one_patches,
self.ptr_output_one_patch_count,
self.number_of_clauses,
self.number_of_literals,
self.number_of_state_bits_ta,
Expand Down

0 comments on commit 0008cb3

Please sign in to comment.