Searched refs:getOrCreateNegation (Results 1 – 4 of 4) sorted by relevance
84 auto &NotX1 = Context.getOrCreateNegation(X); in TEST_F()85 auto &NotX2 = Context.getOrCreateNegation(X); in TEST_F()89 auto &NotY = Context.getOrCreateNegation(Y); in TEST_F()212 FC5, Context.getOrCreateDisjunction(C1, Context.getOrCreateNegation(C1))); in TEST_F()229 EXPECT_FALSE(Context.equivalentBoolValues(Context.getOrCreateNegation(X), X)); in TEST_F()232 Context.getOrCreateNegation(Context.getOrCreateNegation(X)), X)); in TEST_F()334 Context.addFlowConditionConstraint(FC, Context.getOrCreateNegation(X)); in TEST_F()418 Context.getOrCreateNegation(X))); in TEST_F()440 Context.getOrCreateNegation(Y))); in TEST_F()451 Context.getOrCreateNegation(X))); in TEST_F()
107 BoolValue &DataflowAnalysisContext::getOrCreateNegation(BoolValue &Val) { in getOrCreateNegation() function in clang::dataflow::DataflowAnalysisContext173 Constraints.insert(&getOrCreateNegation(getBoolLiteralValue(false))); in querySolver()184 llvm::DenseSet<BoolValue *> Constraints = {&Token, &getOrCreateNegation(Val)}; in flowConditionImplies()193 llvm::DenseSet<BoolValue *> Constraints = {&getOrCreateNegation(Token)}; in flowConditionIsTautology()202 &getOrCreateNegation(getOrCreateIff(Val1, Val2))}; in equivalentBoolValues()251 Result = &getOrCreateNegation(Sub); in substituteBoolValue()
303 return DACtx->getOrCreateNegation(Val); in makeNot()
187 BoolValue &getOrCreateNegation(BoolValue &Val);