def teval(text):
solver = Solver(t.global_env, t.global_env.extend({}), None, None)
code = t.grammar.make_expression(text)
return solver.eval(code)
def parse(grammar, text): solver = Solver() exp = make_parse_statement(grammar, text) return solver.eval(exp)
