MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 1b0e10ee authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] CLUnfolder: __backward_code() fix typos

parent ec0ddcc7
......@@ -483,15 +483,19 @@ class CLUnfolder(object):
@return: the DIMACS coding of the backward shifted clause
"""
num_clause = []
for lit in clause.list_of_literals:
if not lit.name[-1] == '`': # t variable
num_clause.append(-(self.__var_code_table[lit.name] + self.__shift_step) \
if not lit.sign \
else (self.__var_code_table[lit.name] + self.__shift_step))
else: # t+1 variable
num_clause.append(-self.__var_code_table[lit.name[:-1]] \
if not lit.sign \
else self.__var_code_table[lit.name[:-1]])
for lit in clause.literals:
if lit.name[-1] == '`': # t+1 variable
num_clause.append(
-self.__var_code_table[lit.name[:-1]] \
if not lit.sign \
else self.__var_code_table[lit.name[:-1]]
)
else: # t variable, base variable
num_clause.append(
-(self.__var_code_table[lit.name] + self.__shift_step) \
if not lit.sign \
else (self.__var_code_table[lit.name] + self.__shift_step)
)
return num_clause
def __code_clause(self, clause):
......
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