Searched refs:makeNot (Results 1 – 7 of 7) sorted by relevance
452 return A.makeImplies(A.makeNot(ExprVal), in transferValueOrStringEmptyCall()643 A.makeAnd(A.makeNot(LHS), A.makeNot(RHS)))), in evaluateEquality()644 A.makeImplies(A.makeNot(EqVal), A.makeOr(LHS, RHS))); in evaluateEquality()658 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndOptionalCmp()672 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndValueCmp()685 CmpValue = &A.makeNot(*CmpValue); in transferOptionalAndNulloptCmp()
188 Constraints.insert(&arena().makeNot(F)); in flowConditionImplies()208 Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2))); in equivalentFormulas()
189 : Env.makeNot(LHSEqRHSValue)); in VisitBinaryOperator()389 Env.setValue(*S, Env.makeNot(*SubExprVal)); in VisitUnaryOperator()
186 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) && in widenDistinctValues()187 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()
301 BranchVal ? CondVal : &Copy.Env.makeNot(*CondVal); in computeBlockInputState()
117 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
603 BoolValue &makeNot(BoolValue &Val) const { in makeNot() function604 return arena().makeBoolValue(arena().makeNot(Val.formula())); in makeNot()