Lines Matching refs:iff
215 auto XIffY = Ctx.iff(X, Y); in TEST()
217 auto NotEquivalent = Ctx.neg(Ctx.iff(XIffY, XIffYDNF)); in TEST()
226 auto XEqX = Ctx.iff(X, X); in TEST()
236 auto XEqY = Ctx.iff(X, Y); in TEST()
253 auto XEqY = Ctx.iff(X, Y); in TEST()
266 auto XEqY = Ctx.iff(X, Y); in TEST()
278 auto XEqY = Ctx.iff(X, Y); in TEST()
279 auto YEqZ = Ctx.iff(Y, Z); in TEST()
294 auto A = Ctx.iff(Ctx.neg(Ctx.disj(X, Y)), Ctx.conj(Ctx.neg(X), Ctx.neg(Y))); in TEST()
297 auto B = Ctx.iff(Ctx.neg(Ctx.conj(Z, W)), Ctx.disj(Ctx.neg(Z), Ctx.neg(W))); in TEST()
307 auto XEqY = Ctx.iff(X, Y); in TEST()
320 auto NotEquivalent = Ctx.neg(Ctx.iff(XImpliesY, XImpliesYDNF)); in TEST()