Commit 83c5ff66 authored by VIGNET Pierre's avatar VIGNET Pierre

[lib] CLU: Fix typos

parent 35bdef62
......@@ -294,9 +294,8 @@ class CLUnfolder(object):
self.__include_aux_clauses_changed = False
self.__lit_cpt = self.shift_step_init + 1 # counter for aux. var. coding
# Same mapping tools for auxiliary variables introduced by properties
# compilation
# Cf __code_clause()
# Same mapping tools but for auxiliary variables introduced by properties
# compilation. Cf __code_clause()
self.__aux_code_table = dict() # name to code
self.__aux_list = [] # code to name
......@@ -576,7 +575,7 @@ class CLUnfolder(object):
.. warning:: This function impacts the shift_step number.
Tested in by:
Tested by:
- __forward_init_dynamic
- __backward_init_dynamic
"""
......@@ -1397,7 +1396,7 @@ class CLUnfolder(object):
.. TODO:: variant_property list d'étapes, chaque étape a une formule
logique impliquant les évènements (et des places? NON,
on utilise __compile_event() et pas __compile_property())
=> ensemble de propriétés devant etre valides à chaque étape
=> ensemble **d'events** devant etre valides à chaque étape
Automatic merge of textual and DIMACS forms:
If variant_property is set, compile each property into clauses and
......
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