docs: def resetState(self):
          """
          Reset to the original domain state, including all possible values
          """
          self.extend(self._hidden)
          del self._hidden[:]
          del self._states[:]