code: public Constraint not(Constraint constraint) {
          if (!(constraint instanceof Not))
              return new Not(constraint);
  
          return ((Not)constraint).getConstraint();
      }
docs: Negate the specified constraint.
  
  @param constraint The constraint to negate
  @return The negated constraint.