suzanne.soy/compatibility
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source 
original commit: cd346fcfcf19895095b933ff4663bd06e00fd0b1
This commit is contained in:
Scott Owens 2005-01-21 04:35:58 +00:00
parent fff6293a8d
commit b75b06cee5
1 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
collects/mzlib/integer-set.ss
View File

@ -201,9 +201,25 @@
;; split : integer-set integer-set -> integer-set integer-set integer-set ;; split : integer-set integer-set -> integer-set integer-set integer-set
;; returns (s1 intersect s2), s1 - (s1 intersect s2) and s2 - (s1 intersect s2) ;; returns (s1 intersect s2), s1 - (s1 intersect s2) and s2 - (s1 intersect s2)
;; Of course, s1 - (s1 intersect s2) = s1 intersect (complement s2) = s1 - s2
(define (split s1 s2) (define (split s1 s2)
(split-acc (integer-set-contents s1) (integer-set-contents s2) null null null)) (split-acc (integer-set-contents s1) (integer-set-contents s2) null null null))
;; intersect: integer-set integer-set -> integer-set
(define (intersect s1 s2)
(let-values (((i s1-s2 s2-s1) (split s1 s2)))
i))
;; difference: integer-set integer-set -> integer-set
(define (difference s1 s2)
(let-values (((i s1-s2 s2-s1) (split s1 s2)))
s1-s2))
;; xor: integer-set integer-set -> integer-set
(define (xor s1 s2)
(let-values (((i s1-s2 s2-s1) (split s1 s2)))
(merge s1-s2 s2-s1)))
(test-block ((s (lambda (s1 s2) (test-block ((s (lambda (s1 s2)
(map integer-set-contents (map integer-set-contents
(call-with-values (lambda () (split (make-integer-set s1) (call-with-values (lambda () (split (make-integer-set s1)
@ -420,6 +436,9 @@
(((i int) (j (and/c int (>=/c i)))) . ->r . integer-set?))) (((i int) (j (and/c int (>=/c i)))) . ->r . integer-set?)))
(rename merge union (integer-set? integer-set? . -> . integer-set?)) (rename merge union (integer-set? integer-set? . -> . integer-set?))
(split (integer-set? integer-set? . -> . (values integer-set? integer-set? integer-set?))) (split (integer-set? integer-set? . -> . (values integer-set? integer-set? integer-set?)))
(intersect (integer-set? integer-set? . -> . integer-set?))
(difference (integer-set? integer-set? . -> . integer-set?))
(xor (integer-set? integer-set? . -> . integer-set?))
(complement (((s integer-set?) (min int) (max (and/c int (>=/c min)))) . ->r . integer-set?)) (complement (((s integer-set?) (min int) (max (and/c int (>=/c min)))) . ->r . integer-set?))
(member? (int integer-set? . -> . any)) (member? (int integer-set? . -> . any))
(get-integer (integer-set? . -> . (union false/c int))) (get-integer (integer-set? . -> . (union false/c int)))