def eval_to_ast(self, e, n, extra_constraints=(), exact=None):
return [ ast.bv.BVV(v, e.size()) for v in self.eval(e, n, extra_constraints=extra_constraints, exact=exact) ]<EOL>
Evaluates expression e, returning the results in the form of concrete ASTs.