Attention une mise à jour du service Gitlab va être effectuée le mardi 14 décembre entre 13h30 et 14h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Commit 6a2489a1 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[cmd][lib] switch get_shift_step to a proper property

parent 7a20bdb0
......@@ -582,7 +582,8 @@ class CLUnfolder(object):
"""
return self.__shift_direction
def get_shift_step(self):
@property
def shift_step(self):
"""
@return: the shift step ss (if n is X_0 code, n+ss is X_1 code)
"""
......
......@@ -133,7 +133,7 @@ class RawSolution(object):
"""
self.solution = solution
self.unfolder = unfolder
self.shift_step = unfolder.get_shift_step()
self.shift_step = unfolder.shift_step
self.current_step = unfolder.current_step
self.shift_direction = unfolder.get_shift_direction()
......
......@@ -666,7 +666,7 @@ def init_forward_unfolding_solution_2(mcla):
# Shift of the system clauses (and syst aux clauses)
# The maximum value is now 48 since there is 47 literals
assert unfolder.get_var_number() == 46
assert unfolder.get_shift_step() == 47
assert unfolder.shift_step == 47
expected = [
[[-24, 16], [-24, 4], [-16, -4, 24], [-15, 42], [-12, 42], [15, 12, -42],
[-42, 41], [-11, 41], [42, 11, -41], [2, -40], [41, -40], [-2, -41, 40],
......
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