parameters: (self, t, model_completion=False)
return_statement: return self.eval(t, model_completion)
docstring: Alias for `eval`.
  
          >>> x = Int('x')
          >>> s = Solver()
          >>> s.add(x > 0, x < 2)
          >>> s.check()
          sat
          >>> m = s.model()
          >>> m.evaluate(x + 1)
          2
          >>> m.evaluate(x == 1)
          True
          >>> y = Int('y')
          >>> m.evaluate(y + x)
          1 + y
          >>> m.evaluate(y)
          y
          >>> m.evaluate(y, model_completion=True)
          0
          >>> # Now, m contains an interpretation for y
          >>> m.evaluate(y + x)
          1
docstring_summary: Alias for `eval`.
docstring_tokens: Alias for eval .
function: def evaluate(self, t, model_completion=False):
          """Alias for `eval`.
  
          >>> x = Int('x')
          >>> s = Solver()
          >>> s.add(x > 0, x < 2)
          >>> s.check()
          sat
          >>> m = s.model()
          >>> m.evaluate(x + 1)
          2
          >>> m.evaluate(x == 1)
          True
          >>> y = Int('y')
          >>> m.evaluate(y + x)
          1 + y
          >>> m.evaluate(y)
          y
          >>> m.evaluate(y, model_completion=True)
          0
          >>> # Now, m contains an interpretation for y
          >>> m.evaluate(y + x)
          1
          """
          return self.eval(t, model_completion)
function_tokens: def evaluate ( self , t , model_completion = False ) : return self . eval ( t , model_completion )