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)