Commit 7527d054 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] MCLAnalyser: __mac_exhaustive_search; Remove never reached code; see more...

At the end of the process the last current_mac should not have 0 frontiers; it seems to be a nonsense
parent a28ea11c
......@@ -731,21 +731,15 @@ class MCLAnalyser(object):
## TEST
print("__mac_exhaustive_search:: final current step ?", self.unfolder.get_current_step())
if current_mac.nb_activated_frontiers == 0:
# Condition that seems to be never reached..
print("NOT REACHABLE")
reachable = False
else:
yield current_mac
# mac_list.append(current_mac)
# Keep a list of frontier values to be banned in the next search
# - Get all activated frontiers on the current DimacsFrontierSol
# - Build a list of their opposite values
forbidden_frontier_values.append(
[-var for var in current_mac.activated_frontier_values]
)
yield current_mac
# mac_list.append(current_mac)
# Keep a list of frontier values to be banned in the next search
# - Get all activated frontiers on the current DimacsFrontierSol
# - Build a list of their opposite values
forbidden_frontier_values.append(
[-var for var in current_mac.activated_frontier_values]
)
def next_mac(self, query, max_step):
"""Search a Minimal Access Condition for the given query.
......
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