Lines Matching refs:getOrCreateDisjunction

61   auto &XOrX = Context.getOrCreateDisjunction(X, X);  in TEST_F()
69   auto &XOrY1 = Context.getOrCreateDisjunction(X, Y);  in TEST_F()
70   auto &XOrY2 = Context.getOrCreateDisjunction(X, Y);  in TEST_F()
73   auto &YOrX = Context.getOrCreateDisjunction(Y, X);  in TEST_F()
77   auto &XOrZ = Context.getOrCreateDisjunction(X, Z);  in TEST_F()
212       FC5, Context.getOrCreateDisjunction(C1, Context.getOrCreateNegation(C1)));  in TEST_F()
236       Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, X), X));  in TEST_F()
239       Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, Y), X));  in TEST_F()
242       Context.getOrCreateDisjunction(X, True), True));  in TEST_F()
245       Context.getOrCreateDisjunction(X, False), X));  in TEST_F()
262       Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, Y),  in TEST_F()
263                                    Context.getOrCreateDisjunction(Y, X)));  in TEST_F()
271       Context.getOrCreateDisjunction(Context.getOrCreateDisjunction(X, Y), Z),  in TEST_F()
272       Context.getOrCreateDisjunction(X, Context.getOrCreateDisjunction(Y, Z))));  in TEST_F()
355   Context.addFlowConditionConstraint(FC, Context.getOrCreateDisjunction(X, Y));  in TEST_F()
519       JoinedFCWithZTrue, Context.getOrCreateDisjunction(X, Y)));  in TEST_F()