Commit 9cd3ac7c authored by Michele's avatar Michele

fixed problem in quiescence reducibility check

parent 4901b578
......@@ -252,9 +252,7 @@ class Table:
past = set()
# filter rows
for row1 in filter(rowsWithQuiescence, self._rowsInS):
print(str(chaos)+" Row1: " + str(row1))
print(self._entries[row1])
row1Extended = row1 + (self._quiescence,)
row1Extended = th.flatten(row1 + (self._quiescence,), self._quiescence)
# filter for rows in top part of the table that are
# moreSpecific than row1Extended,
moreSpecific = lambda x: lambda y: self._moreSpecificRow(y, x, chaos)
......@@ -262,15 +260,9 @@ class Table:
# I want the most specific one
row2 = listOfRows.pop()
print(str(chaos)+" Less specific: " + str(row1Extended))
print(self._entries[row1Extended])
print(str(chaos)+" Temporary more specific: " + str(row2))
print(self._entries[row2])
for row in listOfRows:
if self._moreSpecificRow(row, row2, chaos):
row2 = row
print(str(chaos)+" Most specific: "+ str(row2))
print(self._entries[row2])
if row1 == row2:
# same row, simulation is trivial
continue
......@@ -281,7 +273,6 @@ class Table:
wait = set()
wait.add((row1, row2, ()))
print("Added: "+ str((row1, row2, ())))
while wait:
current = wait.pop()
past.add((current[0],current[1]))
......
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