This is the fset Reference Manual, version 1.4.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Dec 15 06:08:57 2024 GMT+0.
fset/fset.asd
fset/Code/defs.lisp
fset/Code/port.lisp
fset/Code/macros.lisp
fset/Code/order.lisp
fset/Code/hash.lisp
fset/Code/wb-trees.lisp
fset/Code/champ.lisp
fset/Code/reader.lisp
fset/Code/fset.lisp
fset/Code/replay.lisp
fset/Code/tuples.lisp
fset/Code/testing.lisp
fset/Code/interval.lisp
fset/Code/relations.lisp
fset/Code/complement-sets.lisp
fset/Code/bounded-sets.lisp
The main system appears first, followed by any subsystem dependency.
fset
A functional set-theoretic collections library.
See: https://gitlab.common-lisp.net/fset/fset/-/wikis/home
Scott L. Burson <Scott@sympoiesis.com>
LLGPL
1.4.0
misc-extensions
(system).
random-state
(system).
named-readtables
(system).
code
(module).
Modules are listed depth-first from the system components tree.
fset/Code
fset
(system).
defs.lisp
(file).
port.lisp
(file).
macros.lisp
(file).
order.lisp
(file).
hash.lisp
(file).
wb-trees.lisp
(file).
champ.lisp
(file).
reader.lisp
(file).
fset.lisp
(file).
replay.lisp
(file).
tuples.lisp
(file).
testing.lisp
(file).
interval.lisp
(file).
relations.lisp
(file).
complement-sets.lisp
(file).
bounded-sets.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
fset/fset.asd
fset/Code/defs.lisp
fset/Code/port.lisp
fset/Code/macros.lisp
fset/Code/order.lisp
fset/Code/hash.lisp
fset/Code/wb-trees.lisp
fset/Code/champ.lisp
fset/Code/reader.lisp
fset/Code/fset.lisp
fset/Code/replay.lisp
fset/Code/tuples.lisp
fset/Code/testing.lisp
fset/Code/interval.lisp
fset/Code/relations.lisp
fset/Code/complement-sets.lisp
fset/Code/bounded-sets.lisp
fset/Code/port.lisp
defs.lisp
(file).
code
(module).
base-char-p
(function).
defglobal
(macro).
define-atomic-series
(macro).
gen
(macro).
increment-atomic-series
(macro).
length-nv
(macro).
make-char
(function).
make-lock
(function).
read-memory-barrier
(macro).
tuple-key-number-mask
(constant).
tuple-key-number-size
(constant).
tuple-value-index-size
(constant).
while
(macro).
with-lock
(macro).
write-memory-barrier
(macro).
fset/Code/macros.lisp
port.lisp
(file).
code
(module).
@
(macro).
adjoinf
(macro).
appendf
(macro).
compare-slots
(macro).
compare-slots-no-unequal
(macro).
composef
(macro).
define-cross-type-compare-methods
(macro).
do-bag
(macro).
do-bag-pairs
(macro).
do-map
(macro).
do-map-domain
(macro).
do-seq
(macro).
do-set
(macro).
excludef
(macro).
imagef
(macro).
includef
(macro).
intersectf
(macro).
map-intersectf
(macro).
map-unionf
(macro).
pop-first
(macro).
pop-last
(macro).
prependf
(macro).
push-first
(macro).
push-last
(macro).
removef
(macro).
set-differencef
(macro).
unionf
(macro).
+master-type-ordering+
(symbol macro).
check-three-arguments
(macro).
check-two-arguments
(macro).
logandc2f
(macro).
logiorf
(macro).
logxorf
(macro).
postincf
(macro).
xconcat
(function).
ximage
(function).
fset/Code/order.lisp
macros.lisp
(file).
code
(module).
bag
(structure).
bag?
(function).
collection
(structure).
collection?
(function).
compare
(generic function).
compare-lexicographically
(generic function).
equal?
(function).
identity-ordering-mixin
(class).
map
(structure).
map-default
(reader).
(setf map-default)
(writer).
map?
(function).
replay-map
(structure).
replay-map?
(function).
replay-set
(structure).
replay-set?
(function).
seq
(structure).
seq?
(function).
set
(structure).
set?
(function).
tuple
(structure).
tuple?
(function).
+package-original-name+
(symbol macro).
compare-lists-lexicographically
(function).
compare-strings
(function).
greater-than?
(function).
less-than?
(function).
replay-map-default
(function).
(setf replay-map-default)
(function).
seq-default
(reader).
(setf seq-default)
(writer).
serial-number
(reader method).
(setf serial-number)
(writer method).
fset/Code/hash.lisp
order.lisp
(file).
code
(module).
define-comparison-slots
(macro).
hash-slots
(macro).
hash-value
(generic function).
fset/Code/wb-trees.lisp
hash.lisp
(file).
code
(module).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
print-object
(method).
print-object
(method).
print-object
(method).
print-object
(method).
*wb-tree-max-string-length*
(special variable).
*wb-tree-max-vector-length*
(special variable).
+wb-tree-max-depths-with-values+
(symbol macro).
+wb-tree-max-depths-without-values+
(symbol macro).
bag-value-size
(function).
copy-equivalent-bag
(function).
copy-equivalent-map
(function).
copy-equivalent-set
(function).
copy-wb-bag-tree-node
(function).
copy-wb-map-tree-node
(function).
copy-wb-seq-tree-node
(function).
copy-wb-set-tree-node
(function).
do-wb-bag-tree-pairs
(macro).
do-wb-map-tree-pairs
(macro).
do-wb-seq-tree-members
(macro).
do-wb-seq-tree-members-gen
(macro).
do-wb-set-tree-members
(macro).
equivalent-bag
(structure).
equivalent-bag-alist
(reader).
(setf equivalent-bag-alist)
(writer).
equivalent-bag-compare
(function).
equivalent-bag-difference
(function).
equivalent-bag-intersect
(function).
equivalent-bag-product
(function).
equivalent-bag-subbag?
(function).
equivalent-bag-sum
(function).
equivalent-bag-union
(function).
equivalent-bag?
(function).
equivalent-map
(structure).
equivalent-map-alist
(reader).
(setf equivalent-map-alist)
(writer).
equivalent-map-compare
(function).
equivalent-map-difference
(function).
equivalent-map-intersect
(function).
equivalent-map-less
(function).
equivalent-map-restrict
(function).
equivalent-map-restrict-not
(function).
equivalent-map-union
(function).
equivalent-map-with
(function).
equivalent-map?
(function).
equivalent-set
(structure).
equivalent-set-compare
(function).
equivalent-set-difference
(function).
equivalent-set-disjoint?
(function).
equivalent-set-intersect
(function).
equivalent-set-members
(reader).
(setf equivalent-set-members)
(writer).
equivalent-set-subset?
(function).
equivalent-set-union
(function).
equivalent-set?
(function).
hedge-negative-infinity
(constant).
hedge-positive-infinity
(constant).
make-equivalent-bag
(function).
make-equivalent-map
(function).
make-equivalent-set
(function).
make-raw-wb-bag-tree-node
(function).
make-raw-wb-map-tree-node
(function).
make-raw-wb-seq-tree-node
(function).
make-raw-wb-set-tree-node
(function).
make-wb-bag-tree-iterator
(function).
make-wb-bag-tree-iterator-internal
(function).
make-wb-bag-tree-node
(function).
make-wb-bag-tree-pair-iterator
(function).
make-wb-bag-tree-pair-iterator-internal
(function).
make-wb-map-tree-iterator
(function).
make-wb-map-tree-iterator-internal
(function).
make-wb-map-tree-node
(function).
make-wb-seq-tree-iterator
(function).
make-wb-seq-tree-iterator-internal
(function).
make-wb-seq-tree-node
(function).
make-wb-set-tree-iterator
(function).
make-wb-set-tree-iterator-internal
(function).
make-wb-set-tree-node
(function).
make-wb-tree-iterator
(function).
map-key-size
(function).
set-value-size
(function).
string-insert
(function).
string-remove-at
(function).
string-seq-to-set
(function).
string-subseq
(function).
string-subseq-insert
(function).
string-update
(function).
vector-insert
(function).
vector-insert-from-string
(function).
vector-pair-bag-diff
(function).
vector-pair-bag-intersect
(function).
vector-pair-bag-product
(function).
vector-pair-bag-subbag?
(function).
vector-pair-bag-sum
(function).
vector-pair-bag-union
(function).
vector-pair-diff-2
(function).
vector-pair-intersect
(function).
vector-pair-restrict
(function).
vector-pair-restrict-not
(function).
vector-pair-union
(function).
vector-remove-at
(function).
vector-seq-to-set
(function).
vector-set-binary-search
(function).
vector-set-binary-search-cfn
(function).
vector-set-binary-search-hi
(function).
vector-set-binary-search-lo
(function).
vector-set-diff
(function).
vector-set-diff-2
(function).
vector-set-disjoint?
(function).
vector-set-intersect
(function).
vector-set-subset?
(function).
vector-set-union
(function).
vector-subseq
(function).
vector-subseq-insert
(function).
vector-update
(function).
vector-update-from-string
(function).
wb-bag-tree
(type).
wb-bag-tree-arb-pair
(function).
wb-bag-tree-build-node
(function).
wb-bag-tree-compare
(function).
wb-bag-tree-compare-rng
(function).
wb-bag-tree-concat
(function).
wb-bag-tree-diff
(function).
wb-bag-tree-diff-rng
(function).
wb-bag-tree-find-equivalent
(function).
wb-bag-tree-from-list
(function).
wb-bag-tree-greatest-pair
(function).
wb-bag-tree-intersect
(function).
wb-bag-tree-intersect-rng
(function).
wb-bag-tree-iterator-canonicalize
(function).
wb-bag-tree-iterator-done?
(function).
wb-bag-tree-iterator-get
(function).
wb-bag-tree-join
(function).
wb-bag-tree-least-pair
(function).
wb-bag-tree-less
(function).
wb-bag-tree-less-minimum
(function).
wb-bag-tree-minimum-pair
(function).
wb-bag-tree-multiplicity
(function).
wb-bag-tree-node
(structure).
wb-bag-tree-node-count
(reader).
(setf wb-bag-tree-node-count)
(writer).
wb-bag-tree-node-left
(reader).
(setf wb-bag-tree-node-left)
(writer).
wb-bag-tree-node-print
(function).
wb-bag-tree-node-right
(reader).
(setf wb-bag-tree-node-right)
(writer).
wb-bag-tree-node-size
(reader).
(setf wb-bag-tree-node-size)
(writer).
wb-bag-tree-node-total-count
(reader).
(setf wb-bag-tree-node-total-count)
(writer).
wb-bag-tree-node-value
(reader).
(setf wb-bag-tree-node-value)
(writer).
wb-bag-tree-node?
(function).
wb-bag-tree-pair-iterator-canonicalize
(function).
wb-bag-tree-pair-iterator-done?
(function).
wb-bag-tree-pair-iterator-get
(function).
wb-bag-tree-product
(function).
wb-bag-tree-product-rng
(function).
wb-bag-tree-rank
(function).
wb-bag-tree-rank-pair
(function).
wb-bag-tree-rank-pair-internal
(function).
wb-bag-tree-rank-trim
(function).
wb-bag-tree-size
(function).
wb-bag-tree-split
(function).
wb-bag-tree-subbag?
(function).
wb-bag-tree-subbag?-rng
(function).
wb-bag-tree-sum
(function).
wb-bag-tree-sum-rng
(function).
wb-bag-tree-to-set-tree
(function).
wb-bag-tree-total-count
(function).
wb-bag-tree-trim
(function).
wb-bag-tree-union
(function).
wb-bag-tree-union-rng
(function).
wb-bag-tree-vector-pair-sum
(function).
wb-bag-tree-vector-pair-union
(function).
wb-bag-tree-verify
(function).
wb-bag-tree-verify-rng
(function).
wb-bag-tree-with
(function).
wb-map-tree
(type).
wb-map-tree-arb-pair
(function).
wb-map-tree-build-node
(function).
wb-map-tree-compare
(function).
wb-map-tree-compare-rng
(function).
wb-map-tree-compose
(function).
wb-map-tree-concat
(function).
wb-map-tree-concat-maybe
(function).
wb-map-tree-diff-2
(function).
wb-map-tree-diff-2-rng
(function).
wb-map-tree-domain
(function).
wb-map-tree-find-equivalent
(function).
wb-map-tree-greatest-pair
(function).
wb-map-tree-intersect
(function).
wb-map-tree-intersect-rng
(function).
wb-map-tree-iterator-canonicalize
(function).
wb-map-tree-iterator-done?
(function).
wb-map-tree-iterator-get
(function).
wb-map-tree-join
(function).
wb-map-tree-least-pair
(function).
wb-map-tree-less
(function).
wb-map-tree-less-minimum
(function).
wb-map-tree-lookup
(function).
wb-map-tree-minimum-pair
(function).
wb-map-tree-node
(structure).
wb-map-tree-node-key
(reader).
(setf wb-map-tree-node-key)
(writer).
wb-map-tree-node-left
(reader).
(setf wb-map-tree-node-left)
(writer).
wb-map-tree-node-print
(function).
wb-map-tree-node-right
(reader).
(setf wb-map-tree-node-right)
(writer).
wb-map-tree-node-size
(reader).
(setf wb-map-tree-node-size)
(writer).
wb-map-tree-node-value
(reader).
(setf wb-map-tree-node-value)
(writer).
wb-map-tree-node?
(function).
wb-map-tree-rank
(function).
wb-map-tree-rank-pair
(function).
wb-map-tree-rank-pair-internal
(function).
wb-map-tree-rank-trim
(function).
wb-map-tree-restrict
(function).
wb-map-tree-restrict-not
(function).
wb-map-tree-restrict-not-rng
(function).
wb-map-tree-restrict-rng
(function).
wb-map-tree-size
(function).
wb-map-tree-split
(function).
wb-map-tree-trim
(function).
wb-map-tree-union
(function).
wb-map-tree-union-rng
(function).
wb-map-tree-vector-pair-union
(function).
wb-map-tree-verify
(function).
wb-map-tree-verify-rng
(function).
wb-map-tree-with
(function).
wb-seq-tree
(type).
wb-seq-tree-append
(function).
wb-seq-tree-build-node
(function).
wb-seq-tree-compare
(function).
wb-seq-tree-compare-lexicographically
(function).
wb-seq-tree-compare-rng
(function).
wb-seq-tree-concat
(function).
wb-seq-tree-from-list
(function).
wb-seq-tree-from-vector
(function).
wb-seq-tree-insert
(function).
wb-seq-tree-iterator-canonicalize
(function).
wb-seq-tree-iterator-done?
(function).
wb-seq-tree-iterator-get
(function).
wb-seq-tree-node
(structure).
wb-seq-tree-node-left
(reader).
(setf wb-seq-tree-node-left)
(writer).
wb-seq-tree-node-print
(function).
wb-seq-tree-node-right
(reader).
(setf wb-seq-tree-node-right)
(writer).
wb-seq-tree-node-size
(reader).
(setf wb-seq-tree-node-size)
(writer).
wb-seq-tree-node?
(function).
wb-seq-tree-remove
(function).
wb-seq-tree-reverse
(function).
wb-seq-tree-size
(function).
wb-seq-tree-subscript
(function).
wb-seq-tree-subseq
(function).
wb-seq-tree-to-list
(function).
wb-seq-tree-to-set-tree
(function).
wb-seq-tree-to-string
(function).
wb-seq-tree-to-vector
(function).
wb-seq-tree-trim
(function).
wb-seq-tree-verify
(function).
wb-seq-tree-with
(function).
wb-set-tree
(type).
wb-set-tree-arb
(function).
wb-set-tree-build-node
(function).
wb-set-tree-compare
(function).
wb-set-tree-compare-rng
(function).
wb-set-tree-concat
(function).
wb-set-tree-diff
(function).
wb-set-tree-diff-2
(function).
wb-set-tree-diff-2-rng
(function).
wb-set-tree-diff-rng
(function).
wb-set-tree-disjoint?
(function).
wb-set-tree-disjoint?-rng
(function).
wb-set-tree-find-equal
(function).
wb-set-tree-find-equivalent
(function).
wb-set-tree-find-rank
(function).
wb-set-tree-from-cl-sequence
(function).
wb-set-tree-from-list
(function).
wb-set-tree-greatest
(function).
wb-set-tree-intersect
(function).
wb-set-tree-intersect-rng
(function).
wb-set-tree-iterator-canonicalize
(function).
wb-set-tree-iterator-done?
(function).
wb-set-tree-iterator-get
(function).
wb-set-tree-join
(function).
wb-set-tree-least
(function).
wb-set-tree-less
(function).
wb-set-tree-less-minimum
(function).
wb-set-tree-member?
(function).
wb-set-tree-member?-cfn
(function).
wb-set-tree-minimum-value
(function).
wb-set-tree-node
(structure).
wb-set-tree-node-left
(reader).
(setf wb-set-tree-node-left)
(writer).
wb-set-tree-node-print
(function).
wb-set-tree-node-right
(reader).
(setf wb-set-tree-node-right)
(writer).
wb-set-tree-node-size
(reader).
(setf wb-set-tree-node-size)
(writer).
wb-set-tree-node-value
(reader).
(setf wb-set-tree-node-value)
(writer).
wb-set-tree-node?
(function).
wb-set-tree-rank
(function).
wb-set-tree-rank-element
(function).
wb-set-tree-rank-element-internal
(function).
wb-set-tree-rank-trim
(function).
wb-set-tree-size
(function).
wb-set-tree-split
(function).
wb-set-tree-split-above
(function).
wb-set-tree-split-below
(function).
wb-set-tree-subset?
(function).
wb-set-tree-subset?-rng
(function).
wb-set-tree-to-bag-tree
(function).
wb-set-tree-trim
(function).
wb-set-tree-union
(function).
wb-set-tree-union-rng
(function).
wb-set-tree-vector-union
(function).
wb-set-tree-verify
(function).
wb-set-tree-verify-rng
(function).
wb-set-tree-with
(function).
wb-tree-balance-factor
(constant).
wb-tree-max-depth
(function).
wb-tree-precomputed-max-depths
(constant).
wb-tree-true-max-depth
(function).
fset/Code/champ.lisp
wb-trees.lisp
(file).
code
(module).
bit-indices
(function).
ch-map-node-entry-mask
(function).
(setf ch-map-node-entry-mask)
(function).
ch-map-node-hash-value
(function).
(setf ch-map-node-hash-value)
(function).
ch-map-node-header-size
(constant).
ch-map-node-size
(function).
(setf ch-map-node-size)
(function).
ch-map-node-subnode-mask
(function).
(setf ch-map-node-subnode-mask)
(function).
ch-map-tree-hash-value
(function).
ch-map-tree-less
(function).
ch-map-tree-lookup
(function).
ch-map-tree-size
(function).
ch-map-tree-verify
(function).
ch-map-tree-with
(function).
ch-set-node-entry-mask
(function).
(setf ch-set-node-entry-mask)
(function).
ch-set-node-hash-value
(function).
(setf ch-set-node-hash-value)
(function).
ch-set-node-header-size
(constant).
ch-set-node-size
(function).
(setf ch-set-node-size)
(function).
ch-set-node-subnode-mask
(function).
(setf ch-set-node-subnode-mask)
(function).
ch-set-tree-arb
(function).
ch-set-tree-compare
(function).
ch-set-tree-contains?
(function).
ch-set-tree-disjoint?
(function).
ch-set-tree-hash-value
(function).
ch-set-tree-index-element
(function).
ch-set-tree-intersection
(function).
ch-set-tree-less
(function).
ch-set-tree-size
(function).
ch-set-tree-union
(function).
ch-set-tree-verify
(function).
ch-set-tree-with
(function).
champ-hash-bits-per-level
(constant).
champ-hash-level-mask
(constant).
champ-node-radix
(constant).
do-bit-indices
(macro).
do-ch-map-tree-pairs
(macro).
do-ch-set-tree-members
(macro).
hash-value-fixnum
(function).
make-ch-map-node
(function).
make-ch-set-node
(function).
vector-ins-1-rem-1
(function).
vector-ins-2-rem-1
(function).
vector-insert-2
(function).
vector-rem-1-ins-1
(function).
vector-rem-2-ins-1
(function).
vector-remove-2-at
(function).
vector-remove-n-at
(function).
fset/Code/reader.lisp
champ.lisp
(file).
code
(module).
*fset-readtable*
(special variable).
bag
(macro).
ch-map
(macro).
ch-set
(macro).
dyn-tuple
(macro).
fset-setup-readtable
(function).
map
(macro).
replay-map
(macro).
replay-set
(macro).
seq
(macro).
set
(macro).
tuple
(macro).
wb-bag
(macro).
wb-map
(macro).
wb-replay-map
(macro).
wb-replay-set
(macro).
wb-seq
(macro).
wb-set
(macro).
#$-reader
(function).
#%-reader
(function).
#[-reader
(function).
#{-reader
(function).
#~-reader
(function).
*fset-rereading-readtable*
(special variable).
expand-bag-constructor-form
(function).
expand-map-constructor-form
(function).
expand-seq-constructor-form
(function).
expand-set-constructor-form
(function).
expand-tuple-constructor-form
(function).
fset-setup-rereading-readtable
(function).
rereading-#[-reader
(function).
rereading-#{-reader
(function).
rereading-#~-reader
(function).
fset/Code/fset.lisp
reader.lisp
(file).
code
(module).
(setf @)
(setf expander).
arb
(generic function).
at-index
(method).
at-rank
(generic function).
bag-difference
(generic function).
bag-product
(generic function).
bag-sum
(generic function).
ch-map
(structure).
ch-set
(structure).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare-lexicographically
(method).
compose
(generic function).
concat
(generic function).
contains?
(generic function).
convert
(generic function).
count
(generic function).
count-if
(generic function).
count-if-not
(generic function).
disjoint?
(generic function).
domain
(generic function).
domain-contains?
(generic function).
empty-bag
(function).
empty-ch-map
(function).
empty-ch-set
(function).
empty-map
(function).
empty-seq
(function).
empty-set
(function).
empty-wb-bag
(function).
empty-wb-map
(function).
empty-wb-seq
(function).
empty-wb-set
(function).
empty?
(generic function).
every
(function).
filter
(generic function).
filter-pairs
(generic function).
find
(generic function).
find-if
(generic function).
find-if-not
(generic function).
first
(generic function).
greatest
(generic function).
head
(function).
image
(generic function).
insert
(generic function).
intersection
(generic function).
iterator
(generic function).
last
(generic function).
lastcons
(function).
least
(generic function).
less
(generic function).
less-first
(generic function).
less-last
(generic function).
(setf lookup)
(setf expander).
lookup
(generic function).
make-load-form
(method).
make-load-form
(method).
make-load-form
(method).
make-load-form
(method).
make-load-form
(method).
map-difference-2
(generic function).
map-intersection
(generic function).
map-union
(generic function).
member?
(function).
multiplicity
(generic function).
nonempty?
(function).
notany
(function).
notevery
(function).
partition
(generic function).
position
(generic function).
position-if
(generic function).
position-if-not
(generic function).
print-object
(method).
print-object
(method).
print-object
(method).
print-object
(method).
print-object
(method).
print-object
(method).
proper-subbag?
(function).
proper-subset?
(function).
range
(generic function).
range-contains?
(generic function).
rank
(generic function).
reduce
(generic function).
remove
(generic function).
remove-if
(generic function).
remove-if-not
(generic function).
restrict
(generic function).
restrict-not
(generic function).
reverse
(generic function).
set-difference
(generic function).
set-difference-2
(generic function).
set-size
(generic function).
size
(generic function).
some
(function).
sort
(generic function).
sort-and-group
(generic function).
splice
(generic function).
split-above
(method).
split-below
(method).
split-from
(method).
split-through
(method).
stable-sort
(generic function).
subbag?
(generic function).
subseq
(generic function).
subset?
(generic function).
substitute
(generic function).
substitute-if
(generic function).
substitute-if-not
(generic function).
tail
(function).
union
(generic function).
update
(compiler macro).
update
(function).
wb-bag
(structure).
wb-map
(structure).
wb-seq
(structure).
wb-set
(structure).
with
(generic function).
with-default
(generic function).
with-first
(generic function).
with-last
(generic function).
*empty-ch-map*
(special variable).
*empty-ch-set*
(special variable).
*empty-wb-bag*
(special variable).
*empty-wb-map*
(special variable).
*empty-wb-seq*
(special variable).
*empty-wb-set*
(special variable).
bag-filter
(function).
bag-filter-pairs
(function).
bag-from-list
(function).
bag-image
(function).
bag-reduce
(function).
ch-map-contents
(reader).
(setf ch-map-contents)
(writer).
ch-map-default
(function).
(setf ch-map-default)
(function).
ch-map?
(function).
ch-set-contents
(reader).
(setf ch-set-contents)
(writer).
ch-set-filter
(function).
ch-set-image
(function).
ch-set?
(function).
coerce-to-function
(function).
coerce-to-function-or-equal?
(function).
default
(generic function).
empty-instance-form
(method).
empty-instance-form
(method).
empty-instance-form
(method).
empty-instance-form
(method).
empty-instance-form
(method).
empty-instance-form
(method).
empty-instance-form
(method).
empty-map-instance-form
(method).
empty-map-instance-form
(method).
empty-map-instance-form
(method).
internal-do-bag-pairs
(generic function).
internal-do-map
(generic function).
internal-do-seq
(generic function).
internal-do-set
(generic function).
list-partition
(function).
make-ch-map
(function).
make-ch-set
(function).
make-wb-bag
(function).
make-wb-map
(function).
make-wb-seq
(function).
make-wb-set
(function).
map-fn-compose
(function).
map-reduce
(function).
print-ch-map
(function).
print-ch-set
(function).
print-wb-bag
(function).
print-wb-map
(function).
print-wb-seq
(function).
print-wb-set
(function).
seq-filter
(function).
seq-image
(function).
seq-partition
(function).
seq-reduce
(function).
set-reduce
(function).
simple-program-error
(condition).
split
(function).
wb-bag-contents
(reader).
(setf wb-bag-contents)
(writer).
wb-bag?
(function).
wb-map-contents
(reader).
(setf wb-map-contents)
(writer).
wb-map-default
(function).
(setf wb-map-default)
(function).
wb-map-filter
(function).
wb-map-from-cl-sequence
(function).
wb-map-from-list
(function).
wb-map-image
(function).
wb-map?
(function).
wb-seq-contents
(reader).
(setf wb-seq-contents)
(writer).
wb-seq-default
(function).
(setf wb-seq-default)
(function).
wb-seq?
(function).
wb-set-contents
(reader).
(setf wb-set-contents)
(writer).
wb-set-filter
(function).
wb-set-image
(function).
wb-set-partition
(function).
wb-set?
(function).
fset/Code/replay.lisp
fset.lisp
(file).
code
(module).
arb
(method).
arb
(method).
compare
(method).
contains?
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
domain
(method).
domain-contains?
(method).
empty-replay-map
(function).
empty-replay-set
(function).
empty-wb-replay-map
(function).
empty-wb-replay-set
(function).
empty?
(method).
empty?
(method).
intersection
(method).
iterator
(method).
iterator
(method).
less
(method).
less
(method).
lookup
(method).
lookup
(method).
print-object
(method).
print-object
(method).
size
(method).
size
(method).
union
(method).
wb-replay-map
(structure).
wb-replay-map?
(function).
wb-replay-set
(structure).
wb-replay-set?
(function).
with
(method).
with
(method).
with-default
(method).
*empty-wb-replay-map*
(special variable).
*empty-wb-replay-set*
(special variable).
empty-instance-form
(method).
empty-map-instance-form
(method).
empty-map-instance-form
(method).
internal-do-map
(method).
internal-do-set
(method).
make-wb-replay-map
(function).
make-wb-replay-set
(function).
print-wb-replay-map
(function).
print-wb-replay-set
(function).
wb-replay-map-contents
(reader).
(setf wb-replay-map-contents)
(writer).
wb-replay-map-default
(function).
(setf wb-replay-map-default)
(function).
wb-replay-map-ordering
(reader).
(setf wb-replay-map-ordering)
(writer).
wb-replay-set-contents
(reader).
(setf wb-replay-set-contents)
(writer).
wb-replay-set-ordering
(reader).
(setf wb-replay-set-ordering)
(writer).
fset/Code/tuples.lisp
replay.lisp
(file).
code
(module).
compare
(method).
compare
(method).
compare
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
def-tuple-key
(macro).
define-tuple-key
(macro).
do-tuple
(macro).
domain
(method).
dyn-tuple
(structure).
empty-dyn-tuple
(function).
empty-tuple
(function).
get-tuple-key
(function).
image
(method).
image
(method).
lookup
(method).
make-load-form
(method).
print-object
(method).
print-object
(method).
restrict
(method).
restrict-not
(method).
size
(method).
tuple-key-name
(reader).
(setf tuple-key-name)
(writer).
tuple-key?
(function).
tuple-merge
(generic function).
with
(method).
+tuple-desc-next-serial-number+
(symbol macro).
+tuple-desc-next-serial-number-lock+
(symbol macro).
+tuple-descriptor-map+
(symbol macro).
+tuple-key-lock+
(symbol macro).
+tuple-key-name-map+
(symbol macro).
+tuple-key-seq+
(symbol macro).
+tuple-random-value+
(symbol macro).
copy-tuple-desc
(function).
copy-tuple-key
(function).
do-tuple-internal
(macro).
dyn-tuple-contents
(reader).
(setf dyn-tuple-contents)
(writer).
dyn-tuple-descriptor
(reader).
(setf dyn-tuple-descriptor)
(writer).
dyn-tuple-from-list
(function).
dyn-tuple?
(function).
internal-do-tuple
(generic function).
make-dyn-tuple
(function).
make-tuple-desc
(function).
make-tuple-desc-internal
(function).
make-tuple-key
(function).
print-dyn-tuple
(function).
print-tuple-key
(function).
tuple-contents-ref
(macro).
tuple-desc
(structure).
tuple-desc-key-set
(reader).
(setf tuple-desc-key-set)
(writer).
tuple-desc-lock
(reader).
(setf tuple-desc-lock)
(writer).
tuple-desc-next-desc-map
(reader).
(setf tuple-desc-next-desc-map)
(writer).
tuple-desc-p
(function).
tuple-desc-pairs
(reader).
(setf tuple-desc-pairs)
(writer).
tuple-desc-reorder-map-map
(reader).
(setf tuple-desc-reorder-map-map)
(writer).
tuple-desc-serial-number
(reader).
(setf tuple-desc-serial-number)
(writer).
tuple-get-reorder-map
(function).
tuple-key
(structure).
tuple-key-default-fn
(reader).
(setf tuple-key-default-fn)
(writer).
tuple-key-number
(reader).
(setf tuple-key-number)
(writer).
tuple-lookup
(function).
tuple-make-reorder-map
(function).
tuple-random-value
(function).
tuple-reorder-frequency
(constant).
tuple-reorder-keys
(function).
tuple-reorder-score-threshold
(special variable).
tuple-value-chunk-bits
(constant).
tuple-value-chunk-size
(constant).
tuple-window-size
(macro).
tuple-with
(function).
fset/Code/testing.lisp
tuples.lisp
(file).
code
(module).
adjust-sequence
(method).
compare
(method).
(setf elt)
(method).
elt
(method).
length
(method).
make-sequence-like
(method).
*champ-map-test-pairs*
(special variable).
*champ-set-test-values*
(special variable).
+k0+
(symbol macro).
+k1+
(symbol macro).
+k2+
(symbol macro).
+k3+
(symbol macro).
+k4+
(symbol macro).
add-to-front
(function).
alist-assign
(function).
alist-bag-combine
(function).
alist-bag-difference
(function).
alist-bag-intersection
(function).
alist-bag-product
(function).
alist-bag-remove
(function).
alist-bag-size
(function).
alist-bag-sum
(function).
alist-bag-union
(function).
alist-remove
(function).
copy-my-integer
(function).
eqv
(function).
hash-value
(method).
list-insert
(function).
list-remove
(function).
list-set-elt
(function).
make-my-integer
(function).
map-compare
(function).
map-sort-and-group
(function).
my-identity-ordered-obj
(class).
my-identity-ordered-obj-value
(reader method).
(setf my-identity-ordered-obj-value)
(writer method).
my-integer
(structure).
my-integer-p
(function).
my-integer-value
(reader).
(setf my-integer-value)
(writer).
my-sequence
(class).
my-sequence-actual
(reader method).
(setf my-sequence-actual)
(writer method).
my-unhandled-obj
(class).
my-unhandled-obj-value
(reader method).
(setf my-unhandled-obj-value)
(writer method).
pick
(function).
random-test
(function).
run-test-suite
(function).
seq-compare
(function).
seq-position
(function).
set-compare
(function).
test-2-relations
(function).
test-bag-operations
(function).
test-bounded-sets
(function).
test-champ-maps
(function).
test-champ-sets
(function).
test-cl-generic-sequence-ops
(function).
test-compare-lexicographically
(function).
test-complement-sets
(function).
test-equivalent-sets
(function).
test-functional-deep-update
(function).
test-list-relations
(function).
test-map-operations
(function).
test-misc-0
(function).
test-misc-1
(function).
test-misc-2
(function).
test-misc-3
(function).
test-modify-macros
(function).
test-reader
(function).
test-rereader
(function).
test-seq-operations
(function).
test-set-operations
(function).
test-tuple-operations
(function).
test-type-dispatch-speed
(function).
time-index
(function).
time-seq-iter
(function).
tuple-keys
(symbol macro).
verify
(generic function).
fset/Code/interval.lisp
testing.lisp
(file).
code
(module).
compare
(method).
compare
(method).
compare
(method).
empty?
(method).
intersection
(method).
less
(method).
print-object
(method).
print-object
(method).
set-difference
(method).
size
(method).
union
(method).
with
(method).
compare-intervals
(function).
empty-interval-set
(function).
interval
(structure).
interval-kind
(reader).
(setf interval-kind)
(writer).
interval-kind-symbol
(function).
interval-lower
(reader).
(setf interval-lower)
(writer).
interval-lower-closed?
(function).
interval-set
(structure).
interval-set-contents
(reader).
(setf interval-set-contents)
(writer).
interval-set?
(function).
interval-upper
(reader).
(setf interval-upper)
(writer).
interval-upper-closed?
(function).
interval?
(function).
less-interval
(generic function).
make-interval
(function).
make-interval-set
(function).
make-raw-interval
(function).
print-interval
(function).
print-interval-set
(function).
with-interval
(generic function).
fset/Code/relations.lisp
interval.lisp
(file).
code
(module).
2-relation
(macro).
2-relation
(structure).
2-relation?
(function).
all-queries
(method).
arb
(method).
arb
(method).
arity
(generic function).
assertion-db
(structure).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compare
(method).
compose
(method).
compose
(method).
compose
(method).
compose
(method).
compose
(method).
conflicts
(generic function).
contains?
(method).
contains?
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
convert
(method).
do-2-relation
(macro).
do-all-queries
(macro).
do-list-relation
(macro).
domain
(method).
empty-2-relation
(function).
empty-assertion-db
(function).
empty-list-relation
(function).
empty-query-registry
(function).
empty-wb-2-relation
(function).
empty-wb-assertion-db
(function).
empty-wb-list-relation
(function).
empty?
(method).
empty?
(method).
greatest
(method).
intersection
(method).
inverse
(generic function).
iterator
(method).
join
(generic function).
least
(method).
less
(method).
less
(method).
less
(method).
less
(method).
list-relation
(structure).
list-relation?
(function).
lookup
(method).
lookup
(method).
lookup-inv
(generic function).
lookup-multi
(method).
print-object
(method).
print-object
(method).
print-object
(method).
query
(generic function).
query-multi
(generic function).
query-multi-restricted
(generic function).
query-registry
(structure).
range
(method).
relation
(structure).
relation?
(function).
size
(method).
size
(method).
union
(method).
wb-2-relation
(macro).
wb-2-relation
(structure).
wb-2-relation?
(function).
wb-list-relation
(structure).
wb-list-relation?
(function).
with
(method).
with
(method).
with
(method).
with
(method).
*empty-wb-2-relation*
(special variable).
2-relation-fn-compose
(function).
2-relation-to-wb-map
(function).
assertion-db?
(function).
copy-query-registry
(function).
expand-2-relation-constructor-form
(function).
get-indices
(method).
get-inverse
(function).
internal-do-2-relation
(generic function).
internal-do-all-queries
(method).
internal-do-list-relation
(generic function).
list-to-wb-2-relation
(function).
make-query-registry
(function).
make-wb-2-relation
(function).
make-wb-assertion-db
(function).
make-wb-list-relation
(function).
map-to-sets-to-wb-2-relation
(function).
map-to-wb-2-relation
(function).
masked-tuple
(function).
pattern-mask
(function).
prepare-pattern
(function).
print-wb-2-relation
(function).
print-wb-assertion-db
(function).
print-wb-list-relation
(function).
query-registry-list-relations
(reader).
(setf query-registry-list-relations)
(writer).
query-registry-p
(function).
reduced-tuple
(function).
set-transitive-closure
(function).
transitive-closure
(generic function).
verify
(method).
wb-2-relation-map0
(reader).
(setf wb-2-relation-map0)
(writer).
wb-2-relation-map1
(reader).
(setf wb-2-relation-map1)
(writer).
wb-2-relation-size
(reader).
(setf wb-2-relation-size)
(writer).
wb-assertion-db
(structure).
wb-assertion-db-list-rels
(reader).
(setf wb-assertion-db-list-rels)
(writer).
wb-assertion-db?
(function).
wb-list-relation-arity
(reader).
(setf wb-list-relation-arity)
(writer).
wb-list-relation-indices
(reader).
(setf wb-list-relation-indices)
(writer).
wb-list-relation-tuples
(reader).
(setf wb-list-relation-tuples)
(writer).
fset/Code/complement-sets.lisp
relations.lisp
(file).
code
(module).
arb
(method).
compare
(method).
compare
(method).
compare
(method).
complement
(generic function).
contains?
(method).
disjoint?
(method).
disjoint?
(method).
disjoint?
(method).
full-set
(function).
intersection
(method).
intersection
(method).
intersection
(method).
less
(method).
print-object
(method).
set-difference
(method).
set-difference
(method).
set-difference
(method).
size
(method).
subset?
(method).
subset?
(method).
subset?
(method).
union
(method).
union
(method).
union
(method).
with
(method).
complement-set
(structure).
complement-set-complement
(reader).
(setf complement-set-complement)
(writer).
complement-set?
(function).
internal-do-set
(method).
make-complement-set
(function).
print-complement-set
(function).
fset/Code/bounded-sets.lisp
complement-sets.lisp
(file).
code
(module).
arb
(method).
bounded-set
(structure).
bounded-set-contents
(function).
compare
(method).
compare
(method).
compare
(method).
complement
(method).
contains?
(method).
convert
(method).
disjoint?
(method).
empty?
(method).
intersection
(method).
less
(method).
make-bounded-set
(function).
print-object
(method).
set-difference
(method).
size
(method).
subset?
(method).
union
(method).
with
(method).
bounded-set-complement?
(reader).
(setf bounded-set-complement?)
(writer).
bounded-set-set
(reader).
(setf bounded-set-set)
(writer).
bounded-set-universe
(reader).
(setf bounded-set-universe)
(writer).
bounded-set?
(function).
internal-do-set
(method).
make-bounded-set-internal
(function).
print-bounded-set
(function).
Packages are listed by definition order.
fset
com.ergy.fset
common-lisp
.
lexical-contexts
.
new-let
.
rev-fun-bind
.
*fset-readtable*
(special variable).
2-relation
(macro).
2-relation
(structure).
2-relation?
(function).
@
(macro).
(setf @)
(setf expander).
adjoinf
(macro).
all-queries
(generic function).
appendf
(macro).
arb
(generic function).
arity
(generic function).
assertion-db
(structure).
at-index
(generic function).
at-rank
(generic function).
bag
(macro).
bag
(structure).
bag-difference
(generic function).
bag-product
(generic function).
bag-sum
(generic function).
bag?
(function).
bounded-set
(structure).
bounded-set-contents
(function).
ch-map
(macro).
ch-map
(structure).
ch-set
(macro).
ch-set
(structure).
collection
(structure).
collection?
(function).
compare
(generic function).
compare-lexicographically
(generic function).
compare-slots
(macro).
compare-slots-no-unequal
(macro).
complement
(generic function).
compose
(generic function).
composef
(macro).
concat
(generic function).
conflicts
(generic function).
contains?
(generic function).
convert
(generic function).
count
(generic function).
count-if
(generic function).
count-if-not
(generic function).
def-tuple-key
(macro).
define-comparison-slots
(macro).
define-cross-type-compare-methods
(macro).
define-tuple-key
(macro).
disjoint?
(generic function).
do-2-relation
(macro).
do-all-queries
(macro).
do-bag
(macro).
do-bag-pairs
(macro).
do-list-relation
(macro).
do-map
(macro).
do-map-domain
(macro).
do-seq
(macro).
do-set
(macro).
do-tuple
(macro).
domain
(generic function).
domain-contains?
(generic function).
dyn-tuple
(macro).
dyn-tuple
(structure).
empty-2-relation
(function).
empty-assertion-db
(function).
empty-bag
(function).
empty-ch-map
(function).
empty-ch-set
(function).
empty-dyn-tuple
(function).
empty-list-relation
(function).
empty-map
(function).
empty-query-registry
(function).
empty-replay-map
(function).
empty-replay-set
(function).
empty-seq
(function).
empty-set
(function).
empty-tuple
(function).
empty-wb-2-relation
(function).
empty-wb-assertion-db
(function).
empty-wb-bag
(function).
empty-wb-list-relation
(function).
empty-wb-map
(function).
empty-wb-replay-map
(function).
empty-wb-replay-set
(function).
empty-wb-seq
(function).
empty-wb-set
(function).
empty?
(generic function).
equal?
(function).
every
(function).
excludef
(macro).
filter
(generic function).
filter-pairs
(generic function).
find
(generic function).
find-if
(generic function).
find-if-not
(generic function).
first
(generic function).
fset-setup-readtable
(function).
full-set
(function).
get-tuple-key
(function).
greatest
(generic function).
head
(function).
identity-ordering-mixin
(class).
image
(generic function).
imagef
(macro).
includef
(macro).
insert
(generic function).
intersectf
(macro).
intersection
(generic function).
inverse
(generic function).
iterator
(generic function).
join
(generic function).
last
(generic function).
lastcons
(function).
least
(generic function).
less
(generic function).
less-first
(generic function).
less-last
(generic function).
list-relation
(structure).
list-relation?
(function).
(setf lookup)
(setf expander).
lookup
(generic function).
lookup-inv
(generic function).
lookup-multi
(generic function).
make-bounded-set
(function).
map
(macro).
map
(structure).
map-default
(reader).
(setf map-default)
(writer).
map-difference-2
(generic function).
map-intersectf
(macro).
map-intersection
(generic function).
map-union
(generic function).
map-unionf
(macro).
map?
(function).
member?
(function).
multiplicity
(generic function).
nonempty?
(function).
notany
(function).
notevery
(function).
partition
(generic function).
pop-first
(macro).
pop-last
(macro).
position
(generic function).
position-if
(generic function).
position-if-not
(generic function).
prependf
(macro).
proper-subbag?
(function).
proper-subset?
(function).
push-first
(macro).
push-last
(macro).
query
(generic function).
query-multi
(generic function).
query-multi-restricted
(generic function).
query-registry
(structure).
range
(generic function).
range-contains?
(generic function).
rank
(generic function).
reduce
(generic function).
relation
(structure).
relation?
(function).
remove
(generic function).
remove-if
(generic function).
remove-if-not
(generic function).
removef
(macro).
replay-map
(macro).
replay-map
(structure).
replay-map?
(function).
replay-set
(macro).
replay-set
(structure).
replay-set?
(function).
restrict
(generic function).
restrict-not
(generic function).
reverse
(generic function).
seq
(macro).
seq
(structure).
seq?
(function).
set
(macro).
set
(structure).
set-difference
(generic function).
set-difference-2
(generic function).
set-differencef
(macro).
set-size
(generic function).
set?
(function).
size
(generic function).
some
(function).
sort
(generic function).
sort-and-group
(generic function).
splice
(generic function).
split-above
(generic function).
split-below
(generic function).
split-from
(generic function).
split-through
(generic function).
stable-sort
(generic function).
subbag?
(generic function).
subseq
(generic function).
subset?
(generic function).
substitute
(generic function).
substitute-if
(generic function).
substitute-if-not
(generic function).
tail
(function).
tuple
(macro).
tuple
(structure).
tuple-key-name
(reader).
(setf tuple-key-name)
(writer).
tuple-key?
(function).
tuple-merge
(generic function).
tuple?
(function).
union
(generic function).
unionf
(macro).
update
(compiler macro).
update
(function).
wb-2-relation
(macro).
wb-2-relation
(structure).
wb-2-relation?
(function).
wb-bag
(macro).
wb-bag
(structure).
wb-list-relation
(structure).
wb-list-relation?
(function).
wb-map
(macro).
wb-map
(structure).
wb-replay-map
(macro).
wb-replay-map
(structure).
wb-replay-map?
(function).
wb-replay-set
(macro).
wb-replay-set
(structure).
wb-replay-set?
(function).
wb-seq
(macro).
wb-seq
(structure).
wb-set
(macro).
wb-set
(structure).
with
(generic function).
with-default
(generic function).
with-first
(generic function).
with-last
(generic function).
#$-reader
(function).
#%-reader
(function).
#[-reader
(function).
#{-reader
(function).
#~-reader
(function).
*champ-map-test-pairs*
(special variable).
*champ-set-test-values*
(special variable).
*empty-ch-map*
(special variable).
*empty-ch-set*
(special variable).
*empty-wb-2-relation*
(special variable).
*empty-wb-bag*
(special variable).
*empty-wb-map*
(special variable).
*empty-wb-replay-map*
(special variable).
*empty-wb-replay-set*
(special variable).
*empty-wb-seq*
(special variable).
*empty-wb-set*
(special variable).
*fset-rereading-readtable*
(special variable).
*wb-tree-max-string-length*
(special variable).
*wb-tree-max-vector-length*
(special variable).
+k0+
(symbol macro).
+k1+
(symbol macro).
+k2+
(symbol macro).
+k3+
(symbol macro).
+k4+
(symbol macro).
+master-type-ordering+
(symbol macro).
+package-original-name+
(symbol macro).
+tuple-desc-next-serial-number+
(symbol macro).
+tuple-desc-next-serial-number-lock+
(symbol macro).
+tuple-descriptor-map+
(symbol macro).
+tuple-key-lock+
(symbol macro).
+tuple-key-name-map+
(symbol macro).
+tuple-key-seq+
(symbol macro).
+tuple-random-value+
(symbol macro).
+wb-tree-max-depths-with-values+
(symbol macro).
+wb-tree-max-depths-without-values+
(symbol macro).
2-relation-fn-compose
(function).
2-relation-to-wb-map
(function).
add-to-front
(function).
alist-assign
(function).
alist-bag-combine
(function).
alist-bag-difference
(function).
alist-bag-intersection
(function).
alist-bag-product
(function).
alist-bag-remove
(function).
alist-bag-size
(function).
alist-bag-sum
(function).
alist-bag-union
(function).
alist-remove
(function).
assertion-db?
(function).
bag-filter
(function).
bag-filter-pairs
(function).
bag-from-list
(function).
bag-image
(function).
bag-reduce
(function).
bag-value-size
(function).
base-char-p
(function).
bit-indices
(function).
bounded-set-complement?
(reader).
(setf bounded-set-complement?)
(writer).
bounded-set-set
(reader).
(setf bounded-set-set)
(writer).
bounded-set-universe
(reader).
(setf bounded-set-universe)
(writer).
bounded-set?
(function).
ch-map-contents
(reader).
(setf ch-map-contents)
(writer).
ch-map-default
(function).
(setf ch-map-default)
(function).
ch-map-node-entry-mask
(function).
(setf ch-map-node-entry-mask)
(function).
ch-map-node-hash-value
(function).
(setf ch-map-node-hash-value)
(function).
ch-map-node-header-size
(constant).
ch-map-node-size
(function).
(setf ch-map-node-size)
(function).
ch-map-node-subnode-mask
(function).
(setf ch-map-node-subnode-mask)
(function).
ch-map-tree-hash-value
(function).
ch-map-tree-less
(function).
ch-map-tree-lookup
(function).
ch-map-tree-size
(function).
ch-map-tree-verify
(function).
ch-map-tree-with
(function).
ch-map?
(function).
ch-set-contents
(reader).
(setf ch-set-contents)
(writer).
ch-set-filter
(function).
ch-set-image
(function).
ch-set-node-entry-mask
(function).
(setf ch-set-node-entry-mask)
(function).
ch-set-node-hash-value
(function).
(setf ch-set-node-hash-value)
(function).
ch-set-node-header-size
(constant).
ch-set-node-size
(function).
(setf ch-set-node-size)
(function).
ch-set-node-subnode-mask
(function).
(setf ch-set-node-subnode-mask)
(function).
ch-set-tree-arb
(function).
ch-set-tree-compare
(function).
ch-set-tree-contains?
(function).
ch-set-tree-disjoint?
(function).
ch-set-tree-hash-value
(function).
ch-set-tree-index-element
(function).
ch-set-tree-intersection
(function).
ch-set-tree-less
(function).
ch-set-tree-size
(function).
ch-set-tree-union
(function).
ch-set-tree-verify
(function).
ch-set-tree-with
(function).
ch-set?
(function).
champ-hash-bits-per-level
(constant).
champ-hash-level-mask
(constant).
champ-node-radix
(constant).
check-three-arguments
(macro).
check-two-arguments
(macro).
coerce-to-function
(function).
coerce-to-function-or-equal?
(function).
compare-intervals
(function).
compare-lists-lexicographically
(function).
compare-strings
(function).
complement-set
(structure).
complement-set-complement
(reader).
(setf complement-set-complement)
(writer).
complement-set?
(function).
copy-ch-map-node
(function).
copy-ch-set-node
(function).
copy-equivalent-bag
(function).
copy-equivalent-map
(function).
copy-equivalent-set
(function).
copy-my-integer
(function).
copy-query-registry
(function).
copy-tuple-desc
(function).
copy-tuple-key
(function).
copy-wb-bag-tree-node
(function).
copy-wb-map-tree-node
(function).
copy-wb-seq-tree-node
(function).
copy-wb-set-tree-node
(function).
default
(generic function).
defglobal
(macro).
define-atomic-series
(macro).
do-bit-indices
(macro).
do-ch-map-tree-pairs
(macro).
do-ch-set-tree-members
(macro).
do-tuple-internal
(macro).
do-wb-bag-tree-pairs
(macro).
do-wb-map-tree-pairs
(macro).
do-wb-seq-tree-members
(macro).
do-wb-seq-tree-members-gen
(macro).
do-wb-set-tree-members
(macro).
dyn-tuple-contents
(reader).
(setf dyn-tuple-contents)
(writer).
dyn-tuple-descriptor
(reader).
(setf dyn-tuple-descriptor)
(writer).
dyn-tuple-from-list
(function).
dyn-tuple?
(function).
empty-instance-form
(generic function).
empty-interval-set
(function).
empty-map-instance-form
(generic function).
equivalent-bag
(structure).
equivalent-bag-alist
(reader).
(setf equivalent-bag-alist)
(writer).
equivalent-bag-compare
(function).
equivalent-bag-difference
(function).
equivalent-bag-intersect
(function).
equivalent-bag-product
(function).
equivalent-bag-subbag?
(function).
equivalent-bag-sum
(function).
equivalent-bag-union
(function).
equivalent-bag?
(function).
equivalent-map
(structure).
equivalent-map-alist
(reader).
(setf equivalent-map-alist)
(writer).
equivalent-map-compare
(function).
equivalent-map-difference
(function).
equivalent-map-intersect
(function).
equivalent-map-less
(function).
equivalent-map-restrict
(function).
equivalent-map-restrict-not
(function).
equivalent-map-union
(function).
equivalent-map-with
(function).
equivalent-map?
(function).
equivalent-set
(structure).
equivalent-set-compare
(function).
equivalent-set-difference
(function).
equivalent-set-disjoint?
(function).
equivalent-set-intersect
(function).
equivalent-set-members
(reader).
(setf equivalent-set-members)
(writer).
equivalent-set-subset?
(function).
equivalent-set-union
(function).
equivalent-set?
(function).
eqv
(function).
expand-2-relation-constructor-form
(function).
expand-bag-constructor-form
(function).
expand-map-constructor-form
(function).
expand-seq-constructor-form
(function).
expand-set-constructor-form
(function).
expand-tuple-constructor-form
(function).
fset-setup-rereading-readtable
(function).
gen
(macro).
get-indices
(generic function).
get-inverse
(function).
greater-than?
(function).
hash-slots
(macro).
hash-value
(generic function).
hash-value-fixnum
(function).
hedge-negative-infinity
(constant).
hedge-positive-infinity
(constant).
increment-atomic-series
(macro).
internal-do-2-relation
(generic function).
internal-do-all-queries
(generic function).
internal-do-bag-pairs
(generic function).
internal-do-list-relation
(generic function).
internal-do-map
(generic function).
internal-do-seq
(generic function).
internal-do-set
(generic function).
internal-do-tuple
(generic function).
interval
(structure).
interval-kind
(reader).
(setf interval-kind)
(writer).
interval-kind-symbol
(function).
interval-lower
(reader).
(setf interval-lower)
(writer).
interval-lower-closed?
(function).
interval-set
(structure).
interval-set-contents
(reader).
(setf interval-set-contents)
(writer).
interval-set?
(function).
interval-upper
(reader).
(setf interval-upper)
(writer).
interval-upper-closed?
(function).
interval?
(function).
length-nv
(macro).
less-interval
(generic function).
less-than?
(function).
list-insert
(function).
list-partition
(function).
list-remove
(function).
list-set-elt
(function).
list-to-wb-2-relation
(function).
logandc2f
(macro).
logiorf
(macro).
logxorf
(macro).
make-bounded-set-internal
(function).
make-ch-map
(function).
make-ch-map-node
(function).
make-ch-set
(function).
make-ch-set-node
(function).
make-char
(function).
make-complement-set
(function).
make-dyn-tuple
(function).
make-equivalent-bag
(function).
make-equivalent-map
(function).
make-equivalent-set
(function).
make-interval
(function).
make-interval-set
(function).
make-lock
(function).
make-my-integer
(function).
make-query-registry
(function).
make-raw-interval
(function).
make-raw-wb-bag-tree-node
(function).
make-raw-wb-map-tree-node
(function).
make-raw-wb-seq-tree-node
(function).
make-raw-wb-set-tree-node
(function).
make-tuple-desc
(function).
make-tuple-desc-internal
(function).
make-tuple-key
(function).
make-wb-2-relation
(function).
make-wb-assertion-db
(function).
make-wb-bag
(function).
make-wb-bag-tree-iterator
(function).
make-wb-bag-tree-iterator-internal
(function).
make-wb-bag-tree-node
(function).
make-wb-bag-tree-pair-iterator
(function).
make-wb-bag-tree-pair-iterator-internal
(function).
make-wb-list-relation
(function).
make-wb-map
(function).
make-wb-map-tree-iterator
(function).
make-wb-map-tree-iterator-internal
(function).
make-wb-map-tree-node
(function).
make-wb-replay-map
(function).
make-wb-replay-set
(function).
make-wb-seq
(function).
make-wb-seq-tree-iterator
(function).
make-wb-seq-tree-iterator-internal
(function).
make-wb-seq-tree-node
(function).
make-wb-set
(function).
make-wb-set-tree-iterator
(function).
make-wb-set-tree-iterator-internal
(function).
make-wb-set-tree-node
(function).
make-wb-tree-iterator
(function).
map-compare
(function).
map-fn-compose
(function).
map-key-size
(function).
map-reduce
(function).
map-sort-and-group
(function).
map-to-sets-to-wb-2-relation
(function).
map-to-wb-2-relation
(function).
masked-tuple
(function).
my-identity-ordered-obj
(class).
my-identity-ordered-obj-value
(generic reader).
(setf my-identity-ordered-obj-value)
(generic writer).
my-integer
(structure).
my-integer-p
(function).
my-integer-value
(reader).
(setf my-integer-value)
(writer).
my-sequence
(class).
my-sequence-actual
(generic reader).
(setf my-sequence-actual)
(generic writer).
my-unhandled-obj
(class).
my-unhandled-obj-value
(generic reader).
(setf my-unhandled-obj-value)
(generic writer).
pattern-mask
(function).
pick
(function).
postincf
(macro).
prepare-pattern
(function).
print-bounded-set
(function).
print-ch-map
(function).
print-ch-set
(function).
print-complement-set
(function).
print-dyn-tuple
(function).
print-interval
(function).
print-interval-set
(function).
print-tuple-key
(function).
print-wb-2-relation
(function).
print-wb-assertion-db
(function).
print-wb-bag
(function).
print-wb-list-relation
(function).
print-wb-map
(function).
print-wb-replay-map
(function).
print-wb-replay-set
(function).
print-wb-seq
(function).
print-wb-set
(function).
query-registry-list-relations
(reader).
(setf query-registry-list-relations)
(writer).
query-registry-p
(function).
random-test
(function).
read-memory-barrier
(macro).
reduced-tuple
(function).
replay-map-default
(function).
(setf replay-map-default)
(function).
rereading-#[-reader
(function).
rereading-#{-reader
(function).
rereading-#~-reader
(function).
run-test-suite
(function).
seq-compare
(function).
seq-default
(reader).
(setf seq-default)
(writer).
seq-filter
(function).
seq-image
(function).
seq-partition
(function).
seq-position
(function).
seq-reduce
(function).
serial-number
(generic reader).
(setf serial-number)
(generic writer).
set-compare
(function).
set-reduce
(function).
set-transitive-closure
(function).
set-value-size
(function).
simple-program-error
(condition).
split
(function).
string-insert
(function).
string-remove-at
(function).
string-seq-to-set
(function).
string-subseq
(function).
string-subseq-insert
(function).
string-update
(function).
test-2-relations
(function).
test-bag-operations
(function).
test-bounded-sets
(function).
test-champ-maps
(function).
test-champ-sets
(function).
test-cl-generic-sequence-ops
(function).
test-compare-lexicographically
(function).
test-complement-sets
(function).
test-equivalent-sets
(function).
test-functional-deep-update
(function).
test-list-relations
(function).
test-map-operations
(function).
test-misc-0
(function).
test-misc-1
(function).
test-misc-2
(function).
test-misc-3
(function).
test-modify-macros
(function).
test-reader
(function).
test-rereader
(function).
test-seq-operations
(function).
test-set-operations
(function).
test-tuple-operations
(function).
test-type-dispatch-speed
(function).
time-index
(function).
time-seq-iter
(function).
transitive-closure
(generic function).
tuple-contents-ref
(macro).
tuple-desc
(structure).
tuple-desc-key-set
(reader).
(setf tuple-desc-key-set)
(writer).
tuple-desc-lock
(reader).
(setf tuple-desc-lock)
(writer).
tuple-desc-next-desc-map
(reader).
(setf tuple-desc-next-desc-map)
(writer).
tuple-desc-p
(function).
tuple-desc-pairs
(reader).
(setf tuple-desc-pairs)
(writer).
tuple-desc-reorder-map-map
(reader).
(setf tuple-desc-reorder-map-map)
(writer).
tuple-desc-serial-number
(reader).
(setf tuple-desc-serial-number)
(writer).
tuple-get-reorder-map
(function).
tuple-key
(structure).
tuple-key-default-fn
(reader).
(setf tuple-key-default-fn)
(writer).
tuple-key-number
(reader).
(setf tuple-key-number)
(writer).
tuple-key-number-mask
(constant).
tuple-key-number-size
(constant).
tuple-keys
(symbol macro).
tuple-lookup
(function).
tuple-make-reorder-map
(function).
tuple-random-value
(function).
tuple-reorder-frequency
(constant).
tuple-reorder-keys
(function).
tuple-reorder-score-threshold
(special variable).
tuple-value-chunk-bits
(constant).
tuple-value-chunk-size
(constant).
tuple-value-index-size
(constant).
tuple-window-size
(macro).
tuple-with
(function).
vector-ins-1-rem-1
(function).
vector-ins-2-rem-1
(function).
vector-insert
(function).
vector-insert-2
(function).
vector-insert-from-string
(function).
vector-pair-bag-diff
(function).
vector-pair-bag-intersect
(function).
vector-pair-bag-product
(function).
vector-pair-bag-subbag?
(function).
vector-pair-bag-sum
(function).
vector-pair-bag-union
(function).
vector-pair-diff-2
(function).
vector-pair-intersect
(function).
vector-pair-restrict
(function).
vector-pair-restrict-not
(function).
vector-pair-union
(function).
vector-rem-1-ins-1
(function).
vector-rem-2-ins-1
(function).
vector-remove-2-at
(function).
vector-remove-at
(function).
vector-remove-n-at
(function).
vector-seq-to-set
(function).
vector-set-binary-search
(function).
vector-set-binary-search-cfn
(function).
vector-set-binary-search-hi
(function).
vector-set-binary-search-lo
(function).
vector-set-diff
(function).
vector-set-diff-2
(function).
vector-set-disjoint?
(function).
vector-set-intersect
(function).
vector-set-subset?
(function).
vector-set-union
(function).
vector-subseq
(function).
vector-subseq-insert
(function).
vector-update
(function).
vector-update-from-string
(function).
verify
(generic function).
wb-2-relation-map0
(reader).
(setf wb-2-relation-map0)
(writer).
wb-2-relation-map1
(reader).
(setf wb-2-relation-map1)
(writer).
wb-2-relation-size
(reader).
(setf wb-2-relation-size)
(writer).
wb-assertion-db
(structure).
wb-assertion-db-list-rels
(reader).
(setf wb-assertion-db-list-rels)
(writer).
wb-assertion-db?
(function).
wb-bag-contents
(reader).
(setf wb-bag-contents)
(writer).
wb-bag-tree
(type).
wb-bag-tree-arb-pair
(function).
wb-bag-tree-build-node
(function).
wb-bag-tree-compare
(function).
wb-bag-tree-compare-rng
(function).
wb-bag-tree-concat
(function).
wb-bag-tree-diff
(function).
wb-bag-tree-diff-rng
(function).
wb-bag-tree-find-equivalent
(function).
wb-bag-tree-from-list
(function).
wb-bag-tree-greatest-pair
(function).
wb-bag-tree-intersect
(function).
wb-bag-tree-intersect-rng
(function).
wb-bag-tree-iterator-canonicalize
(function).
wb-bag-tree-iterator-done?
(function).
wb-bag-tree-iterator-get
(function).
wb-bag-tree-join
(function).
wb-bag-tree-least-pair
(function).
wb-bag-tree-less
(function).
wb-bag-tree-less-minimum
(function).
wb-bag-tree-minimum-pair
(function).
wb-bag-tree-multiplicity
(function).
wb-bag-tree-node
(structure).
wb-bag-tree-node-count
(reader).
(setf wb-bag-tree-node-count)
(writer).
wb-bag-tree-node-left
(reader).
(setf wb-bag-tree-node-left)
(writer).
wb-bag-tree-node-print
(function).
wb-bag-tree-node-right
(reader).
(setf wb-bag-tree-node-right)
(writer).
wb-bag-tree-node-size
(reader).
(setf wb-bag-tree-node-size)
(writer).
wb-bag-tree-node-total-count
(reader).
(setf wb-bag-tree-node-total-count)
(writer).
wb-bag-tree-node-value
(reader).
(setf wb-bag-tree-node-value)
(writer).
wb-bag-tree-node?
(function).
wb-bag-tree-pair-iterator-canonicalize
(function).
wb-bag-tree-pair-iterator-done?
(function).
wb-bag-tree-pair-iterator-get
(function).
wb-bag-tree-product
(function).
wb-bag-tree-product-rng
(function).
wb-bag-tree-rank
(function).
wb-bag-tree-rank-pair
(function).
wb-bag-tree-rank-pair-internal
(function).
wb-bag-tree-rank-trim
(function).
wb-bag-tree-size
(function).
wb-bag-tree-split
(function).
wb-bag-tree-subbag?
(function).
wb-bag-tree-subbag?-rng
(function).
wb-bag-tree-sum
(function).
wb-bag-tree-sum-rng
(function).
wb-bag-tree-to-set-tree
(function).
wb-bag-tree-total-count
(function).
wb-bag-tree-trim
(function).
wb-bag-tree-union
(function).
wb-bag-tree-union-rng
(function).
wb-bag-tree-vector-pair-sum
(function).
wb-bag-tree-vector-pair-union
(function).
wb-bag-tree-verify
(function).
wb-bag-tree-verify-rng
(function).
wb-bag-tree-with
(function).
wb-bag?
(function).
wb-list-relation-arity
(reader).
(setf wb-list-relation-arity)
(writer).
wb-list-relation-indices
(reader).
(setf wb-list-relation-indices)
(writer).
wb-list-relation-tuples
(reader).
(setf wb-list-relation-tuples)
(writer).
wb-map-contents
(reader).
(setf wb-map-contents)
(writer).
wb-map-default
(function).
(setf wb-map-default)
(function).
wb-map-filter
(function).
wb-map-from-cl-sequence
(function).
wb-map-from-list
(function).
wb-map-image
(function).
wb-map-tree
(type).
wb-map-tree-arb-pair
(function).
wb-map-tree-build-node
(function).
wb-map-tree-compare
(function).
wb-map-tree-compare-rng
(function).
wb-map-tree-compose
(function).
wb-map-tree-concat
(function).
wb-map-tree-concat-maybe
(function).
wb-map-tree-diff-2
(function).
wb-map-tree-diff-2-rng
(function).
wb-map-tree-domain
(function).
wb-map-tree-find-equivalent
(function).
wb-map-tree-greatest-pair
(function).
wb-map-tree-intersect
(function).
wb-map-tree-intersect-rng
(function).
wb-map-tree-iterator-canonicalize
(function).
wb-map-tree-iterator-done?
(function).
wb-map-tree-iterator-get
(function).
wb-map-tree-join
(function).
wb-map-tree-least-pair
(function).
wb-map-tree-less
(function).
wb-map-tree-less-minimum
(function).
wb-map-tree-lookup
(function).
wb-map-tree-minimum-pair
(function).
wb-map-tree-node
(structure).
wb-map-tree-node-key
(reader).
(setf wb-map-tree-node-key)
(writer).
wb-map-tree-node-left
(reader).
(setf wb-map-tree-node-left)
(writer).
wb-map-tree-node-print
(function).
wb-map-tree-node-right
(reader).
(setf wb-map-tree-node-right)
(writer).
wb-map-tree-node-size
(reader).
(setf wb-map-tree-node-size)
(writer).
wb-map-tree-node-value
(reader).
(setf wb-map-tree-node-value)
(writer).
wb-map-tree-node?
(function).
wb-map-tree-rank
(function).
wb-map-tree-rank-pair
(function).
wb-map-tree-rank-pair-internal
(function).
wb-map-tree-rank-trim
(function).
wb-map-tree-restrict
(function).
wb-map-tree-restrict-not
(function).
wb-map-tree-restrict-not-rng
(function).
wb-map-tree-restrict-rng
(function).
wb-map-tree-size
(function).
wb-map-tree-split
(function).
wb-map-tree-trim
(function).
wb-map-tree-union
(function).
wb-map-tree-union-rng
(function).
wb-map-tree-vector-pair-union
(function).
wb-map-tree-verify
(function).
wb-map-tree-verify-rng
(function).
wb-map-tree-with
(function).
wb-map?
(function).
wb-replay-map-contents
(reader).
(setf wb-replay-map-contents)
(writer).
wb-replay-map-default
(function).
(setf wb-replay-map-default)
(function).
wb-replay-map-ordering
(reader).
(setf wb-replay-map-ordering)
(writer).
wb-replay-set-contents
(reader).
(setf wb-replay-set-contents)
(writer).
wb-replay-set-ordering
(reader).
(setf wb-replay-set-ordering)
(writer).
wb-seq-contents
(reader).
(setf wb-seq-contents)
(writer).
wb-seq-default
(function).
(setf wb-seq-default)
(function).
wb-seq-tree
(type).
wb-seq-tree-append
(function).
wb-seq-tree-build-node
(function).
wb-seq-tree-compare
(function).
wb-seq-tree-compare-lexicographically
(function).
wb-seq-tree-compare-rng
(function).
wb-seq-tree-concat
(function).
wb-seq-tree-from-list
(function).
wb-seq-tree-from-vector
(function).
wb-seq-tree-insert
(function).
wb-seq-tree-iterator-canonicalize
(function).
wb-seq-tree-iterator-done?
(function).
wb-seq-tree-iterator-get
(function).
wb-seq-tree-node
(structure).
wb-seq-tree-node-left
(reader).
(setf wb-seq-tree-node-left)
(writer).
wb-seq-tree-node-print
(function).
wb-seq-tree-node-right
(reader).
(setf wb-seq-tree-node-right)
(writer).
wb-seq-tree-node-size
(reader).
(setf wb-seq-tree-node-size)
(writer).
wb-seq-tree-node?
(function).
wb-seq-tree-remove
(function).
wb-seq-tree-reverse
(function).
wb-seq-tree-size
(function).
wb-seq-tree-subscript
(function).
wb-seq-tree-subseq
(function).
wb-seq-tree-to-list
(function).
wb-seq-tree-to-set-tree
(function).
wb-seq-tree-to-string
(function).
wb-seq-tree-to-vector
(function).
wb-seq-tree-trim
(function).
wb-seq-tree-verify
(function).
wb-seq-tree-with
(function).
wb-seq?
(function).
wb-set-contents
(reader).
(setf wb-set-contents)
(writer).
wb-set-filter
(function).
wb-set-image
(function).
wb-set-partition
(function).
wb-set-tree
(type).
wb-set-tree-arb
(function).
wb-set-tree-build-node
(function).
wb-set-tree-compare
(function).
wb-set-tree-compare-rng
(function).
wb-set-tree-concat
(function).
wb-set-tree-diff
(function).
wb-set-tree-diff-2
(function).
wb-set-tree-diff-2-rng
(function).
wb-set-tree-diff-rng
(function).
wb-set-tree-disjoint?
(function).
wb-set-tree-disjoint?-rng
(function).
wb-set-tree-find-equal
(function).
wb-set-tree-find-equivalent
(function).
wb-set-tree-find-rank
(function).
wb-set-tree-from-cl-sequence
(function).
wb-set-tree-from-list
(function).
wb-set-tree-greatest
(function).
wb-set-tree-intersect
(function).
wb-set-tree-intersect-rng
(function).
wb-set-tree-iterator-canonicalize
(function).
wb-set-tree-iterator-done?
(function).
wb-set-tree-iterator-get
(function).
wb-set-tree-join
(function).
wb-set-tree-least
(function).
wb-set-tree-less
(function).
wb-set-tree-less-minimum
(function).
wb-set-tree-member?
(function).
wb-set-tree-member?-cfn
(function).
wb-set-tree-minimum-value
(function).
wb-set-tree-node
(structure).
wb-set-tree-node-left
(reader).
(setf wb-set-tree-node-left)
(writer).
wb-set-tree-node-print
(function).
wb-set-tree-node-right
(reader).
(setf wb-set-tree-node-right)
(writer).
wb-set-tree-node-size
(reader).
(setf wb-set-tree-node-size)
(writer).
wb-set-tree-node-value
(reader).
(setf wb-set-tree-node-value)
(writer).
wb-set-tree-node?
(function).
wb-set-tree-rank
(function).
wb-set-tree-rank-element
(function).
wb-set-tree-rank-element-internal
(function).
wb-set-tree-rank-trim
(function).
wb-set-tree-size
(function).
wb-set-tree-split
(function).
wb-set-tree-split-above
(function).
wb-set-tree-split-below
(function).
wb-set-tree-subset?
(function).
wb-set-tree-subset?-rng
(function).
wb-set-tree-to-bag-tree
(function).
wb-set-tree-trim
(function).
wb-set-tree-union
(function).
wb-set-tree-union-rng
(function).
wb-set-tree-vector-union
(function).
wb-set-tree-verify
(function).
wb-set-tree-verify-rng
(function).
wb-set-tree-with
(function).
wb-set?
(function).
wb-tree-balance-factor
(constant).
wb-tree-max-depth
(function).
wb-tree-precomputed-max-depths
(constant).
wb-tree-true-max-depth
(function).
while
(macro).
with-interval
(generic function).
with-lock
(macro).
write-memory-barrier
(macro).
xconcat
(function).
ximage
(function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
A copy of the standard readtable with FSet reader macros installed.
fset
.
Constructs a 2-relation of the default implementation according to the supplied
argument subforms. Each argument subform can be a list of the form (‘key-expr’
‘value-expr’), denoting a mapping from the value of ‘key-expr’ to the value of
‘value-expr’; or a list of the form ($ ‘expression’), in which case the
expression must evaluate to a 2-relation, all of whose mappings will be
included in the result. Also, each of ’key-expr’ and ’value-expr’ can be of the
form ($ ‘expression’), in which case the expression must evaluate to a set, and
the elements of the set are used individually to form pairs; for example, the
result of
(2-relation (($ (set 1 2)) ($ (set ’a ’b))))
contains the pairs <1, a>, <1, b>, <2, a>, and <2, b>.
fset
.
A little hack with two purposes: (1) to make it easy to make FSet maps behave like Lisp functions in certain contexts; and (2) to somewhat lessen the pain of writing higher-order code in a two-namespace Lisp like Common Lisp. The idea is that you can write ‘(@ fn arg)’, and if ‘fn’ is a Lisp function, it will be funcalled on the argument; otherwise ‘lookup’ (q.v.) will be called on ‘fn’ and ‘arg’. To allow for ‘@’ to be used in more contexts, it actually can take any number of ‘args’, though ‘lookup’ always takes exactly two. Thus you can write ‘(@ fn arg1 arg2 ...)’ when you just want a shorter name for ‘funcall’. As a matter of style, it is suggested that ‘@’ be used only for side-effect-free functions. Also, though this doc string has spoken only of FSet maps, ‘@’ can be used with any type that ‘lookup’ works on. Can be used with ‘setf’, but only on collections, not functions, of course.
fset
.
(adjoinf coll . args) –> (setf coll (with coll . args))
fset
.
Constructs a bag of the default implementation according to the supplied
argument subforms. Each argument subform can be an expression, whose value
will be added to the bag with multiplicity 1; or a list of the form
($ ‘expression’), in which case the expression must evaluate to a bag (or a
set), which is bag-summed into the result; or a list of the form
(% ‘expression1’ ‘expression2’) (called a "multi-arg"), which indicates that
the value of ‘expression1’ is bag-summed into the result with multiplicity
given by the value of ‘expression2’. That is, the multiplicity of each member
of the result bag is the sum of its multiplicities as supplied by each of the
argument subforms.
fset
.
Constructs a ch-map according to the supplied argument subforms. Each argument subform can be a list of the form (‘key-expr’ ‘value-expr’), denoting a mapping from the value of ‘key-expr’ to the value of ‘value-expr’; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a map, denoting all its mappings; or the symbol ‘:default’, in which case the next argument subform is a form whose value will become the map’s default. The result is constructed from the denoted mappings in left-to-right order; so if a given key is supplied by more than one argument subform, its associated value will be given by the rightmost such subform.
fset
.
Constructs a ch-set according to the supplied argument subforms. Each argument subform can be an expression, whose value will be a member of the result set; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a set, all of whose members become members of the result set.
fset
.
A handy macro for writing the bodies of ‘compare’ methods for user classes.
Returns the result of comparing the two objects by comparing the results of
calling each of ‘accessors’, in order, on the objects. Despite the name, an
accessor can actually be any function on the class in question; it can also
be a symbol, which will be used to access the slot via ‘slot-value’. For
example, if class ‘frob’ has accessor ‘frob-foo’ and slot ‘bar’:
(defmethod compare ((f1 frob) (f2 frob))
(compare-slots f1 f2 #’frob-foo ’bar))
If the symbol ‘:eql’ is supplied as the last accessor, then if the comparisons by the other supplied accessors all return ‘:equal’ but ‘obj1’ and ‘obj2’ are not eql, this returns ‘:unequal’.
fset
.
A handy macro for writing the bodies of ‘compare’ methods for user classes,
in the case when you know the comparison will never need to return ‘:unequal’
(a case handled correctly by ‘compare-slots’, but with a slight time cost).
Returns the result of comparing the two objects by comparing the results of
calling each of ‘accessors’, in order, on the objects, using a nested call to
‘compare’. Despite the name, an accessor can actually be any function on the
class in question; it can also be a symbol, which will be used to access the
slot via ‘slot-value’. For example, if class ‘frob’ has accessor ‘frob-foo’ and
slot ‘bar’:
(defmethod compare ((f1 frob) (f2 frob))
(compare-slots-no-unequal f1 f2 #’frob-foo ’bar))
Additionally, an accessor can be a list of the form ‘(:compare acc less-fn)’, in
which ‘acc‘ is an accessor as defined above, and ‘less-fn’ is a function to be
used to compare the two values, returning true iff the first is less than the
second. This feature allows you to avoid the nested call to ‘compare’. For
example, if your objects have an ‘id’ slot that holds a unique integer:
(defmethod compare ((f1 frob) (f2 frob))
(compare-slots-no-unequal f1 f2 (:compare ’id #’<))
fset
.
Deprecated; use ‘define-tuple-key’.
fset
.
A handy macro for generating ‘compare’ and ‘hash’ methods for user classes.
The comparison or hashing is done by comparing or hashing the results of
calling each of ‘slots/accessors’, in order, on the object(s). For best
performance (at least on SBCL), it is recommended to supply slot names as
symbols for standard classes – these will turn into ‘slot-value’ forms –
but accessor names as functions (e.g. "#’point-x") for structure classes.
Arbitrary functions on the class may also be supplied.
If the symbol ‘:eql’ is supplied as the last accessor, then if the comparisons by the other supplied accessors all return ‘:equal’ but ‘obj1’ and ‘obj2’ are not eql, the generated ‘compare’ method returns ‘:unequal’.
Generates cross-type comparison methods for ‘type’ against the types on which the macro has previously been invoked. This macro is intended to be invoked at the top level of a source file. You should make sure that calls to this macro are always compiled in the same order; if you don’t, you could possibly get a "master type ordering out of sync" error, at which point you should delete all your fasls, restart your Lisp session, and recompile. However, the implementation tries very hard to prevent this.
fset
.
Defines a tuple key named ‘name’ as a global lexical variable (see ‘deflex’). If ‘default-fn’ is supplied, it is used to compute a value for lookups where the tuple has no explicit pair with this key; it is called with one argument, the tuple. To supply a doc string without a default-fn, supply ‘nil’ for ‘default-fn’.
fset
.
Enumerates all pairs of the relation ‘br’, binding them successively to ‘key’ and ‘val’ and executing ‘body’.
fset
.
For each member of ‘bag’, binds ‘value-var’ to it and and executes ‘body’ a number of times equal to the member’s multiplicity. When done, returns ‘value’.
fset
.
For each member of ‘bag’, binds ‘value-var’ and ‘mult-var’ to the member and its multiplicity respectively, and executes ‘body’. When done, returns ‘value’.
fset
.
For each pair of ‘map’, binds ‘key-var’ and ‘value-var’ and executes ‘body’. When done, returns ‘value’.
fset
.
For each pair of ‘map’, binds ‘key-var’ and executes ‘body’. When done, returns ‘value’.
fset
.
For each element of ‘seq’, possibly restricted by ‘start’ and ‘end’, and in reverse order if ‘from-end?’ is true, binds ‘var’ to it and executes ‘body’. If ‘index’ is supplied, it names a variable that will be bound at each iteration to the index of the current element of ‘seq’. When done, returns ‘value’.
fset
.
For each member of ‘set’, binds ‘var’ to it and executes ‘body’. When done, returns ‘value’.
fset
.
For each pair of ‘tuple’, binds ‘key-var’ and ‘value-var’ and executes ‘body’. When done, returns ‘value’.
fset
.
Constructs a dyn-tuple according to the supplied argument subforms. Each argument subform can be a list of the form (‘key-expr’ ‘value-expr’), denoting a mapping from the value of ‘key-expr’ to the value of ‘value-expr’; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a tuple, denoting all its mappings. The result is constructed from the denoted mappings in left-to-right order; so if a given key is supplied by more than one argument subform, its associated value will be given by the rightmost such subform.
fset
.
(excludef coll . args) –> (setf coll (less coll . args))
fset
.
(includef coll . args) –> (setf coll (with coll . args))
fset
.
Constructs a map of the default implementation according to the supplied argument subforms. Each argument subform can be a list of the form (‘key-expr’ ‘value-expr’), denoting a mapping from the value of ‘key-expr’ to the value of ‘value-expr’; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a map, denoting all its mappings; or the symbol ‘:default’, in which case the next argument subform is a form whose value will become the map’s default. The result is constructed from the denoted mappings in left-to-right order; so if a given key is supplied by more than one argument subform, its associated value will be given by the rightmost such subform.
fset
.
(push-first seq val) –> (setf seq (with-first seq val))
fset
.
(push-last seq val) –> (setf seq (with-last seq val))
fset
.
(removef coll . args) –> (setf coll (less coll . args))
fset
.
Constructs a replay-map of the default implementation according to the supplied argument subforms. Each argument subform can be a list of the form (‘key-expr’ ‘value-expr’), denoting a mapping from the value of ‘key-expr’ to the value of ‘value-expr’; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a map, denoting all its mappings; or the symbol ‘:default’, in which case the next argument subform is a form whose value will become the map’s default. The result is constructed from the denoted mappings in left-to-right order; so if a given key is supplied by more than one argument subform, its associated value will be given by the rightmost such subform.
fset
.
Constructs a replay-set of the default implementation according to the supplied argument subforms. Each argument subform can be an expression, whose value will be a member of the result set; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a set, all of whose members become members of the result set.
fset
.
Constructs a seq of the default implementation according to the supplied argument subforms. Each argument subform can be an expression whose value is to appear in the sequence; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a sequence, all of whose values appear in the result sequence. The order of the result sequence reflects the order of the argument subforms.
fset
.
Constructs a set of the default implementation according to the supplied argument subforms. Each argument subform can be an expression, whose value will be a member of the result set; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a set, all of whose members become members of the result set.
fset
.
Constructs a tuple of the default implementation according to the supplied argument subforms. Each argument subform can be a list of the form (‘key-expr’ ‘value-expr’), denoting a mapping from the value of ‘key-expr’ to the value of ‘value-expr’; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a tuple, denoting all its mappings. The result is constructed from the denoted mappings in left-to-right order; so if a given key is supplied by more than one argument subform, its associated value will be given by the rightmost such subform.
fset
.
Constructs a wb-2-relation according to the supplied argument subforms.
Each argument subform can be a list of the form (‘key-expr’ ‘value-expr’),
denoting a mapping from the value of ‘key-expr’ to the value of ‘value-expr’;
or a list of the form ($ ‘expression’), in which case the expression must
evaluate to a 2-relation, all of whose mappings will be included in the
result. Also, each of ’key-expr’ and ’value-expr’ can be of the
form ($ ‘expression’), in which case the expression must evaluate to a set, and
the elements of the set are used individually to form pairs; for example, the
result of
(wb-2-relation (($ (set 1 2)) ($ (set ’a ’b))))
contains the pairs <1, a>, <1, b>, <2, a>, and <2, b>.
fset
.
Constructs a wb-bag according to the supplied argument subforms. Each argument subform can be an expression, whose value will be added to the bag with multiplicity 1; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a bag (or a set), which is bag-summed into the result; or a list of the form (% ‘expression1’ ‘expression2’) (called a "multi-arg"), which indicates that the value of ‘expression1’ is bag-summed into the result with multiplicity given by the value of ‘expression2’. That is, the multiplicity of each member of the result bag is the sum of its multiplicities as supplied by each of the argument subforms.
fset
.
Constructs a wb-map according to the supplied argument subforms. Each argument subform can be a list of the form (‘key-expr’ ‘value-expr’), denoting a mapping from the value of ‘key-expr’ to the value of ‘value-expr’; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a map, denoting all its mappings; or the symbol ‘:default’, in which case the next argument subform is a form whose value will become the map’s default. The result is constructed from the denoted mappings in left-to-right order; so if a given key is supplied by more than one argument subform, its associated value will be given by the rightmost such subform.
fset
.
Constructs a wb-replay-map according to the supplied argument subforms. Each argument subform can be a list of the form (‘key-expr’ ‘value-expr’), denoting a mapping from the value of ‘key-expr’ to the value of ‘value-expr’; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a map, denoting all its mappings; or the symbol ‘:default’, in which case the next argument subform is a form whose value will become the map’s default. The result is constructed from the denoted mappings in left-to-right order; so if a given key is supplied by more than one argument subform, its associated value will be given by the rightmost such subform.
fset
.
Constructs a wb-replay-set according to the supplied argument subforms. Each argument subform can be an expression, whose value will be a member of the result set; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a set, all of whose members become members of the result set.
fset
.
Constructs a wb-seq according to the supplied argument subforms. Each argument subform can be an expression whose value is to appear in the sequence; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a sequence, all of whose values appear in the result sequence. The order of the result sequence reflects the order of the argument subforms.
fset
.
Constructs a wb-set according to the supplied argument subforms. Each argument subform can be an expression, whose value will be a member of the result set; or a list of the form ($ ‘expression’), in which case the expression must evaluate to a set, all of whose members become members of the result set.
fset
.
Adds a pair to a map or updates an existing pair, or adds an element to a sequence or updates an existing element. This does NOT modify the map or sequence; it modifies the place (generalized variable) HOLDING the map or sequence (just like ‘(setf (ldb ...) ...)’). That is, the ‘collection’ subform must be ‘setf’able itself.
Adds a pair to a map or updates an existing pair, or adds an element to a sequence or updates an existing element. This does NOT modify the map or sequence; it modifies the place (generalized variable) HOLDING the map or sequence (just like ‘(setf (ldb ...) ...)’). That is, the ‘collection’ subform must be ‘setf’able itself.
Returns an empty bag of the default implementation.
We allow the arity to be temporarily unspecified; it will be taken from the first tuple added.
fset
.
Returns an empty map of the default implementation.
Returns an empty seq of the default implementation.
Returns an empty set of the default implementation.
Returns an empty tuple of the default implementation.
fset
.
We allow the arity to be temporarily unspecified; it will be taken from the first tuple added.
fset
.
Returns an empty wb-map.
FSet generic version of ‘cl:every’.
Adds FSet reader macros to ‘readtable’. Returns ‘readtable’.
fset
.
Finds or creates a tuple key named ‘name’. If the key did not already exist, and ‘default-fn’ is supplied, it is used to compute a value for lookups where the tuple has no explicit pair with this key; it is called with one argument, the tuple.
fset
.
Another name for the ‘car’ operation on lists.
Returns the last cons of ‘list’. This is a renaming of the CL function ‘last’.
fset
.
Returns true iff ‘x’ is a member of the set or bag. Stylistically, ‘contains?’ is preferred over ‘member?’.
Returns true iff the collection is not empty.
FSet generic version of ‘cl:notany’.
FSet generic version of ‘cl:notevery’.
Returns true iff ‘sub’ is a proper subbag of ‘super’, that is, for every member of ‘sub’, ‘super’ contains the same value with at least the same multiplicity, but the two bags are not equal.
Returns true iff ‘sub’ is a proper subset of ‘super’, that is, ‘sub’ is a subset of ‘super’ and the two are not equal.
FSet generic version of ‘cl:some’.
Another name for the ‘cdr’ operation on lists.
Returns a new version of ‘coll’ in which the element reached by doing chained
‘lookup’s on ‘keys’ is updated by ‘fn’. An example will help a lot here:
instead of writing
(incf (@ (@ (@ foo ’a) 3) 7))
you can write, equivalently
(setq foo (update #’1+ foo ’a 3 7))
This is perhaps most useful in contexts where you don’t want to do the ‘setq’ anyway. ‘fn’ can be a function object, an fbound symbol, or a map.
fset
.
query-registry
)) ¶Returns an arbitrary member or pair of a set, bag, or map. Specifically, on a nonempty set, returns two values, an arbitrary member of the set and true; on a nonempty bag, returns an arbitrary member, its multiplicity, and true; on a nonempty map, returns an arbitrary domain member, its associated value, and true. On an empty set, bag, or map, returns false for all values. Please note that "arbitrary" does not mean "randomly selected"; it simply means that the sole postcondition is that the returned value or pair is a member of the collection.
fset
.
bounded-set
)) ¶complement-set
)) ¶wb-list-relation
)) ¶wb-2-relation
)) ¶wb-replay-map
)) ¶wb-replay-set
)) ¶Returns the arity of the relation ‘rel’.
fset
.
wb-list-relation
)) ¶Will return ‘nil’ if the arity is not yet specified; see ‘empty-list-relation’.
2-relation
)) ¶On a set, returns the element with rank ‘rank’; on a bag, returns
that element with its multiplicity as a second value; on a map, returns
the pair with that rank as two values. Note that if there are values/keys
that are unequal but equivalent in the collection, an arbitrary order will be
imposed on them for this purpose; but another collection that is ‘equal?’
but not ‘eq’ to this one will in general order them differently.
Returns a bag whose multiplicity, for any value, is its multiplicity in ‘bag1’ less that in ‘bag2’, but of course not less than zero.
Returns a bag whose multiplicity, for any value, is the product of its multiplicities in the two argument bags.
Returns a bag whose multiplicity, for any value, is the sum of its multiplicities in the two argument bags.
Returns one of ‘:less’, ‘:greater’, ‘:equal’, or ‘:unequal’ according as ‘x’ is less than, greater than, or equal to ‘y’, or none of these. While the ordering does not have to be total, it must be consistent: for two values A and B that compare ‘:unequal’ to each other, for any third value C, if A compares ‘:less’ or ‘:greater’ to C, then B must compare to C the same way; and no more than one of A and B can compare ‘:equal’ to C.
fset
.
set
) (bs bounded-set
)) ¶bounded-set
) (s set
)) ¶bounded-set
) (bs2 bounded-set
)) ¶set
) (cs complement-set
)) ¶complement-set
) (s set
)) ¶complement-set
) (cs2 complement-set
)) ¶wb-2-relation
) (b wb-2-relation
)) ¶relation
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b relation
)) ¶my-integer
) (y my-integer
)) ¶tuple-desc
) (y tuple-desc
)) ¶wb-replay-set
) (b wb-replay-set
)) ¶equivalent-map
) (eqvm2 equivalent-map
)) ¶Returns ‘:less’ or ‘:greater’ if the domain values in ‘eqvm1’ are less than resp. greater than those in ‘eqvm2’; or EITHER ‘:equal’ or ‘:unequal’ if those in ‘eqvm1’ are equivalent to those in ‘eqvm2’.
equivalent-map
) key) ¶Returns ‘:less’ or ‘:greater’ if the domain values in ‘eqvm’ are less than resp. greater than ‘key’; or EITHER ‘:equal’ or ‘:unequal’ if ‘key’ is equivalent to any domain value in ‘eqvm’.
equivalent-map
)) ¶Returns ‘:less’ or ‘:greater’ if ‘key’ is less than resp. greater than the domain values in ‘eqvm’; or EITHER ‘:equal’ or ‘:unequal’ if ‘x’ is equivalent to any domain value in ‘eqvm’.
equivalent-bag
) (eqvs2 equivalent-bag
)) ¶Returns ‘:less’ or ‘:greater’ if the values in ‘eqvs1’ are less than resp. greater than those in ‘eqvs2’; returns EITHER ‘:equal’ or ‘:unequal’ if those in ‘eqvs1’ are equivalent to those in ‘eqvs2’.
equivalent-bag
) x) ¶Returns ‘:less’ or ‘:greater’ if the values in ‘eqvs’ are less than resp. greater than ‘x’; or EITHER ‘:equal’ or ‘:unequal’ if ‘x’ is equivalent to any value in ‘eqvs’.
equivalent-bag
)) ¶Returns ‘:less’ or ‘:greater’ if ‘x’ is less than resp. greater than the values in ‘eqvs’; or EITHER ‘:equal’ or ‘:unequal’ if ‘x’ is equivalent to any value in ‘eqvs’.
equivalent-set
) (eqvs2 equivalent-set
)) ¶Returns ‘:less’ or ‘:greater’ if the values in ‘eqvs1’ are less than resp. greater than those in ‘eqvs2’; returns EITHER ‘:equal’ or ‘:unequal’ if those in ‘eqvs1’ are equivalent to those in ‘eqvs2’.
equivalent-set
) x) ¶Returns ‘:less’ or ‘:greater’ if the values in ‘eqvs’ are less than resp. greater than ‘x’; or EITHER ‘:equal’ or ‘:unequal’ if ‘x’ is equivalent to any value in ‘eqvs’.
equivalent-set
)) ¶Returns ‘:less’ or ‘:greater’ if ‘x’ is less than resp. greater than the values in ‘eqvs’; or EITHER ‘:equal’ or ‘:unequal’ if ‘x’ is equivalent to any value in ‘eqvs’.
pathname
) (b pathname
)) ¶package
) (b package
)) ¶list
) (b list
)) ¶vector
) (b vector
)) ¶string
) (b string
)) ¶symbol
) (b symbol
)) ¶character
) (b character
)) ¶complex
) (b complex
)) ¶real
) (b real
)) ¶null
) (b null
)) ¶identity-ordering-mixin
) (b null
)) ¶null
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b real
)) ¶real
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b complex
)) ¶complex
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b character
)) ¶character
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b symbol
)) ¶symbol
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b string
)) ¶string
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b vector
)) ¶vector
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b list
)) ¶list
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b package
)) ¶package
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b pathname
)) ¶pathname
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b set
)) ¶set
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b bag
)) ¶bag
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b map
)) ¶map
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b seq
)) ¶seq
) (b identity-ordering-mixin
)) ¶identity-ordering-mixin
) (b tuple
)) ¶tuple
) (b identity-ordering-mixin
)) ¶pathname
) (b null
)) ¶null
) (b pathname
)) ¶pathname
) (b real
)) ¶real
) (b pathname
)) ¶pathname
) (b complex
)) ¶complex
) (b pathname
)) ¶pathname
) (b character
)) ¶character
) (b pathname
)) ¶pathname
) (b symbol
)) ¶symbol
) (b pathname
)) ¶pathname
) (b string
)) ¶string
) (b pathname
)) ¶pathname
) (b vector
)) ¶vector
) (b pathname
)) ¶pathname
) (b list
)) ¶list
) (b pathname
)) ¶pathname
) (b package
)) ¶package
) (b pathname
)) ¶package
) (b null
)) ¶null
) (b package
)) ¶package
) (b real
)) ¶real
) (b package
)) ¶package
) (b complex
)) ¶complex
) (b package
)) ¶package
) (b character
)) ¶character
) (b package
)) ¶package
) (b symbol
)) ¶symbol
) (b package
)) ¶package
) (b string
)) ¶string
) (b package
)) ¶package
) (b vector
)) ¶vector
) (b package
)) ¶package
) (b list
)) ¶list
) (b package
)) ¶list
) (b null
)) ¶null
) (b list
)) ¶list
) (b real
)) ¶real
) (b list
)) ¶list
) (b complex
)) ¶complex
) (b list
)) ¶list
) (b character
)) ¶character
) (b list
)) ¶list
) (b symbol
)) ¶symbol
) (b list
)) ¶list
) (b string
)) ¶string
) (b list
)) ¶list
) (b vector
)) ¶vector
) (b list
)) ¶vector
) (b null
)) ¶null
) (b vector
)) ¶vector
) (b real
)) ¶real
) (b vector
)) ¶vector
) (b complex
)) ¶complex
) (b vector
)) ¶vector
) (b character
)) ¶character
) (b vector
)) ¶vector
) (b symbol
)) ¶symbol
) (b vector
)) ¶vector
) (b string
)) ¶string
) (b vector
)) ¶string
) (b null
)) ¶null
) (b string
)) ¶string
) (b real
)) ¶real
) (b string
)) ¶string
) (b complex
)) ¶complex
) (b string
)) ¶string
) (b character
)) ¶character
) (b string
)) ¶string
) (b symbol
)) ¶symbol
) (b string
)) ¶symbol
) (b null
)) ¶null
) (b symbol
)) ¶symbol
) (b real
)) ¶real
) (b symbol
)) ¶symbol
) (b complex
)) ¶complex
) (b symbol
)) ¶symbol
) (b character
)) ¶character
) (b symbol
)) ¶character
) (b null
)) ¶null
) (b character
)) ¶character
) (b real
)) ¶real
) (b character
)) ¶character
) (b complex
)) ¶complex
) (b character
)) ¶complex
) (b null
)) ¶null
) (b complex
)) ¶complex
) (b real
)) ¶real
) (b complex
)) ¶real
) (b null
)) ¶null
) (b real
)) ¶identity-ordering-mixin
) (obj2 identity-ordering-mixin
)) ¶Returns the result of a lexicographic comparison of ‘a’ and ‘b’, which can be strings, vectors, lists, or seqs.
Returns the complement of the set.
fset
.
bounded-set
)) ¶complement-set
)) ¶function
)) ¶Returns a new map with the same domain as ‘map1’, which maps each member of that domain to the result of applying first ‘map1’ to it, then applying ‘map2-or-fn’ to the result. ‘map2-or-fn’ can also be a sequence, which is treated as a map from indices to members.
fset
.
wb-2-relation
) (rel2 wb-2-relation
)) ¶wb-2-relation
) (fn seq
)) ¶wb-2-relation
) (fn map
)) ¶wb-2-relation
) (fn symbol
)) ¶wb-2-relation
) (fn function
)) ¶Returns the concatenation of ‘seq1’ with each of ‘seqs’.
Returns a 2-relation containing only those pairs of ‘2-relation’ whose domain value is mapped to multiple range values.
fset
.
wb-2-relation
)) ¶Returns true iff the set or bag contains ‘x’, or the map or relation contains the pair <x, y>.
fset
.
bounded-set
) x &optional arg2) ¶complement-set
) x &optional y) ¶wb-list-relation
) tuple &optional arg2) ¶wb-2-relation
) x &optional y) ¶wb-replay-set
) x &optional y) ¶list
) x &optional y) ¶Converts the collection to the specified type. Some methods may
take additional keyword arguments to further specify the kind of conversion.
fset
.
(eql fset:wb-set)
) (bs bounded-set
) &key) ¶(eql fset:map-to-sets)
) (br wb-2-relation
) &key) ¶This conversion returns a map mapping each domain value to the set of corresponding range values.
(eql fset:wb-map)
) (br wb-2-relation
) &key) ¶This conversion requires the relation to be functional, and returns a map representing the function; that is, the relation must map each domain value to a single range value, and the returned map maps that domain value to that range value.
(eql fset:map)
) (br wb-2-relation
) &key) ¶This conversion requires the relation to be functional, and returns a map representing the function; that is, the relation must map each domain value to a single range value, and the returned map maps that domain value to that range value.
(eql fset:wb-2-relation)
) (alist list
) &key key-fn value-fn) ¶(eql fset:2-relation)
) (alist list
) &key key-fn value-fn) ¶(eql fset:wb-2-relation)
) (m map
) &key from-type) ¶If ‘from-type’ is the symbol ‘map-to-sets’, the range elements must all be sets, and the result pairs each domain element with each member of the corresponding range set. Otherwise, the result pairs each domain element with the corresponding range element directly.
(eql fset:2-relation)
) (m map
) &key from-type) ¶If ‘from-type’ is the symbol ‘map-to-sets’, the range elements must all be sets, and the result pairs each domain element with each member of the corresponding range set. Otherwise, the result pairs each domain element with the corresponding range element directly.
(eql fset:set)
) (br 2-relation
) &key pair-fn) ¶(eql fset:wb-2-relation)
) (br wb-2-relation
) &key) ¶(eql fset:2-relation)
) (br 2-relation
) &key) ¶(eql fset:dyn-tuple)
) (list list
) &key key-fn value-fn) ¶(eql fset:tuple)
) (list list
) &key key-fn value-fn) ¶(eql fset:wb-map)
) (m wb-replay-map
) &key) ¶(eql fset:map)
) (m wb-replay-map
) &key) ¶(eql fset:wb-replay-set)
) (s wb-replay-set
) &key) ¶(eql fset:replay-set)
) (s wb-replay-set
) &key) ¶(eql fset:wb-set)
) (s wb-replay-set
) &key) ¶(eql fset:set)
) (s wb-replay-set
) &key) ¶(eql fset:wb-seq)
) (s wb-replay-set
) &key) ¶(eql fset:seq)
) (s wb-replay-set
) &key) ¶(eql fset:wb-seq)
) (l list
) &key) ¶(eql fset:seq)
) (l list
) &key) ¶(eql fset:wb-seq)
) (vec vector
) &key) ¶(eql fset:seq)
) (vec vector
) &key) ¶(eql hash-table)
) (m map
) &rest make-hash-table-args &key &allow-other-keys) ¶(eql fset:wb-map)
) (ht hash-table
) &key) ¶(eql fset:map)
) (ht hash-table
) &key) ¶(eql fset:wb-map)
) (s sequence
) &key key-fn value-fn) ¶(eql fset:map)
) (s sequence
) &key key-fn value-fn) ¶(eql fset:wb-map)
) (list list
) &key key-fn value-fn) ¶(eql fset:map)
) (list list
) &key key-fn value-fn) ¶(eql fset:wb-bag)
) (s sequence
) &key) ¶(eql fset:bag)
) (s sequence
) &key) ¶(eql fset:wb-bag)
) (l list
) &key from-type) ¶If ‘from-type’ is the symbol ‘alist’, treats the operand as an alist where the cdr of each pair (which must be a positive integer) is the member count for the car. Otherwise the operand is treated as a simple list of members, some of which may be repeated.
(eql fset:bag)
) (l list
) &key from-type) ¶If ‘from-type’ is the symbol ‘alist’, treats the operand as an alist where the cdr of each pair (which must be a positive integer) is the member count for the car. Otherwise the operand is treated as a simple list of members, some of which may be repeated.
(eql fset:ch-set)
) (l list
) &key) ¶(eql fset:wb-set)
) (s sequence
) &key) ¶(eql fset:set)
) (s sequence
) &key) ¶(eql fset:wb-set)
) (l list
) &key) ¶(eql fset:set)
) (l list
) &key) ¶(eql vector)
) (v vector
) &key) ¶(eql list)
) (ls list
) &key) ¶If ‘collection’ is a Lisp sequence, this simply calls ‘cl:count’. On an FSet collection, the default for ‘test’ is ‘equal?’; the ‘:test-not’ keyword is not accepted; and the ‘:start’, ‘:end’, and ‘:from-end’ keywords are accepted only if ‘collection’ is a seq. Also, on a map, this scans the domain.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:count-if’. On an FSet collection, the ‘:start’, ‘:end’, and ‘:from-end’ keywords are accepted only if ‘collection’ is a seq. Also, on a map, this scans the domain.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:count-if-not’.
On an FSet collection, the ‘:start’, ‘:end’, and ‘:from-end’ keywords are
accepted only if ‘collection’ is a seq. Also, on a map, this scans the domain.
Returns true iff ‘set1’ and ‘set2’ have a null intersection (without actually constructing said intersection).
fset
.
bounded-set
) (bs2 bounded-set
)) ¶set
) (cs complement-set
)) ¶complement-set
) (s set
)) ¶complement-set
) (cs2 complement-set
)) ¶Returns the domain of the map, that is, the set of keys mapped by the map.
fset
.
wb-2-relation
)) ¶wb-replay-map
)) ¶The domain of a replay map is a replay set.
Returns true iff the domain of the map or seq contains ‘x’. (The domain of a seq is the set of valid indices.)
Returns true iff the collection is empty.
fset
.
bounded-set
)) ¶wb-list-relation
)) ¶wb-2-relation
)) ¶interval-set
)) ¶wb-replay-map
)) ¶wb-replay-set
)) ¶sequence
)) ¶list
)) ¶Returns a new collection containing those members or pairs of ‘collection’ for which ‘fn’ returns true. If ‘collection’ is a set, bag, or seq, ‘fn’ is called with one argument; if a map, ‘fn’ is called with two arguments, the key and the value (the map-default of the result is that of ‘collection’). As well as a Lisp function, ‘fn’ can be a map, or a set (which is treated as mapping its members to true and everything else to false).
Just like ‘filter’ except that if invoked on a bag, ‘fn’ (which must be a Lisp function) is called with two arguments for each pair, the member and the multiplicity.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:find’. On an FSet collection, the default for ‘test’ is ‘equal?’; the ‘:test-not’ keyword is not accepted; and the ‘:start’, ‘:end’, and ‘:from-end’ keywords are accepted only if ‘collection’ is a seq. Also, on a map, this scans the domain; on success, it returns the corresponding range element as the second value.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:find-if’. On an FSet collection, the ‘:start’, ‘:end’, and ‘:from-end’ keywords are accepted only if ‘collection’ is a seq. Also, on a map, this scans the domain; on success, it returns the corresponding range element as the second value.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:find-if-not’.
On an FSet collection, the ‘:start’, ‘:end’, and ‘:from-end’ keywords are
accepted only if ‘collection’ is a seq. Also, on a map, this scans the domain;
on success, it returns the corresponding range element as the second value.
Returns the first element of ‘seq’, i.e., element 0. This has a back- compatibility method for lists, and adds one for CL sequences generally.
On a set, returns two values: the greatest member of the set and
true; on a bag, returns three values: the greatest member of the bag, its
multiplicity, and true; on a map, also returns three values: the greatest key
of the map, its value, and true. If there is not a unique greatest member,
chooses one of the greatest members arbitrarily. Returns ‘nil’ if the
collection is empty.
Returns a new collection containing the result of applying ‘fn’ to each member of ‘collection’, which may be a set, bag, or seq. In the bag case, the multiplicity of each member of the result is the sum of the multiplicities of the values that ‘fn’ maps to it. As well as a Lisp function, ‘fn’ can be a map, or a set (which is treated as mapping its members to true and everything else to false). ‘collection’ can also be a map, in which case ‘fn’ must be a Lisp function of two arguments that returns two values (the map-default of the result is that of ‘collection’); also see ‘compose’.
Returns a new sequence like ‘seq’ but with ‘val’ inserted at ‘idx’ (the seq is extended in either direction if needed prior to the insertion; previously uninitialized indices are filled with the seq’s default).
Returns the intersection of the two sets/bags. The result is a bag
if both arguments are bags; otherwise a set. The intersection of two bags
is the bag whose multiplicity, for any value, is the minimum of its
multiplicities in the two argument bags.
fset
.
bounded-set
) (bs2 bounded-set
) &key) ¶set
) (cs complement-set
) &key) ¶complement-set
) (s set
) &key) ¶complement-set
) (cs2 complement-set
) &key) ¶wb-2-relation
) (br2 wb-2-relation
) &key) ¶interval-set
) (s1 interval-set
) &key) ¶wb-replay-set
) (s2 set
) &key) ¶As the parameter types suggest, this is not symmetric: the ordering of the result is that of ‘s1’, filtered by membership in ‘s2’.
list
) (ls2 list
) &rest keyword-args &key test test-not) ¶The inverse of a binary relation.
fset
.
wb-2-relation
)) ¶Returns an iterator for the collection. (These are stateful iterators and
are not thread-safe; if you want a pure iterator, your best bet is to ‘convert’
the collection to a list.) The iterator is a closure of one argument; given
‘:done?’, it returns true iff the iterator is exhausted; given ‘:more?’, it
returns true iff the iterator is _not_ exhausted. Given ‘:get’, if the iterator
is not exhausted, it returns the next element (or pair, for a map, as two values),
with the second value (third, for a map) being true, and advances one element; if
it is exhausted, it returns two ‘nil’ values (three, for a map).
fset
.
wb-2-relation
) &key) ¶wb-replay-map
) &key) ¶wb-replay-set
) &key) ¶sequence
) &key) ¶string
) &key) ¶vector
) &key) ¶list
) &key) ¶A relational equijoin, matching up ‘column-a’ of ‘relation-a’ with ‘column-b’ of ‘relation-b’. For a binary relation, the columns are named 0 (domain) and 1 (range).
fset
.
wb-2-relation
) cola (brb wb-2-relation
) colb) ¶Returns the last element of ‘seq’, i.e., element ‘(1- (size seq))’. This has methods for CL lists and sequences that are NOT COMPATIBLE with ‘cl:last’. FSet exports ‘lastcons’ as an arguably better name for the functionality of ‘cl:last’.
On a set, returns two values: the smallest member of the set and
true; on a bag, returns three values: the smallest member of the bag, its
multiplicity, and true; on a map, also returns three values: the smallest key
of the map, its value, and true. If there is not a unique smallest member,
chooses one of the smallest members arbitrarily. Returns ‘nil’ if the
collection is empty.
On a set, removes ‘value1’ from it if present, returning the updated set. On a bag, removes ‘value2’ occurrences of ‘value1’ if present, returning the updated bag; ‘value2’ defaults to 1. On a map, removes the pair whose key is ‘value1’, if present, returning the updated map. On a seq, removes the element at index ‘value1’, if that index is in bounds, and shifts subsequent elements down, returning the updated seq.
fset
.
bounded-set
) x &optional arg2) ¶complement-set
) x &optional arg2) ¶query-registry
) pattern &optional query) ¶assertion-db
) tuple &optional arg2) ¶wb-list-relation
) tuple &optional arg2) ¶wb-2-relation
) x &optional y) ¶interval-set
) (iv interval
) &optional arg2) ¶wb-replay-map
) key &optional arg2) ¶wb-replay-set
) value &optional arg2) ¶Returns the subsequence of ‘seq’ from element 1 through the end.
Returns the subsequence of ‘seq’ from element 0 through the next-to-last element.
If ‘collection’ is a map, returns the value to which ‘key’ is mapped. If ‘collection’ is a seq, takes ‘key’ as an index and returns the corresponding member (0-origin, of course). If ‘collection’ is a set or bag that contains a member equal to ‘key’, returns true and the member as two values, else false and ‘nil’; this is useful for canonicalization.
fset
.
query-registry
) tuple) ¶Returns all queries in ‘reg’ whose patterns match ‘tuple’.
wb-2-relation
) x) ¶Returns the set of values that the relation pairs ‘x’ with.
wb-replay-map
) key) ¶wb-replay-set
) value) ¶sequence
) (idx integer
)) ¶Does an inverse lookup on a binary relation.
fset
.
wb-2-relation
) y) ¶fset
.
query-registry
) set-tuple) ¶Here ‘set-tuple’ contains a set of values in each position. Returns all queries in ‘reg’ whose patterns match any member of each set.
Returns, as two values: a map containing all the pairs that are in ‘map1’ but not ‘map2’, with the same default as ‘map1’; and one containing all the pairs that are in ‘map2’ but not ‘map1’, with the same default as ‘map2’.
Returns a map containing all the keys that are in the domains of both
‘map1’ and ‘map2’, where the value for each key is the result of calling
‘val-fn’ on the value from ‘map1’ and the value from ‘map2’. ‘val-fn’
defaults to simply returning its second argument, so the entries in ‘map2’
simply shadow those in ‘map1’. The default for the new map is the result
of calling ‘val-fn’ on the defaults for the two maps, if either of those
is nonnull. ‘map-intersection’ assumes that ‘val-fn’ is idempotent, i.e.,
if the two values passed to ‘val-fn’ are equal, ‘val-fn’ must return the
same value; it may elide calls to ‘val-fn’ on that basis.
New feature: if ‘val-fn’ returns ‘:no-value’ as a second value, the result will contain no pair with the corresponding key.
Returns a map containing all the keys of ‘map1’ and ‘map2’, where the
value for each key contained in only one map is the value from that map, and
the value for each key contained in both maps is the result of calling
‘val-fn’ on the value from ‘map1’ and the value from ‘map2’. ‘val-fn’
defaults to simply returning its second argument, so the entries in ‘map2’
simply shadow those in ‘map1’. The default for the new map is the result of
calling ‘val-fn’ on the defaults for the two maps, if either of those is
nonnull. ‘map-union’ assumes that ‘val-fn’ is idempotent, i.e., if the two
values passed to ‘val-fn’ are equal, ‘val-fn’ must return the same value; it
may elide calls to ‘val-fn’ on that basis.
New feature: if ‘val-fn’ returns ‘:no-value’ as a second value, the result will contain no pair with the corresponding key.
Returns the multiplicity of ‘x’ in the bag.
Returns two values, (filter fn collection) and (filter (cl:complement fn) collection).
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:position’. On an FSet seq, the default for ‘test’ is ‘equal?’, and the ‘:test-not’ keyword is not accepted.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:position-if’. Also works on an FSet seq.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:position-if-not’. Also works on an FSet seq.
Along with the relation, takes ‘pattern’, which is a list of length
less than or equal to the arity. Returns all tuples whose elements match
those of the pattern, starting from the left end of both, where pattern
elements equal to ‘fset:?’ (the symbol itself, not its value) match any
tuple value. If the pattern’s length is less than the arity, the missing
positions also match any tuple value. (The symbol ‘?’ is exported from
‘fset:’ for this purpose.)
The ‘metapattern’ parameter was used in an older API; its use is now deprecated.
fset
.
assertion-db
) pattern &optional override-arity) ¶wb-list-relation
) pattern &optional metapattern) ¶Like ‘query’ (q.v.), except that ‘pattern’ is a list where the elements that aren’t ‘fset:?’ are sets of values rather than single values. Returns all tuples in the relation for which each value is a member of the corresponding set in the pattern.
fset
.
wb-list-relation
) (pattern list
) &optional metapattern) ¶Queries the relation for tuples that match ‘pattern’ and contain some element
of ‘restrict-set’. ‘pattern’ is a list where each element is either the symbol
‘fset:?’ or a set of values. A tuple matches the pattern if, for each position,
either the element of ‘pattern’ at that position is ‘fset:?’ or the tuple element
at that position is an element of that set of values. Returns the set of tuples
in the relation that match the pattern and contain at least one element of
‘restrict-set’. For convenience, the function accepts the full set for ‘restrict-set’,
in which case there is no restriction.
fset
.
wb-list-relation
) (pattern list
) restrict-set) ¶Returns the range of the map, that is, the set of all values to which keys are mapped by the map.
fset
.
wb-2-relation
)) ¶Returns true iff the range of the map or seq contains ‘x’. (The range of a seq is the set of members.) Note that this requires a linear search.
If ‘collection’ is a set or bag that contains ‘value’, returns the rank of ‘value’ in the ordering defined by ‘compare’, and a true second value. If ‘collection’ is a map whose domain contains ‘value’, returns the rank of ‘value’ in the domain of the map, and a true second value. If ‘value’ is not in the collection, the second value is false, and the first value is the rank of the greatest member of the collection less than ‘value’ (if any; otherwise -1). Note that if there are values/keys that are unequal but equivalent to ‘value’, an arbitrary order will be imposed on them for this purpose; but another collection that is ‘equal?’ but not ‘eq’ to this one will in general order them differently. Also, on a bag, multiplicities are ignored for this purpose.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:reduce’ (q.v.). On an FSet collection, the ‘:start’, ‘:end’, and ‘:from-end’ keywords are accepted only if ‘collection’ is a seq.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:remove’. On an FSet seq, the default for ‘test’ is ‘equal?’, and the ‘:test-not’ keyword is not accepted.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:remove-if’. Also works on an FSet seq; but see ‘filter’.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:remove-if-not’. Also works on an FSet seq; but see ‘filter’.
Returns a map containing only those pairs of ‘map’ whose keys are also in ‘set’.
Returns a map containing only those pairs of ‘map’ whose keys are not in ‘set’.
Returns ‘seq’ in reverse order.
Returns the set difference of set1 and set2, i.e., the set containing every member of ‘set1’ that is not in ‘set2’.
fset
.
bounded-set
) (bs2 bounded-set
) &key) ¶set
) (cs complement-set
) &key) ¶complement-set
) (s set
) &key) ¶complement-set
) (cs2 complement-set
) &key) ¶interval-set
) (s1 interval-set
) &key) ¶list
) (ls2 list
) &rest keyword-args &key test test-not) ¶Returns ‘set1 - set2’ and ‘set2 - set1’ as two values.
Returns the number of unique members in the bag.
Returns the number of members in a set, seq, or bag, or the number of pairs in a map. The size of a bag is the sum of the multiplicities.
fset
.
bounded-set
)) ¶complement-set
)) ¶wb-list-relation
)) ¶wb-2-relation
)) ¶interval-set
)) ¶The number of intervals in the set.
wb-replay-map
)) ¶wb-replay-set
)) ¶sequence
)) ¶Returns ‘seq’ sorted by ‘pred’, a function of two arguments; if ‘key’ is supplied, it is a function of one argument that is applied to the elements of ‘seq’ before they are passed to ‘pred’. The sort is not guaranteed to be stable. The method for CL sequences copies the sequence first, unlike ‘cl:sort’.
Like ’stable-sort’, but additionally groups the result, returning a seq of seqs, where the elements of each inner seq are equal according to ‘pred’ and, optionally, ‘key’.
Returns a new sequence like ‘seq’ but with the elements of ‘subseq’ inserted
at ‘idx’ (the seq is extended in either direction if needed prior to the insertion;
previously uninitialized indices are filled with the seq’s default).
Returns ‘seq’ sorted by ‘pred’, a function of two arguments; if ‘key’ is supplied, it is a function of one argument that is applied to the elements of ‘seq’ before they are passed to ‘pred’. The sort is guaranteed to be stable. The method for CL sequences copies the sequence first, unlike ‘cl:stable-sort’.
Returns true iff ‘sub’ is a subbag of ‘super’, that is, for every member of ‘sub’, ‘super’ contains the same value with at least the same multiplicity.
Returns the subsequence of ‘seq’ from ‘start’ (inclusive) to ‘end’ (exclusive), where ‘end’ defaults to ‘(size seq)’.
Returns true iff ‘sub’ is a subset of ‘super’.
fset
.
bounded-set
) (bs2 bounded-set
)) ¶set
) (cs complement-set
)) ¶complement-set
) (s set
)) ¶complement-set
) (cs2 complement-set
)) ¶If ‘collection’ is a Lisp sequence, this simply calls ‘cl:substitute’. On an FSet seq, the default for ‘test’ is ‘equal?’, and the ‘:test-not’ keyword is not accepted.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:substitute-if’. Also works on an FSet seq.
If ‘collection’ is a Lisp sequence, this simply calls ‘cl:substitute-if-not’. Also works on an FSet seq.
Returns a new tuple containing all the keys of ‘tuple1’ and ‘tuple2’, where the value for each key contained in only one tuple is the value from that tuple, and the value for each key contained in both tuples is the result of calling ‘val-fn’ on the value from ‘tuple1’ and the value from ‘tuple2’. ‘val-fn’ defaults to simply returning its second argument, so the entries in ‘tuple2’ simply shadow those in ‘tuple1’.
fset
.
Returns the union of the two sets/bags. The result is a set if both arguments are sets; otherwise a bag. The union of two bags is a bag whose multiplicity, for any value, is the maximum of its multiplicities in the two argument bags.
fset
.
bounded-set
) (bs2 bounded-set
) &key) ¶set
) (cs complement-set
) &key) ¶complement-set
) (s set
) &key) ¶complement-set
) (cs2 complement-set
) &key) ¶wb-2-relation
) (br2 wb-2-relation
) &key) ¶interval-set
) (s1 interval-set
) &key) ¶wb-replay-set
) (s2 set
) &key) ¶As the parameter types suggest, this is not symmetric: it adds the members of ‘s2’ to ‘s1’, so the ordering of the result will be that of ‘s1’ with any new members appended.
list
) (ls2 list
) &rest keyword-args &key test test-not) ¶On a set, adds ‘value1’ to it, returning the updated set. On a bag, adds ‘value2’ occurrences of ‘value1’, returning the updated bag; ‘value2’ defaults to 1. On a map, adds a mapping from ‘value1’ (the key) to ‘value2’, returning the updated map. On a seq, replaces the element at index ‘value1’ with ‘value2’, returning the updated seq (the seq is extended in either direction if needed; previously uninitialized indices are filled with the seq’s default).
fset
.
bounded-set
) x &optional arg2) ¶complement-set
) x &optional arg2) ¶query-registry
) pattern &optional query) ¶assertion-db
) tuple &optional arg2) ¶wb-list-relation
) tuple &optional arg2) ¶wb-2-relation
) x &optional y) ¶interval-set
) (iv interval
) &optional arg2) ¶wb-replay-map
) key &optional value) ¶wb-replay-set
) value &optional arg2) ¶Returns a new map or seq with the same contents as ‘collection’ but whose default is now ‘new-default’.
Returns ‘seq’ with ‘val’ prepended, that is, ‘val’ is element 0 of the result, and the elements of ‘seq’ appear starting at index 1.
Returns ‘seq’ with ‘val’ appended, that is, ‘val’ is element ‘(size seq)’ of the result.
my-sequence
) len &rest args) ¶sb-sequence
.
my-sequence
) index) ¶sb-sequence
.
my-sequence
) index) ¶sb-sequence
.
my-sequence
)) ¶sb-sequence
.
my-sequence
) len &rest args) ¶sb-sequence
.
bounded-set
) stream) ¶wb-replay-set
) stream) ¶wb-2-relation
) stream) ¶wb-list-relation
) stream) ¶wb-replay-map
) stream) ¶wb-assertion-db
) stream) ¶wb-set-tree-node
) stream) ¶wb-seq-tree-node
) stream) ¶complement-set
) stream) ¶wb-map-tree-node
) stream) ¶wb-bag-tree-node
) stream) ¶interval-set
) stream) ¶The abstract class for FSet binary relations. It is a structure class.
fset
.
fset
.
structure-object
.
The abstract class for FSet functional bags (multisets). It is a structure class.
fset
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
count
.
count-if
.
count-if-not
.
filter
.
filter
.
filter
.
filter
.
filter
.
filter
.
filter
.
filter-pairs
.
filter-pairs
.
find
.
find-if
.
find-if-not
.
image
.
image
.
image
.
image
.
image
.
image
.
image
.
image
.
partition
.
reduce
.
reduce
.
A "bounded set" is a subset (not necessarily proper) of a specified set, called the "universe". (Topologically, it is a set in the discrete topology on the universe.)
The root class of the FSet functional collections hierarchy. It is a structure class.
A class of functional tuples represented as vectors with dynamically- reordered key vectors. This is the default implementation of tuples in FSet.
The abstract class for FSet list relations. It is a structure class. A list relation is a general relation (i.e. of arbitrary arity >= 1) whose tuples are in list form.
fset
.
The abstract class for FSet functional maps. It is a structure class.
fset
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compose
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
count
.
count-if
.
count-if-not
.
default
.
filter
.
filter
.
filter
.
filter
.
find
.
find-if
.
find-if-not
.
image
.
image
.
image
.
image
.
image
.
partition
.
partition
.
range-contains?
.
reduce
.
reduce
.
The abstract class for FSet relations. It is a structure class.
fset
.
The abstract class for FSet functional replay maps. It is a structure class. A replay map is like a map, except that its iteration order is the order in which members were added to it. It may not support all map operations.
The abstract class for FSet functional replay sets. It is a structure class. A replay set is like a set, except that its iteration order is the order in which members were added to it. It may not support all set operations.
The abstract class for FSet functional seqs (sequences, but we use the short name to avoid confusion with ‘cl:sequence’). It is a structure class.
fset
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compose
.
compose
.
concat
.
convert
.
convert
.
convert
.
convert
.
convert
.
count
.
count-if
.
count-if-not
.
default
.
domain-contains?
.
filter
.
filter
.
filter
.
filter
.
filter
.
find
.
find-if
.
find-if-not
.
image
.
image
.
image
.
image
.
image
.
image
.
partition
.
partition
.
partition
.
partition
.
partition
.
position
.
position-if
.
position-if-not
.
range-contains?
.
reduce
.
reduce
.
remove
.
remove-if
.
remove-if-not
.
sort-and-group
.
substitute
.
substitute-if
.
substitute-if-not
.
The abstract class for FSet functional sets. It is a structure class.
fset
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
complement
.
convert
.
convert
.
convert
.
convert
.
convert
.
count
.
count-if
.
count-if-not
.
disjoint?
.
disjoint?
.
filter
.
filter
.
filter
.
filter
.
find
.
find-if
.
find-if-not
.
image
.
image
.
image
.
image
.
image
.
intersection
.
intersection
.
intersection
.
multiplicity
.
partition
.
reduce
.
reduce
.
restrict
.
restrict-not
.
set-difference
.
set-difference
.
sort
.
stable-sort
.
subset?
.
subset?
.
transitive-closure
.
transitive-closure
.
union
.
union
.
union
.
The abstract class for FSet functional tuples. It is a structure class.
fset
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
convert
.
convert
.
internal-do-tuple
.
lookup
.
restrict
.
restrict-not
.
size
.
tuple-merge
.
with
.
A class of functional binary relations represented as pairs of weight- balanced binary trees. This is the default implementation of binary relations in FSet. The inverse is constructed lazily, and maintained incrementally once constructed.
A class of functional bags (multisets) represented as weight-balanced binary trees. This is the default implementation of bags in FSet.
fset
.
bag
.
arb
.
at-rank
.
bag-difference
.
bag-difference
.
bag-difference
.
bag-product
.
bag-product
.
bag-product
.
bag-sum
.
bag-sum
.
bag-sum
.
compare
.
contains?
.
convert
.
convert
.
convert
.
empty?
.
greatest
.
internal-do-bag-pairs
.
intersection
.
intersection
.
intersection
.
iterator
.
least
.
less
.
lookup
.
make-load-form
.
multiplicity
.
print-object
.
rank
.
set-size
.
size
.
subbag?
.
subbag?
.
subbag?
.
union
.
union
.
union
.
verify
.
with
.
A class of functional relations of arbitrary arity >= 1, whose tuples are in list form.
A class of functional maps represented as weight-balanced binary trees. This is the default implementation of maps in FSet.
fset
.
map
.
arb
.
at-rank
.
compare
.
compose
.
compose
.
compose
.
compose
.
contains?
.
convert
.
domain
.
domain-contains?
.
empty?
.
filter
.
filter
.
greatest
.
image
.
image
.
internal-do-map
.
iterator
.
least
.
less
.
lookup
.
make-load-form
.
map-difference-2
.
map-intersection
.
map-union
.
print-object
.
range
.
rank
.
restrict
.
restrict-not
.
size
.
verify
.
with
.
with-default
.
A replay map is like a map, except that its iteration order is the order in which keys were first added to it. It does not support all map operations, but you can convert it to a map. Note that in the current implementation, ‘less’ on a replay map takes O(n) time. Replay maps are printed as "#{=| ... |}".
A replay set is like a set, except that its iteration order is the order in which members were added to it. It does not support all set operations, but you can convert it to a set. Note that in the current implementation, ‘less’ on a replay set takes O(n) time. Replay sets are printed as "#{= ... }".
A class of functional seqs (sequences, but we use the short name to avoid confusion with ‘cl:sequence’) represented as weight-balanced binary trees. This is the default implementation of seqs in FSet.
fset
.
seq
.
compare
.
compare-lexicographically
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
domain
.
empty?
.
first
.
insert
.
internal-do-seq
.
iterator
.
last
.
less
.
less-first
.
less-last
.
lookup
.
make-load-form
.
print-object
.
range
.
reverse
.
size
.
sort
.
splice
.
stable-sort
.
subseq
.
verify
.
with
.
with-default
.
with-first
.
with-last
.
A class of functional sets represented as weight-balanced binary trees. This is the default implementation of sets in FSet.
fset
.
set
.
arb
.
at-rank
.
bag-difference
.
bag-difference
.
bag-product
.
bag-product
.
bag-sum
.
bag-sum
.
compare
.
contains?
.
convert
.
convert
.
convert
.
convert
.
convert
.
convert
.
disjoint?
.
empty?
.
filter
.
filter
.
filter
.
greatest
.
image
.
image
.
image
.
image
.
image
.
image
.
internal-do-set
.
intersection
.
intersection
.
intersection
.
iterator
.
least
.
less
.
lookup
.
make-load-form
.
partition
.
partition
.
partition
.
print-object
.
rank
.
restrict
.
restrict-not
.
set-difference
.
set-difference-2
.
set-size
.
size
.
split-above
.
split-below
.
split-from
.
split-through
.
subbag?
.
subbag?
.
subset?
.
union
.
union
.
union
.
verify
.
with
.
A mixin class for classes whose instances will be used in FSet collections, and for which the appropriate equivalence relation is identity (‘eq’). This is the right choice for the vast majority of mutable classes.
fset
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
compare
.
hash-value
.
(setf serial-number)
.
serial-number
.
(fset::increment-atomic-series fset::identity-ordering-mixin-next-serial-number)
This limits the number of tuple-keys that can exist in a session.
Controls how often we do tuple reordering. Must be 2^n - 1 for some n.
fset
.
This limits the number of key/value pairs in any tuple.
A copy of the standard readtable with the rereading FSet reader macros installed. This readtable can be used to read structure printed by the FSet print functions.
fset
.
The reorder score that triggers a major reordering.
fset
.
fset
.
fset
.
fset
.
Iterates over the pairs of the bag, for each one binding ‘val-var’ to the value and ‘count-var’ to its member count.
fset
.
fset
.
fset
.
fset
.
fset
.
The number of values represented by ‘value’, which can be more than 1 if ‘key’ is an ‘Equivalent-Bag’.
fset
.
A list of the indices of the 1 bits of ‘mask’, in ascending order.
fset
.
fset
.
fset
.
Second value is true if the two abut. ‘:equal’ means they overlap.
fset
.
fset
.
Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.
fset
.
copy-seq
.
Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.
fset
.
copy-seq
.
fset
.
fset
.
fset
.
Compares two pairs where the key of either or both may be an ‘Equivalent-Bag’.
fset
.
fset
.
Compares two pairs where the key of either or both may be an ‘Equivalent-Map’.
fset
.
Both ‘key1’ and ‘key2’ may be single values (representing a single key/value pair) or ‘Equivalent-Map’s of key/value pairs. That is, if ‘key1’ is a ‘Equivalent-Map’, ‘val1’ is ignored, and similarly for ‘key2’ and ‘val2’. If the difference is nonnull, returns two or three values: if it is a single pair, returns true, the key, and the value; if it is more than one pair, returns true and an ‘Equivalent-Map’ of the pairs. If the difference is empty, returns false.
fset
.
Both ‘key1’ and ‘key2’ may be single values (representing a single key/value pair) or ‘Equivalent-Map’s of key/value pairs. That is, if ‘key1’ is a ‘Equivalent-Map’, ‘val1’ is ignored, and similarly for ‘key2’ and ‘val2’. If the intersection is nonnull, returns two or three values: if it is a single pair, returns true, the key, and the value; if it is more than one pair, returns true and an ‘Equivalent-Map’ of the pairs. If the intersection is null, returns false.
fset
.
Removes the pair associated with ‘key’ from ‘eqvm’, an ‘Equivalent-Map’. If the result is a single pair, it’s returned as two values; otherwise one value is returned, which is an ‘Equivalent-Map’.
fset
.
Both ‘key1’ and ‘key2’ may be single values (representing a single key/value pair) or ‘Equivalent-Map’s of key/value pairs. That is, if ‘key1’ is a ‘Equivalent-Map’, ‘val1’ is ignored, and similarly for ‘key2’ and ‘val2’. Returns one or more new key/value pairs in which the "2" pairs override the "1" pairs. If the result is a single pair, it’s returned as two values; otherwise one value is returned, which is an ‘Equivalent-Map’.
fset
.
Both ‘val1’ and ‘val2’ may be single values (representing singleton sets) or ‘Equivalent-Set’s of values. If their difference is nonnull, returns two values: true, and the difference, represented as a single value if a singleton, else as an ‘Equivalent-Set’. If the difference is null, returns ‘nil’.
fset
.
Both ‘val1’ and ‘val2’ may be single values (representing singleton sets) or ‘Equivalent-Set’s of values. If their intersection is null, returns true, else false.
fset
.
Both ‘val1’ and ‘val2’ may be single values (representing singleton sets) or ‘Equivalent-Set’s of values. If their intersection is nonnull, returns two values: true, and the intersection, represented as a single value if a singleton, else as an ‘Equivalent-Set’. If the intersection is null, returns ‘nil’.
fset
.
fset
.
Both ‘val1’ and ‘val2’ may be single values (representing singleton sets) or ‘Equivalent-Set’s of values. Returns true iff ‘val2’ contains all members of ‘val1’.
fset
.
Both ‘val1’ and ‘val2’ may be single values (representing singleton sets) or ‘Equivalent-Set’s of values. Returns their union represented as a single value if a singleton, else as an ‘Equivalent-Set’.
fset
.
Adds the FSet rereading reader macros to ‘readtable’. These reader macros will correctly read structure printed by the FSet print functions. Returns ‘readtable’.
fset
.
fset
.
fset
.
fset
.
fset
.
The low-level constructor for a bag tree node. ‘count’ is ignored and can be ‘nil’ if value is an ‘Equivalent-Bag’.
fset
.
The low-level constructor for a map tree node.
fset
.
The low-level constructor for a sequence tree node.
fset
.
The low-level constructor for a set tree node.
fset
.
The number of domain values represented by ‘key’, which can be more than 1 if ‘key’ is an ‘Equivalent-Map’.
fset
.
fset
.
fset
.
Returns a list of those members of ‘tuple’ corresponding to instantiated positions in the original pattern.
fset
.
fset
.
The number of members represented by ‘value’, which can be more than 1 if ‘value’ is an ‘Equivalent-Set’.
fset
.
Returns a new string like ‘str’ but with ‘ch’ inserted at ‘idx’. Careful – does no bounds checking on ‘str’, which it assumes is simple.
fset
.
Returns a subsequence of ‘str’ between ‘start’ and ‘end’. Careful – does no bounds checking on ‘str’, which it assumes is simple.
fset
.
Takes the subsequence of ‘str’ from ‘start’ to ‘end’, then at ‘idx’ within the result, inserts ‘ch’, returning the new string.
fset
.
Simple tests on the Complement Sets operations
fset
.
Simple tests on List-Relations and Query-Registries.
fset
.
Tests some things that don’t need extensive random test cases generated.
fset
.
Tests some things that don’t need extensive random test cases generated.
fset
.
Tests some things that don’t need extensive random test cases generated.
fset
.
Tests some things that don’t need extensive random test cases generated.
fset
.
fset
.
fset
.
fset
.
fset
.
fset
.
fset
.
fset
.
Returns a new vector like ‘vec’ but with ‘val’ inserted at ‘idx’. Careful – does no bounds checking on ‘vec’, which it assumes is simple.
fset
.
Returns a new vector like ‘str’ (a string) but with ‘val’ inserted at ‘idx’. Careful – does no bounds checking on ‘str’, which it assumes is simple.
fset
.
Searches a vector set ‘vec’ for ‘value’. Returns two values, a symbol and an index. If ‘value’, or a value equivalent to ‘value’, is in ‘vec’, the symbol is ‘:equal’ resp. ‘:unequal’, and the index is the position of the value; otherwise, the symbol is ‘nil’ and the index is where ‘value’ would go if it were to be inserted.
fset
.
Searches a vector set ‘vec’ for ‘value’. Returns two values, a symbol and an index. If ‘value’, or a value equivalent to ‘value’, is in ‘vec’, the symbol is ‘:equal’ resp. ‘:unequal’, and the index is the position of the value; otherwise, the symbol is ‘nil’ and the index is where ‘value’ would go if it were to be inserted.
fset
.
Returns the index of the right edge of the last member of ‘vec’ that is below ‘hi’.
fset
.
Returns the index of the left edge of the first member of ‘vec’ that is above ‘lo’.
fset
.
Returns, as a vector, the set difference of vectors ‘vec1’ less ‘vec2’, restricted to those members above ‘lo’ and below ‘hi’.
fset
.
Returns, as two vector values, the set difference of vectors ‘str1’ less ‘str2’ and that of ‘str2’ less ‘str1’, restricted to those members above ‘lo’ and below ‘hi’.
fset
.
Returns true iff ‘vec1’ does not contain any member of ‘vec2’, restricted to those members above ‘lo’ and below ‘hi’.
fset
.
Returns, as a vector, the intersection of vectors ‘vec1’ and ‘vec2’, restricted to those members above ‘lo’ and below ‘hi’.
fset
.
Returns true iff ‘vec2’ contains all members of ‘vec1’, restricted to those members above ‘lo’ and below ‘hi’. ‘vec2’ may be ‘nil’.
fset
.
Returns, as a vector, the union of vectors ‘vec1’ and ‘vec2’, restricted to those members above ‘lo’ and below ‘hi’.
fset
.
Returns a subsequence of ‘vec’ between ‘start’ and ‘end’, or ‘nil’ if the result would be of zero length. Careful – does no bounds checking on ‘vec’, which it assumes is simple.
fset
.
Takes the subsequence of ‘vec’ from ‘start’ to ‘end’, then at ‘idx’ within the result, inserts ‘val’, returning the new vector.
fset
.
Returns a new vector like ‘vec’ but with ‘val’ at ‘idx’.
fset
.
fset
.
Returns an arbitrary member of the bag and its count. Assumes the bag is nonempty.
fset
.
Constructs a ‘WB-Bag-Tree’, performing one rebalancing step if required. ‘value’ must already be known to go between ‘left’ and ‘right’.
fset
.
Returns the set difference of ‘tree1’ less ‘tree2’. Runs in time linear in the total sizes of the two trees.
fset
.
Returns the set difference of ‘tree1’ less ‘tree2’, considering only those members that are above ‘lo’ and below ‘hi’, and assuming that the root values of ‘tree1’ and ‘tree2’ are in this range.
fset
.
If ‘tree’ contains one or more values equivalent to ‘value’, returns (first value) true, (second value) either the one value or an ‘Equivalent-Bag’ containing the values, and (third value) if the second value was a single value, the corresponding count; otherwise ‘nil’.
fset
.
Assumes ‘tree’ is nonempty. Returns the greatest member, or an arbitrary greatest member if there are more than one; the second value is the associated multiplicity.
fset
.
Returns the intersection of ‘tree1’ with ‘tree2’, considering only those members that are above ‘lo’ and below ‘hi’, and assuming that the root values of ‘tree1’ and ‘tree2’ are in this range.
fset
.
Assumes ‘tree’ is nonempty. Returns the least member, or an arbitrary least member if there are more than one; the second value is the associated count.
fset
.
Returns ‘tree’ with the count for ‘value’ decremented; if that count was 1, ‘value’ is removed entirely.
fset
.
Assumes ‘tree’ is nonempty. Returns a new tree with the minimum value removed.
fset
.
Assumes ‘tree’ is nonempty. Returns the minimum value and count as two values. The value may be an ‘Equivalent-Bag’, in which case, as usual, the count is not meaningful.
fset
.
Returns the multiplicity of ‘value’ in ‘tree’, or 0 if ‘value’ does not appear in ‘tree’. As a second value, returns the value found, if any.
fset
.
fset
.
Print function for ‘WB-Bag-Tree-Node’, q.v.
fset
.
fset
.
fset
.
fset
.
Returns the Production of ‘tree1’ with ‘tree2’, considering only those members that are above ‘lo’ and below ‘hi’, and assuming that the root values of ‘tree1’ and ‘tree2’ are in this range.
fset
.
Searches a bag tree ‘tree’ for ‘value’. Returns two values, a boolean and an index. If ‘value’, or a value equivalent to ‘value’, is in ‘tree’, the symbol is true, and the index is the rank of the value; otherwise, the boolean is false and the index is the rank ‘value’ would have if it were to be added. Note that if the bag contains equivalent-but-unequal elements, the rank of each of several such elements is guaranteed consistent only within the same tree (by ‘eq’), not between equal trees.
fset
.
The number of value/count pairs contained in this tree.
fset
.
Returns the sum of ‘tree’ and ‘tree2’.
fset
.
Returns the union of ‘tree’ and ‘tree2’.
fset
.
Returns ‘tree’ with ‘value’ added with a count of ‘count’ (if it was already present, its count is incremented by ‘count’). ‘value’ may be an ‘Equivalent-Bag’.
fset
.
fset
.
fset
.
fset
.
Selects an arbitrary pair of the map. Assumes it is nonnull.
fset
.
Constructs a ‘WB-Map-Tree’, performing one rebalancing step if required. ‘key’ must already be known to go between ‘left’ and ‘right’.
fset
.
Returns two values: one containing the pairs that are in ‘tree1’ but not ‘tree2’, and the other containing the pairs that are in ‘tree2’ but not ‘tree1’.
fset
.
If ‘tree’ contains one or more keys equivalent to ‘value’, returns (first value) true, (second value) either the one key or an ‘Equivalent-Map’ containing the values, and (third value) if the second value was a single key, the corresponding value; otherwise ‘nil’.
fset
.
Assumes ‘tree’ is nonempty. Returns the greatest key and its value, or an arbitrary greatest key and its value if there are more than one.
fset
.
Assumes ‘tree’ is nonempty. Returns the least key and its value, or an arbitrary least key and its value if there are more than one.
fset
.
Returns a new tree like ‘tree’, but with any entry for ‘key’ removed.
fset
.
Assumes ‘tree’ is nonempty. Returns a new tree with the minimum key/value pair removed.
fset
.
If ‘tree’ contains a pair whose key is ‘key’, returns two values, true and the associated value; otherwise ‘nil’.
fset
.
Assumes ‘tree’ is nonempty. Returns the minimum key and value as two values. The key may be an ‘Equivalent-Map’, in which case, as usual, the value is not meaningful.
fset
.
Print function for ‘WB-Map-Tree-Node’, q.v.
fset
.
fset
.
fset
.
Searches a map tree ‘tree’ for ‘key’. Returns two values, a boolean and an index. If ‘key’, or a value equivalent to ‘key’, is in ‘tree’, the boolean is true, and the index is the rank of the value; otherwise, the boolean is false and the index is the rank ‘key’ would have if it were to be added. Note that if the map contains equivalent-but-unequal keys, the rank of each of several such keys is guaranteed consistent only within the same tree (by ‘eq’), not between equal trees.
fset
.
The number of key/value pairs contained in this tree.
fset
.
Returns a new tree like ‘tree’ but with the pair < ‘key’, ‘value’ > added, shadowing any previous pair with the same key.
fset
.
fset
.
fset
.
fset
.
fset
.
Print function for ‘WB-Seq-Tree-Node’, q.v.
fset
.
fset
.
Selects an arbitrary member of the set. Assumes ‘tree’ is nonnull.
fset
.
Constructs a ‘WB-Set-Tree’, performing one rebalancing step if required. ‘value’ must already be known to go between ‘left’ and ‘right’.
fset
.
Corresponds to Adams’ ‘concat3’. Assumes that (all values in ‘left’) <= ‘value’ <= (all values in ‘right’); returns a new tree containing all values. This does more rebalancing than ‘WB-Set-Tree-Build-Node’, which otherwise has the same contract. ‘value’ may be an ‘Equivalent-Set’.
fset
.
Returns the set difference of ‘tree1’ less ‘tree2’. Runs in time linear in the total sizes of the two trees.
fset
.
Returns two values: the set difference of ‘tree1’ less ‘tree2’, and that of ‘tree2’ less ‘tree1’. Runs in time linear in the total sizes of the two trees.
fset
.
Returns two values: the set difference of ‘tree1’ less ‘tree2’, and that of ‘tree2’ less ‘tree1’, considering only those members that are above ‘lo’ and below ‘hi’, and assuming that the root values of ‘tree1’ and ‘tree2’ are in this range.
fset
.
Returns the set difference of ‘tree1’ less ‘tree2’, considering only those members that are above ‘lo’ and below ‘hi’, and assuming that the root values of ‘tree1’ and ‘tree2’ are in this range.
fset
.
If ‘tree’ contains a value equal to ‘value’, returns (first value) true and (second value) the value; otherwise ‘nil’.
fset
.
If ‘tree’ contains one or more values equivalent to ‘value’, returns (first value) true and (second value) either the one value or an ‘Equivalent-Set’ containing the values; otherwise ‘nil’.
fset
.
Returns the rank at which ‘value’ appears in ‘tree’, if it does, else the rank it would occupy if it were present. The second value is true iff the value was found. Note that if the set contains equivalent-but-unequal elements, they all appear at the same rank.
fset
.
Assumes ‘tree’ is nonempty. Returns the greatest member, or an arbitrary greatest member if there are more than one.
fset
.
Returns the intersection of ‘tree1’ and ‘tree2’. Runs in time linear in the total sizes of the two trees.
fset
.
Returns the intersection of ‘tree1’ with ‘tree2’, considering only those members that are above ‘lo’ and below ‘hi’, and assuming that the root values of ‘tree1’ and ‘tree2’ are in this range.
fset
.
Returns the union of ‘left’ and ‘right’ under the assumption that all values in ‘left’ are less than any value in ‘right’.
fset
.
Assumes ‘tree’ is nonempty. Returns the least member, or an arbitrary least member if there are more than one.
fset
.
Assumes ‘tree’ is nonempty. Returns a new tree with the minimum value or ‘Equivalent-Set’ removed.
fset
.
Returns true iff ‘value’ is a member of ‘tree’.
fset
.
Returns true iff ‘value’ is a member of ‘tree’.
fset
.
Assumes ‘tree’ is nonempty. Returns the minimum value. This may be an ‘Equivalent-Set’.
fset
.
Print function for ‘WB-Set-Tree-Node’, q.v.
fset
.
fset
.
fset
.
Searches a set tree ‘tree’ for ‘value’. Returns two values, a boolean and an index. If ‘value’, or a value equivalent to ‘value’, is in ‘tree’, the boolean is true, and the index is the rank of the value; otherwise, the boolean is false and the index is the rank ‘value’ would have if it were to be added. Note that if the set contains equivalent-but-unequal elements, the rank of each of several such elements is guaranteed consistent only within the same tree (by ‘eq’), not between equal trees.
fset
.
The number of members contained in this tree.
fset
.
Corresponds to Adams’ ‘split_lt’ and ‘split_gt’. Returns a tree containing those members of ‘tree’ above ‘lo’ and below ‘hi’.
fset
.
Corresponds to Adams’ ‘trim’ and variants. Removes any tree nodes whose values are less than ‘lo’ or greater than ‘hi’. Note, this does _not_ guarantee that the result only contains values between ‘lo’ and ‘hi’; use ‘-Split’ for that. This, however, doesn’t cons.
fset
.
Returns the union of ‘tree1’ and ‘tree2’. Runs in time linear in the total sizes of the two trees.
fset
.
Returns the union of ‘tree1’ with ‘tree2’, considering only those members that are above ‘lo’ and below ‘hi’, and assuming that the root values of ‘tree1’ and ‘tree2’ are in this range.
fset
.
Returns the union of vectors ‘vec1’ and ‘vec2’, restricted to those members above ‘lo’ and below ‘hi’. Creates new set tree nodes if needed, either because the result exceeds the vector threshold size, or because one or more pairs of equivalent members were found.
fset
.
If ‘value’ is in ‘tree’, returns ‘tree’; otherwise returns ‘tree’ with ‘value’ added. ‘value’ may be an ‘Equivalent-Set’.
fset
.
Returns the default for the map or seq, i.e., the value returned by ‘lookup’ when the supplied key or index is not in the domain.
fset
.
list-relation
) mask) ¶Returns a seq of size equal to the arity of ‘rel’. For each 1 bit in ‘mask’, the corresponding result element is the index to use for that tuple position.
fset
.
my-integer
)) ¶vector
)) ¶list
)) ¶string
)) ¶symbol
)) ¶character
)) ¶fixnum
)) ¶real
)) ¶identity-ordering-mixin
)) ¶fset
.
wb-2-relation
) elt-fn value-fn) ¶fset
.
query-registry
) elt-fn value-fn) ¶Calls ‘elt-fn’ on successive pairs of the bag (the second argument is
the multiplicity); when done, calls ‘value-fn’ on no arguments and returns the
result(s). This is called by ‘do-bag’ to provide for the possibility of
different bag implementations; it is not for public use. ‘elt-fn’ and
‘value-fn’ must be function objects, not symbols.
fset
.
wb-list-relation
) elt-fn value-fn) ¶Calls ‘elt-fn’ on successive pairs of the map (as two arguments); when done, calls ‘value-fn’ on no arguments and returns the result(s). This is called by ‘do-map’ to provide for the possibility of different map implementations; it is not for public use. ‘elt-fn’ and ‘value-fn’ must be function objects, not symbols.
fset
.
wb-replay-map
) elt-fn &optional value-fn) ¶Calls ‘elt-fn’ on successive elements of ‘seq’, possibly restricted by ‘start’ and ‘end’, and in reverse order if ‘from-end?’ is true. When done, calls ‘value-fn’ on no arguments and returns the result(s). This is called by ‘do-seq’ to provide for the possibility of different seq implementations; it is not for public use. ‘elt-fn’ and ‘value-fn’ must be function objects, not symbols.
Calls ‘elt-fn’ on successive elements of the set; when done, calls ‘value-fn’ on no arguments and returns the result(s). This is called by ‘do-set’ to provide for the possibility of different set implementations; it is not for public use. ‘elt-fn’ and ‘value-fn’ must be function objects, not symbols.
fset
.
bounded-set
) elt-fn &optional value-fn) ¶complement-set
) elt-fn &optional value-fn) ¶wb-replay-set
) elt-fn &optional value-fn) ¶Calls ‘elt-fn’ on successive pairs of the tuple (as two arguments); when done, calls ‘value-fn’ on no arguments and returns the result(s). This is called by ‘do-tuple’ to provide for the possibility of different tuple implementations; it is not for public use. ‘elt-fn’ and ‘value-fn’ must be function objects, not symbols.
fset
.
fset
.
interval-set
) lower upper lower-closed? upper-closed?) ¶fset
.
my-identity-ordered-obj
)) ¶automatically generated reader method
fset
.
my-identity-ordered-obj
)) ¶automatically generated writer method
fset
.
my-sequence
)) ¶automatically generated reader method
fset
.
my-sequence
)) ¶automatically generated writer method
fset
.
my-unhandled-obj
)) ¶automatically generated reader method
fset
.
my-unhandled-obj
)) ¶automatically generated writer method
fset
.
identity-ordering-mixin
)) ¶automatically generated reader method
fset
.
identity-ordering-mixin
)) ¶automatically generated writer method
The transitive closure of the set over the relation. The relation may also be supplied as a function returning a set.
fset
.
2-relation
) (s set
)) ¶fset
.
interval-set
) lower upper lower-closed? upper-closed?) ¶A "complement set" is the complement of an ordinary set. It’s infinite, so it can’t be enumerated as is. But its complement is ordinary, of course, as is its intersection with an ordinary set, and the difference of it and another complement set.
fset
.
structure-object
.
(fset:empty-map)
(fset:empty-map)
fset
.
structure-object
.
(or null fset::wb-bag-tree-node cons)
(or null fset::wb-bag-tree-node cons)
integer
0
integer
0
fixnum
0
fset
.
structure-object
.
(or null fset::wb-map-tree-node cons)
(or null fset::wb-map-tree-node cons)
fixnum
0
fset
.
structure-object
.
(or null fset::wb-seq-tree-node simple-string simple-vector)
(or null fset::wb-seq-tree-node simple-string simple-vector)
fixnum
0
fset
.
structure-object
.
(or null fset::wb-set-tree-node simple-vector)
(or null fset::wb-set-tree-node simple-vector)
fixnum
0
Object that has identity ordering
An example of an SBCL user-defined sequence class
Object on which we have defined no FSet methods.
Jump to: | #
(
2
@
A B C D E F G H I J L M N P Q R S T U V W X |
---|
Jump to: | #
(
2
@
A B C D E F G H I J L M N P Q R S T U V W X |
---|
Jump to: | *
+
A C D H I K L M N O P R S T U V W |
---|
Jump to: | *
+
A C D H I K L M N O P R S T U V W |
---|
Jump to: | 2
A B C D E F H I L M O P Q R S T W |
---|
Jump to: | 2
A B C D E F H I L M O P Q R S T W |
---|