parameters: (self, *args)
docstring: Assert constraints into the goal.
  
          >>> x = Int('x')
          >>> g = Goal()
          >>> g.assert_exprs(x > 0, x < 2)
          >>> g
          [x > 0, x < 2]
docstring_summary: Assert constraints into the goal.
docstring_tokens: Assert constraints into the goal .
function: def assert_exprs(self, *args):
          """Assert constraints into the goal.
  
          >>> x = Int('x')
          >>> g = Goal()
          >>> g.assert_exprs(x > 0, x < 2)
          >>> g
          [x > 0, x < 2]
          """
          args = _get_args(args)
          s = BoolSort(self.ctx)
          for arg in args:
              arg = s.cast(arg)
              Z3_goal_assert(self.ctx.ref(), self.goal, arg.as_ast())
function_tokens: def assert_exprs ( self , * args ) : args = _get_args ( args ) s = BoolSort ( self . ctx ) for arg in args : arg = s . cast ( arg ) Z3_goal_assert ( self . ctx . ref ( ) , self . goal , arg . as_ast ( ) )