steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sets.extras: few more words.

db4
John Benediktsson 2013-04-24 07:58:50 -07:00
parent 23b3bcc313
commit f1b21b1827
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
extra/sets/extras/extras.factor
View File

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