예제 #1
0
파일: ivy_solver.py 프로젝트: 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
예제 #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