Commit 0640273a authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] CLUnfolder: fix bug in the numbering of auxiliary literals (incorrect reset between 2 runs)

parent ab2abff5
......@@ -283,7 +283,7 @@ class CLUnfolder(object):
# Must be set to False for inhibitors computations
self.__include_aux_clauses = True
self.__include_aux_clauses_changed = False
self.__lit_cpt = self.__shift_step + 1 # counter for aux. var. coding
self.__lit_cpt = self.shift_step_init + 1 # counter for aux. var. coding
# Same mapping tools for auxiliary variables introduced by properties
# compilation
......@@ -405,6 +405,7 @@ class CLUnfolder(object):
self.__steps_before_check = 0
self.__shift_direction = None # FORWARD or BACKWARD
self.__locked = False
self.__lit_cpt = self.shift_step_init + 1
def check_query(self, query):
"""Check textual and DIMACS properties of the given query
......
Supports Markdown
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