parameters: (self)
return_statement: return int(Z3_get_quantifier_weight(self.ctx_ref(), self.ast))
docstring: Return the weight annotation of `self`.
  
          >>> f = Function('f', IntSort(), IntSort())
          >>> x = Int('x')
          >>> q = ForAll(x, f(x) == 0)
          >>> q.weight()
          1
          >>> q = ForAll(x, f(x) == 0, weight=10)
          >>> q.weight()
          10
docstring_summary: Return the weight annotation of `self`.
docstring_tokens: Return the weight annotation of self .
function: def weight(self):
          """Return the weight annotation of `self`.
  
          >>> f = Function('f', IntSort(), IntSort())
          >>> x = Int('x')
          >>> q = ForAll(x, f(x) == 0)
          >>> q.weight()
          1
          >>> q = ForAll(x, f(x) == 0, weight=10)
          >>> q.weight()
          10
          """
          return int(Z3_get_quantifier_weight(self.ctx_ref(), self.ast))
function_tokens: def weight ( self ) : return int ( Z3_get_quantifier_weight ( self . ctx_ref ( ) , self . ast ) )