From 1b0e10ee641e508aa93cf4099242c90393f324e0 Mon Sep 17 00:00:00 2001
From: VIGNET Pierre <pierre.vignet@irisa.fr>
Date: Tue, 19 Nov 2019 20:24:48 +0100
Subject: [PATCH] [lib] CLUnfolder: __backward_code() fix typos
---
.../clause_constraints/mcl/CLUnfolder.py | 22 +++++++++++--------
1 file changed, 13 insertions(+), 9 deletions(-)
diff --git a/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py b/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py
index 1822099..c70777e 100644
--- a/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py
+++ b/library/cadbiom/models/clause_constraints/mcl/CLUnfolder.py
@@ -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):
--
GitLab