Commit 0d7ab86f authored by VIGNET Pierre's avatar VIGNET Pierre

[lib] CLU: Add warning + TODO on __shift_variant() that seems to be erroneous

parent 19124866
......@@ -1090,6 +1090,7 @@ class CLUnfolder(object):
.. warning:: Refactor note: unclear function. No apparent reason for
only the first clause to be shifted...
TODO: fix this function.
Process:
- Take the clauses (constraint) of the current step
......@@ -1100,7 +1101,7 @@ class CLUnfolder(object):
Example:
current_step: 2 (shift for step 3)
[[], [[4], [4]], [[6], [7]], []]
=> Only [6] is shifted...
=> Only [6] is shifted and it seems to be a problem...
.. note:: Called by shift()
"""
......@@ -1113,7 +1114,7 @@ class CLUnfolder(object):
for clause in current_constraint:
s_clause = self.__shift_ground_clause(clause, self.__current_step)
self.__variant_constraints.append(s_clause)
return # ?????
return # ???????
elif self.__shift_direction == "BACKWARD":
raise MCLException("Shift direction 'BACKWARD' is not yet implemented")
else:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment