Commit 66bb264a authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] CLU: Fix typos

parent 9ddd9ce9
......@@ -1424,13 +1424,12 @@ class CLUnfolder(object):
if self.__variant_property:
self.__precomputed_variant_constraints = list()
for prop in self.__variant_property:
# compile initial (X0) property into numeric form
# For each property in step of __variant_property
for clause in self.__compile_event(prop)]
self.__precomputed_variant_constraints += [
[self.__code_clause(clause) for clause in self.__compile_event(prop)]
for prop in self.__variant_property
if self.__dimacs_variant:
# Add DIMACS 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