2013-03-06 12:59:37 -05:00
|
|
|
! Copyright (C) 2013 Doug Coleman.
|
|
|
|
! See http://factorcode.org/license.txt for BSD license.
|
|
|
|
USING: kernel sequences sets ;
|
|
|
|
IN: sets.extras
|
|
|
|
|
2013-04-09 13:37:50 -04:00
|
|
|
: setwise-xor ( seq1 seq2 -- set )
|
2013-03-06 12:59:37 -05:00
|
|
|
[ append members ] [ intersect ] 2bi diff ;
|
2013-04-09 13:37:50 -04:00
|
|
|
|
|
|
|
: symmetric-diff ( set1 set2 -- set )
|
|
|
|
[ union ] [ intersect ] 2bi diff ;
|
|
|
|
|
|
|
|
: proper-subset? ( set1 set2 -- ? )
|
|
|
|
2dup subset? [ swap subset? not ] [ 2drop f ] if ;
|
2013-04-24 10:58:50 -04:00
|
|
|
|
|
|
|
: superset? ( set1 set2 -- ? )
|
|
|
|
swap subset? ;
|
|
|
|
|
|
|
|
: disjoint? ( set1 set2 -- ? )
|
|
|
|
intersects? not ;
|