(self)
return self.is_exists() or self.is_forall()
Test whether the node is a Quantifier.
Test whether the node is a Quantifier.
Test whether the node is a Quantifier .
def is_quantifier(self):
        """Test whether the node is a Quantifier."""
        return self.is_exists() or self.is_forall()
def is_quantifier ( self ) : return self . is_exists ( ) or self . is_forall ( )