Lines Matching defs:negate
133 /// Mind that a pointer to a new value constraint is created when the negate
220 virtual ValueConstraintPtr negate() const {
299 ValueConstraintPtr negate() const override {
372 // This variable has a role when we negate the constraint.
391 ValueConstraintPtr negate() const override {
416 // This variable has a role when we negate the constraint.
438 ValueConstraintPtr negate() const override {
472 // The operator we use in apply. This is negated in negate().
505 ValueConstraintPtr negate() const override {
1322 ValueConstraintPtr NegatedConstraint = Constraint->negate();
2129 GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant,