parameters: (self)
return_statement: return int(Z3_goal_size(self.ctx.ref(), self.goal))
docstring: Return the number of constraints in the goal `self`.
  
          >>> g = Goal()
          >>> g.size()
          0
          >>> x, y = Ints('x y')
          >>> g.add(x == 0, y > x)
          >>> g.size()
          2
docstring_summary: Return the number of constraints in the goal `self`.
docstring_tokens: Return the number of constraints in the goal self .
function: def size(self):
          """Return the number of constraints in the goal `self`.
  
          >>> g = Goal()
          >>> g.size()
          0
          >>> x, y = Ints('x y')
          >>> g.add(x == 0, y > x)
          >>> g.size()
          2
          """
          return int(Z3_goal_size(self.ctx.ref(), self.goal))
function_tokens: def size ( self ) : return int ( Z3_goal_size ( self . ctx . ref ( ) , self . goal ) )