Commit 4bf9466f authored by VIGNET Pierre's avatar VIGNET Pierre

[lib] CLU: add todo

parent 83c5ff66
......@@ -1611,6 +1611,12 @@ class CLUnfolder(object):
Call __code_clause + __compile_event
Called at the begining of squery_is_satisfied() and squery_solve()
TODO: Attention pour le moment les litéraux présents dans les attributs
DIMACS de la query doivent déjà etre présents dans le modèle.
Lorsqu'ils sont ajoutés aux variables *constraints, à aucun moment
les valeurs absentes de dynamic_constraints ne sont ajoutées à
__aux_code_table et __aux_list; shift_step n'est pas non plus incrémenté !!
"""
old_shift_step = self.__shift_step
self.__shift_direction = 'FORWARD'
......
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