(self)
return self._content.payload
Return the list of quantified variables.
Return the list of quantified variables.
Return the list of quantified variables .
def quantifier_vars(self):
        """Return the list of quantified variables."""
        assert self.is_quantifier()
        return self._content.payload
def quantifier_vars ( self ) : assert self . is_quantifier ( ) return self . _content . payload