示例#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
示例#2
0
文件： ivy_solver.py 项目： 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