Lines Matching refs:implies
38 // test regular equals and implies
45 if (!pcp1.implies(pcp2) || !pcp2.implies(pcp1))
55 if (!pcp1.implies(pcp2) || !pcp2.implies(pcp1))
58 // test equals/implies failure
63 if (!pcp1.implies(pcp2) || pcp2.implies(pcp1))
71 if (!pcp1.implies(pcp2) || pcp2.implies(pcp1))
78 if (!pcp1.implies(pcp2) || pcp2.implies(pcp1))
85 if (!pcp1.implies(pcp2) || !pcp2.implies(pcp1))