Lines Matching refs:getOrCreateConjunction

38   auto &XAndX = Context.getOrCreateConjunction(X, X);  in TEST_F()
46   auto &XAndY1 = Context.getOrCreateConjunction(X, Y);  in TEST_F()
47   auto &XAndY2 = Context.getOrCreateConjunction(X, Y);  in TEST_F()
50   auto &YAndX = Context.getOrCreateConjunction(Y, X);  in TEST_F()
54   auto &XAndZ = Context.getOrCreateConjunction(X, Z);  in TEST_F()
249       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, X), X));  in TEST_F()
252       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, Y), X));  in TEST_F()
255       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, True), X));  in TEST_F()
258       Context.getOrCreateConjunction(X, False), False));  in TEST_F()
266       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, Y),  in TEST_F()
267                                    Context.getOrCreateConjunction(Y, X)));  in TEST_F()
275       Context.getOrCreateConjunction(Context.getOrCreateConjunction(X, Y), Z),  in TEST_F()
276       Context.getOrCreateConjunction(X, Context.getOrCreateConjunction(Y, Z))));  in TEST_F()
376   Context.addFlowConditionConstraint(FC, Context.getOrCreateConjunction(X, Y));  in TEST_F()
463   Context.addFlowConditionConstraint(FC, Context.getOrCreateConjunction(X, Y));  in TEST_F()
473       ForkedFCWithZTrue, Context.getOrCreateConjunction(X, Y)));  in TEST_F()
528       JoinedFCWithXFalse, Context.getOrCreateConjunction(Y, Z)));  in TEST_F()
530       JoinedFCWithYFalse, Context.getOrCreateConjunction(X, Z)));  in TEST_F()