Beispiel #1
0
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
Beispiel #2
0
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