Commit f098d570 authored by Michele's avatar Michele

if table is deterministic, there is no need to check hPlus because hMinus == hPlus

parent 90600f0b
...@@ -290,7 +290,10 @@ class Table: ...@@ -290,7 +290,10 @@ class Table:
# priority to hMinus suffixes # priority to hMinus suffixes
return newSuffixes return newSuffixes
else: else:
return self._isNotReducible(chaos=True) # If the table is complete, no need to check hPlus (hPlus == hMinus)
if self.getObservableTraces() != set():
return self._isNotReducible(chaos=True)
return set()
def _isNotReducible(self, chaos=False): def _isNotReducible(self, chaos=False):
# function used for filtering rows, we want only those which # function used for filtering rows, we want only those which
...@@ -428,7 +431,11 @@ class Table: ...@@ -428,7 +431,11 @@ class Table:
# priority to hMinus suffixes # priority to hMinus suffixes
return newSuffixes return newSuffixes
else: else:
return self._isNotConsistent(chaos=True) # If the table is complete, no need to check hPlus (hPlus == hMinus)
if self.getObservableTraces() != set():
return self._isNotConsistent(chaos=True)
return set()
def _isNotConsistent(self, chaos=False): def _isNotConsistent(self, chaos=False):
# get all combinations of rows in S, with repetitions for hPlus # get all combinations of rows in S, with repetitions for hPlus
......
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