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 a4bfd17a authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Rewrite __backward_code() in better pythonic code

parent 3a865904
......@@ -375,14 +375,14 @@ class CLUnfolder(object):
"""
num_clause = []
for lit in clause.list_of_literals:
name = lit.name
if not name[-1] == '`': # t variable
lit_cod = self.__var_code_table[name] + self.__shift_step
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
lit_cod = self.__var_code_table[name[:-1]]
if not lit.sign:
lit_cod = - lit_cod
num_clause.append(lit_cod)
num_clause.append(-self.__var_code_table[lit.name[:-1]] \
if not lit.sign \
else self.__var_code_table[lit.name[:-1]])
return num_clause
def __code_clause(self, clause):
......@@ -433,6 +433,7 @@ class CLUnfolder(object):
# self.__dynamic_constraints.append(num_clause_list)
# New API via C++ module
# TODO: take a look at __backward_init_dynamic & __backward_code
if self.__include_aux_clauses:
self.__dynamic_constraints = \
forward_init_dynamic(self.__dyn_sys.list_clauses,
......
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