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,