Exemple #1
0
def prop_to_ferm(f, p, s, c):
    assert len(f.v_obj) == 1 and len(p.v_obj) == 1
    return cgpt.util_ferm2prop(f.v_obj[0], p.v_obj[0], s, c, False)
Exemple #2
0
def ferm_to_prop(p, f, s, c):
    assert len(f.v_obj) == 1 and len(p.v_obj) == 1
    return cgpt.util_ferm2prop(f.v_obj[0], p.v_obj[0], s, c, True)