Commit 598ef37f authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] MCLAnalyser: Fix typos and show beginner bug in init of query.dim_start...

[lib] MCLAnalyser: Fix typos and show beginner bug in init of query.dim_start property: Use a NEW object PLEASE; do not reuse shared object (references etc.)...
parent 4e6009c1
......@@ -363,11 +363,10 @@ class MCLAnalyser(object):
[[var] for var in
self.unfolder.frontiers_negative_values & dimacs_front_sol.frontier_values]
# Prepend inactivated frontier places as a start property in DIMACS form
if query.dim_start:
query.dim_start = inactive_frontier_values + query.dim_start
else:
query.dim_start = inactive_frontier_values
# Append inactivated frontier places as a start property in DIMACS form
# PS: do not test dim_start: In the worse case, it's an empty list.
query.dim_start += inactive_frontier_values
# Must return fsol even if there is no more solution (search first 10 sols)
# Get <tuple <DimacsFrontierSol>>
return self.__sq_dimacs_frontier_solutions(query, max_step, max_sol)
......
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