Commit 66757b6f authored by Michele Volpato's avatar Michele Volpato
Browse files

added some comments

parent f78216a7
......@@ -120,6 +120,7 @@ class Table:
# class belongs to the newly defined equivalence class. If so
# remove it.
# moreSpecific defines a PO set.
# TODO: check this method
rows = set()
for row in self._rowsInS:
found = False
......@@ -215,6 +216,7 @@ class Table:
self._logger.warning("Add one letter extensions: "+ str(row) +" is not in the table.")
outputs, observation = self._entries[row]
# add only inputs that are enabled by input expert
for my_input in self._possibleInputs(row):
if self.addOneLetterExtension(row, my_input):
modified = True
......@@ -293,6 +295,7 @@ class Table:
return self._isNotReducible(chaos=True)
return set()
# TODO: check this method with new algorithm added to thesis
def _isNotReducible(self, chaos=False):
# function used for filtering rows, we want only those which
# have quiescence in their first column
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