Compares two strings alphanumerically.
This is the string comparison function used for alphanum-sort. Additionally, alphanum-obj-< extends this comparison to arbitrary objects.
To compare two strings alphanumerically, we divide them into alternating numeric (decimal) and non-numeric pieces. The first pair of pieces that are not equal determine which string is lesser (earlier in sorted order). The pieces are compared according to the following rules:
Function:
(defun alphanum-< (x y) (declare (xargs :guard (and (stringp x) (stringp y)))) (let ((__function__ 'alphanum-<)) (declare (ignorable __function__)) (alphanum-<-aux 0 x 0 y)))