Ejemplos de rel_inst en Python

Ejemplo n.º 1

Archivo: ivy_solver.py Proyecto: simudream/ivy

def relation_model_to_clauses(h, r, n):
    lit = ivy_logic.Literal(1, rel_inst(r))
    res = []
    get_lit_facts(h, lit, res)
    get_lit_facts(h, ~lit, res)
    return res

Ejemplo n.º 2

Archivo: ivy_solver.py Proyecto: odedp/ivy

def relation_model_to_clauses(h, r, n):
    lit = ivy_logic.Literal(1, rel_inst(r))
    res = []
    get_lit_facts(h, lit, res)
    get_lit_facts(h, ~lit, res)
    return res