Exemplos de Engine.parse em Python

Exemplo n.º 1

Arquivo: tool.py Projeto: griels/pypy-sc

def assert_true(query, e=None):
    if e is None:
        e = Engine()
    terms, vars = e.parse(query)
    term, = terms
    e.run(term)
    return dict([(name, var.dereference(e.heap))
                 for name, var in vars.iteritems()])

Exemplo n.º 2

Arquivo: tool.py Projeto: AishwaryaKM/python-tutorial

def assert_true(query, e=None):
    if e is None:
        e = Engine()
    terms, vars = e.parse(query)
    term, = terms
    e.run(term)
    return dict([(name, var.dereference(e.heap))
                     for name, var in vars.iteritems()])

Exemplo n.º 3

Arquivo: tool.py Projeto: griels/pypy-sc

def assert_false(query, e=None):
    if e is None:
        e = Engine()
    term = e.parse(query)[0][0]
    py.test.raises(UnificationFailed, e.run, term)

Exemplo n.º 4

Arquivo: tool.py Projeto: AishwaryaKM/python-tutorial

def assert_false(query, e=None):
    if e is None:
        e = Engine()
    term = e.parse(query)[0][0]
    py.test.raises(UnificationFailed, e.run, term)