]> gitweb.factorcode.org Git - factor.git/commitdiff
sets.extras: few more words.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 24 Apr 2013 14:58:50 +0000 (07:58 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 24 Apr 2013 14:58:50 +0000 (07:58 -0700)
extra/sets/extras/extras.factor

index 0a5132b3790be689d15fd366f4afa8d5101aab05..323db086b68ff8c09c438f1b11460fb7a6833f5d 100644 (file)
@@ -11,3 +11,9 @@ IN: sets.extras
 
 : proper-subset? ( set1 set2 -- ? )
     2dup subset? [ swap subset? not ] [ 2drop f ] if ;
+
+: superset? ( set1 set2 -- ? )
+    swap subset? ;
+
+: disjoint? ( set1 set2 -- ? )
+    intersects? not ;