31   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
32   EXPECT_NE(&X, &Y);  in TEST_F()
45   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
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()
68   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
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()
88   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
89   auto &NotY = Context.getOrCreateNegation(Y);  in TEST_F()
103   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
104   auto &XImpliesY1 = Context.getOrCreateImplication(X, Y);  in TEST_F()
105   auto &XImpliesY2 = Context.getOrCreateImplication(X, Y);  in TEST_F()
108   auto &YImpliesX = Context.getOrCreateImplication(Y, X);  in TEST_F()
125   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
126   auto &XIffY1 = Context.getOrCreateIff(X, Y);  in TEST_F()
127   auto &XIffY2 = Context.getOrCreateIff(X, Y);  in TEST_F()
130   auto &YIffX = Context.getOrCreateIff(Y, X);  in TEST_F()
218   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
226   EXPECT_FALSE(Context.equivalentBoolValues(X, Y));  in TEST_F()
239       Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, Y), X));  in TEST_F()
252       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, Y), X));  in TEST_F()
262       Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, Y),  in TEST_F()
263                                    Context.getOrCreateDisjunction(Y, X)));  in TEST_F()
266       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, Y),  in TEST_F()
267                                    Context.getOrCreateConjunction(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()
275       Context.getOrCreateConjunction(Context.getOrCreateConjunction(X, Y), Z),  in TEST_F()
276       Context.getOrCreateConjunction(X, Context.getOrCreateConjunction(Y, Z))));  in TEST_F()
349   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
355   Context.addFlowConditionConstraint(FC, Context.getOrCreateDisjunction(X, Y));  in TEST_F()
365   EXPECT_TRUE(Context.equivalentBoolValues(FC1WithXFalse, Y));  in TEST_F()
370   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
376   Context.addFlowConditionConstraint(FC, Context.getOrCreateConjunction(X, Y));  in TEST_F()
381   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, Y));  in TEST_F()
391   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
397   Context.addFlowConditionConstraint(FC, Context.getOrCreateImplication(X, Y));  in TEST_F()
402   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, Y));  in TEST_F()
411       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &True}});  in TEST_F()
416       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &False}});  in TEST_F()
423   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
429   Context.addFlowConditionConstraint(FC, Context.getOrCreateIff(X, Y));  in TEST_F()
434   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, Y));  in TEST_F()
440                                            Context.getOrCreateNegation(Y)));  in TEST_F()
444       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &True}});  in TEST_F()
449       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &False}});  in TEST_F()
456   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
463   Context.addFlowConditionConstraint(FC, Context.getOrCreateConjunction(X, Y));  in TEST_F()
473       ForkedFCWithZTrue, Context.getOrCreateConjunction(X, Y)));  in TEST_F()
475       ForkedFC, {{&Y, &True}, {&Z, &True}});  in TEST_F()
482       Context.buildAndSubstituteFlowCondition(ForkedFC, {{&Y, &False}});  in TEST_F()
492   auto &Y = Context.createAtomicBoolValue();  in TEST_F()  local
502   Context.addFlowConditionConstraint(FC2, Y);  in TEST_F()
511       Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Y, &True}});  in TEST_F()
519       JoinedFCWithZTrue, Context.getOrCreateDisjunction(X, Y)));  in TEST_F()
526       Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Y, &False}});  in TEST_F()
528       JoinedFCWithXFalse, Context.getOrCreateConjunction(Y, Z)));  in TEST_F()