Commit 7cf64feb authored by VIGNET Pierre's avatar VIGNET Pierre

[lib] CLU: Try to fix __shift_variant; Still not tested...

parent 0d7ab86f
......@@ -1090,7 +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.
TODO: Test this functionality...
Process:
- Take the clauses (constraint) of the current step
......@@ -1114,7 +1114,10 @@ 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 # ???????
## Refactor note:
# with regard to the elements cited in the docstring, the
# following statement is judged to be incorrect and commented.
## 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