This is the tm Reference Manual, version 0.7, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Sep 15 06:54:31 2024 GMT+0.
tm/tm.asd
tm/package-def/package.lisp
tm/package-def/conditions.lisp
tm/src-0/synonyms.lisp
tm/src-0/list-qL.lisp
tm/src-0/reader-macros.lisp
tm/src-0/functions.lisp
tm/src-test/print.lisp
tm/src-test/test.lisp
tm/src-list/tm-type.lisp
tm/src-list/tm-decls.lisp
tm/src-list/tm-generic.lisp
tm/src-list/quantifiers.lisp
tm/src-list/tm-quantified.lisp
tm/src-list/list-tm-type.lisp
tm/src-list/list-tm-definitions.lisp
tm/src-list/list-tm-specialized-generic.lisp
tm/src-list/nd-tm-type.lisp
tm/src-list/nd-tm-decls.lisp
tm/src-list/nd-tm-generic.lisp
tm/src-list/nd-tm-quantified.lisp
tm/src-list/list-nd-tm-type.lisp
tm/src-list/list-nd-tm-definitions.lisp
tm/src-list/solo-tm-type.lisp
tm/src-list/solo-tm-decls.lisp
tm/src-list/solo-tm-quantified.lisp
tm/src-list/list-solo-tm-type.lisp
tm/src-list/list-solo-tm-definitions.lisp
tm/src-list/haz-tm-type.lisp
tm/src-list/haz-tm-decls.lisp
tm/src-list/list-haz-tm-type.lisp
tm/src-list/bi-tm-decls.lisp
tm/src-list/bilist.lisp
tm/src-list/bilist-tm-type.lisp
tm/src-list/bilist-tm-definitions.lisp
tm/src-list/bilist-nd-tm-type.lisp
tm/src-list/bilist-nd-tm-definitions.lisp
tm/src-list/bilist-solo-tm-type.lisp
tm/src-list/bilist-solo-tm-definitions.lisp
tm/src-list/bilist-haz-tm-type.lisp
tm/src-list/bilist-haz-definitions.lisp
tm/src-list/copy.lisp
tm/src-generators/recursive.lisp
tm/src-tr/identity.lisp
tm/src-tr/ensemble.lisp
tm/src-second-level/status-type.lisp
tm/src-second-level/status-tm.lisp
tm/src-second-level/status-quantifiers.lisp
tm/src-second-level/status-quantified.lisp
tm/src-second-level/status-copy.lisp
tm/src-second-level/status=.lisp
tm/src-second-level/status-abandoned.lisp
tm/src-second-level/status-empty.lisp
tm/src-second-level/status-parked.lisp
tm/src-second-level/status-active.lisp
tm/src-second-level/ea-type.lisp
tm/src-second-level/ea-tm.lisp
tm/src-second-level/ea-abandoned.lisp
tm/src-second-level/ea-empty.lisp
tm/src-second-level/ea-parked.lisp
tm/src-second-level/ea-active.lisp
tm/src-second-level/ea-parked-active.lisp
tm/src-second-level/ts1-type.lisp
tm/src-second-level/ts1-tm.lisp
tm/src-array/tiled-number.lisp
tm/test-0/list-qL.lisp
tm/test-0/functions.lisp
tm/test-list/bilist.lisp
tm/test-list/list-nd-tm-definitions.lisp
tm/test-list/list-solo-tm-definitions.lisp
tm/test-list/list-tm-definitions.lisp
tm/test-list/nd-tm-generic.lisp
tm/test-list/nd-tm-quantified.lisp
tm/test-list/nd-tm-quantifiers.lisp
tm/test-list/solo-tm-quantified.lisp
tm/test-list/tm-generic.lisp
tm/test-list/tm-quantified.lisp
tm/test-list/quantifiers.lisp
tm/test-list/copy.lisp
tm/test-generators/recursive.lisp
tm/test-tr/identity.lisp
tm/test-tr/ensemble.lisp
tm/test-second-level/status.lisp
tm/test-second-level/status-quantifiers.lisp
tm/test-second-level/status-quantified.lisp
tm/test-second-level/ea.lisp
tm/test-second-level/ts1.lisp
tm/test-second-level/copy.lisp
tm/test-array/tiled-number.lisp
The main system appears first, followed by any subsystem dependency.
tm
Formalized Iteration Library for Common LISP
Thomas W. Lynch <thomas.lynch@reasoningtechnology.com>
MIT License
0.7
local-time
(system).
bordeaux-threads
(system).
package-def
(module).
src-0
(module).
src-test
(module).
src-list
(module).
src-generators
(module).
src-tr
(module).
src-second-level
(module).
src-array
(module).
test-0
(module).
test-list
(module).
test-generators
(module).
test-tr
(module).
test-second-level
(module).
test-array
(module).
Modules are listed depth-first from the system components tree.
tm/package-def
tm/src-0
tm/src-test
tm/src-list
tm/src-generators
tm/src-tr
tm/src-second-level
tm/src-array
tm/test-0
tm/test-list
tm/test-generators
tm/test-tr
tm/test-second-level
tm/test-array
tm/package-def
tm
(system).
package.lisp
(file).
conditions.lisp
(file).
tm/src-0
package-def
(module).
tm
(system).
synonyms.lisp
(file).
list-ql.lisp
(file).
reader-macros.lisp
(file).
functions.lisp
(file).
tm/src-test
src-0
(module).
tm
(system).
print.lisp
(file).
test.lisp
(file).
tm/src-list
src-test
(module).
tm
(system).
tm-type.lisp
(file).
tm-decls.lisp
(file).
tm-generic.lisp
(file).
quantifiers.lisp
(file).
tm-quantified.lisp
(file).
list-tm-type.lisp
(file).
list-tm-definitions.lisp
(file).
list-tm-specialized-generic.lisp
(file).
nd-tm-type.lisp
(file).
nd-tm-decls.lisp
(file).
nd-tm-generic.lisp
(file).
nd-tm-quantified.lisp
(file).
list-nd-tm-type.lisp
(file).
list-nd-tm-definitions.lisp
(file).
solo-tm-type.lisp
(file).
solo-tm-decls.lisp
(file).
solo-tm-quantified.lisp
(file).
list-solo-tm-type.lisp
(file).
list-solo-tm-definitions.lisp
(file).
haz-tm-type.lisp
(file).
haz-tm-decls.lisp
(file).
list-haz-tm-type.lisp
(file).
bi-tm-decls.lisp
(file).
bilist.lisp
(file).
bilist-tm-type.lisp
(file).
bilist-tm-definitions.lisp
(file).
bilist-nd-tm-type.lisp
(file).
bilist-nd-tm-definitions.lisp
(file).
bilist-solo-tm-type.lisp
(file).
bilist-solo-tm-definitions.lisp
(file).
bilist-haz-tm-type.lisp
(file).
bilist-haz-definitions.lisp
(file).
copy.lisp
(file).
tm/src-generators
src-list
(module).
tm
(system).
recursive.lisp
(file).
tm/src-tr
src-generators
(module).
tm
(system).
identity.lisp
(file).
ensemble.lisp
(file).
tm/src-second-level
src-tr
(module).
tm
(system).
status-type.lisp
(file).
status-tm.lisp
(file).
status-quantifiers.lisp
(file).
status-quantified.lisp
(file).
status-copy.lisp
(file).
status=.lisp
(file).
status-abandoned.lisp
(file).
status-empty.lisp
(file).
status-parked.lisp
(file).
status-active.lisp
(file).
ea-type.lisp
(file).
ea-tm.lisp
(file).
ea-abandoned.lisp
(file).
ea-empty.lisp
(file).
ea-parked.lisp
(file).
ea-active.lisp
(file).
ea-parked-active.lisp
(file).
ts1-type.lisp
(file).
ts1-tm.lisp
(file).
tm/src-array
src-second-level
(module).
tm
(system).
tiled-number.lisp
(file).
tm/test-0
src-array
(module).
tm
(system).
list-ql.lisp
(file).
functions.lisp
(file).
tm/test-list
test-0
(module).
tm
(system).
bilist.lisp
(file).
list-nd-tm-definitions.lisp
(file).
list-solo-tm-definitions.lisp
(file).
list-tm-definitions.lisp
(file).
nd-tm-generic.lisp
(file).
nd-tm-quantified.lisp
(file).
nd-tm-quantifiers.lisp
(file).
solo-tm-quantified.lisp
(file).
tm-generic.lisp
(file).
tm-quantified.lisp
(file).
quantifiers.lisp
(file).
copy.lisp
(file).
tm/test-generators
test-list
(module).
tm
(system).
recursive.lisp
(file).
tm/test-tr
test-generators
(module).
tm
(system).
identity.lisp
(file).
ensemble.lisp
(file).
tm/test-second-level
test-tr
(module).
tm
(system).
status.lisp
(file).
status-quantifiers.lisp
(file).
status-quantified.lisp
(file).
ea.lisp
(file).
ts1.lisp
(file).
copy.lisp
(file).
tm/test-array
test-second-level
(module).
tm
(system).
tiled-number.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
tm/tm.asd
tm/package-def/package.lisp
tm/package-def/conditions.lisp
tm/src-0/synonyms.lisp
tm/src-0/list-qL.lisp
tm/src-0/reader-macros.lisp
tm/src-0/functions.lisp
tm/src-test/print.lisp
tm/src-test/test.lisp
tm/src-list/tm-type.lisp
tm/src-list/tm-decls.lisp
tm/src-list/tm-generic.lisp
tm/src-list/quantifiers.lisp
tm/src-list/tm-quantified.lisp
tm/src-list/list-tm-type.lisp
tm/src-list/list-tm-definitions.lisp
tm/src-list/list-tm-specialized-generic.lisp
tm/src-list/nd-tm-type.lisp
tm/src-list/nd-tm-decls.lisp
tm/src-list/nd-tm-generic.lisp
tm/src-list/nd-tm-quantified.lisp
tm/src-list/list-nd-tm-type.lisp
tm/src-list/list-nd-tm-definitions.lisp
tm/src-list/solo-tm-type.lisp
tm/src-list/solo-tm-decls.lisp
tm/src-list/solo-tm-quantified.lisp
tm/src-list/list-solo-tm-type.lisp
tm/src-list/list-solo-tm-definitions.lisp
tm/src-list/haz-tm-type.lisp
tm/src-list/haz-tm-decls.lisp
tm/src-list/list-haz-tm-type.lisp
tm/src-list/bi-tm-decls.lisp
tm/src-list/bilist.lisp
tm/src-list/bilist-tm-type.lisp
tm/src-list/bilist-tm-definitions.lisp
tm/src-list/bilist-nd-tm-type.lisp
tm/src-list/bilist-nd-tm-definitions.lisp
tm/src-list/bilist-solo-tm-type.lisp
tm/src-list/bilist-solo-tm-definitions.lisp
tm/src-list/bilist-haz-tm-type.lisp
tm/src-list/bilist-haz-definitions.lisp
tm/src-list/copy.lisp
tm/src-generators/recursive.lisp
tm/src-tr/identity.lisp
tm/src-tr/ensemble.lisp
tm/src-second-level/status-type.lisp
tm/src-second-level/status-tm.lisp
tm/src-second-level/status-quantifiers.lisp
tm/src-second-level/status-quantified.lisp
tm/src-second-level/status-copy.lisp
tm/src-second-level/status=.lisp
tm/src-second-level/status-abandoned.lisp
tm/src-second-level/status-empty.lisp
tm/src-second-level/status-parked.lisp
tm/src-second-level/status-active.lisp
tm/src-second-level/ea-type.lisp
tm/src-second-level/ea-tm.lisp
tm/src-second-level/ea-abandoned.lisp
tm/src-second-level/ea-empty.lisp
tm/src-second-level/ea-parked.lisp
tm/src-second-level/ea-active.lisp
tm/src-second-level/ea-parked-active.lisp
tm/src-second-level/ts1-type.lisp
tm/src-second-level/ts1-tm.lisp
tm/src-array/tiled-number.lisp
tm/test-0/list-qL.lisp
tm/test-0/functions.lisp
tm/test-list/bilist.lisp
tm/test-list/list-nd-tm-definitions.lisp
tm/test-list/list-solo-tm-definitions.lisp
tm/test-list/list-tm-definitions.lisp
tm/test-list/nd-tm-generic.lisp
tm/test-list/nd-tm-quantified.lisp
tm/test-list/nd-tm-quantifiers.lisp
tm/test-list/solo-tm-quantified.lisp
tm/test-list/tm-generic.lisp
tm/test-list/tm-quantified.lisp
tm/test-list/quantifiers.lisp
tm/test-list/copy.lisp
tm/test-generators/recursive.lisp
tm/test-tr/identity.lisp
tm/test-tr/ensemble.lisp
tm/test-second-level/status.lisp
tm/test-second-level/status-quantifiers.lisp
tm/test-second-level/status-quantified.lisp
tm/test-second-level/ea.lisp
tm/test-second-level/ts1.lisp
tm/test-second-level/copy.lisp
tm/test-array/tiled-number.lisp
tm/package-def/conditions.lisp
package-def
(module).
access-through-parked-head
(condition).
alloc-fail
(condition).
not-implemented
(condition).
operation-on-abandoned
(condition).
use-of-empty
(condition).
bad-init-value
(condition).
binner-no-such-bin
(condition).
dealloc-collision
(condition).
dealloc-last
(condition).
dealloc-on-rightmost
(condition).
dealloc-parked
(condition).
dequeue-from-empty
(condition).
impossible-to-get-here
(condition).
left-dealloc-on-leftmost
(condition).
non-function-continuation
(condition).
not-ready
(condition).
object-not-tape-machine
(condition).
step-from-rightmost
(condition).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
text
(reader method).
use-of-o
(condition).
worker-must-have-src-or-dst
(condition).
δ-malformed-access-program
(condition).
δ-required-arg-missing
(condition).
δ-unrecognized-command
(condition).
tm/src-0/list-qL.lisp
src-0
(module).
has-to-open-mark
(function).
meta-q
(function).
meta-wrap
(function).
meta-wrap-gather
(function).
meta-wrap-relay
(function).
remove-mark
(function).
wrap
(function).
tm/src-0/reader-macros.lisp
src-0
(module).
braces-reader-macro
(function).
brackets-reader-macro
(function).
tm/src-0/functions.lisp
src-0
(module).
access-through-parked-head
(function).
alloc-fail
(function).
be
(function).
boolify
(function).
box
(macro).
box
(structure).
cant-happen
(function).
do-nothing
(function).
echo
(function).
not-implemented
(function).
notλ
(function).
operation-on-abandoned
(function).
remove-key-pair
(function).
remove-key-pairs
(function).
unbox
(function).
(setf unbox)
(function).
use-of-empty
(function).
box-p
(function).
box-read
(reader).
(setf box-read)
(writer).
box-write
(reader).
(setf box-write)
(writer).
consume-key
(function).
copy-box
(function).
make-box
(function).
tm/src-test/print.lisp
src-test
(module).
*prins-lock*
(special variable).
*prins-on*
(special variable).
prins
(macro).
turn-off-prins
(function).
turn-on-prins
(function).
tm/src-test/test.lisp
src-test
(module).
*log-default-file-name*
(special variable).
print-to-log
(function).
test-all
(function).
test-all-and-self
(function).
test-hook
(macro).
test-remove
(macro).
*test-routines*
(special variable).
example-exception-test
(function).
example-fail-test
(function).
example-illegal-test
(function).
example-pass-test
(function).
test
(function).
tm/src-list/tm-type.lisp
src-list
(module).
init
(generic function).
mk
(function).
tape-machine
(class).
tm/src-list/tm-decls.lisp
src-list
(module).
-s*
(generic function).
a
(generic function).
esr
(generic function).
esw
(generic function).
on-leftmost
(generic function).
on-rightmost
(generic function).
r
(generic function).
s
(generic function).
tape-length-is-one
(generic function).
tape-length-is-two
(generic function).
w
(generic function).
tm/src-list/tm-generic.lisp
src-list
(module).
tm/src-list/quantifiers.lisp
src-list
(module).
always-false
(function).
always-true
(function).
∀
(generic function).
∀*
(generic function).
∃
(generic function).
∃*
(generic function).
⟳
(function).
tm/src-list/list-tm-type.lisp
src-list
(module).
head
(reader method).
(setf head)
(writer method).
tape
(reader method).
(setf tape)
(writer method).
tm/src-list/list-tm-definitions.lisp
src-list
(module).
-s*
(method).
a
(method).
esr
(method).
esw
(method).
on-leftmost
(method).
on-rightmost
(method).
r
(method).
s
(method).
tape-length-is-one
(method).
tape-length-is-two
(method).
w
(method).
tm/src-list/nd-tm-type.lisp
src-list
(module).
entangle
(generic function).
nd-tape-machine
(class).
tm/src-list/nd-tm-decls.lisp
src-list
(module).
entangled
(generic function).
heads-on-same-cell
(generic function).
s≠
(generic function).
with-entangled
(generic function).
es*a
(generic function).
tm/src-list/nd-tm-generic.lisp
src-list
(module).
s≠
(method).
tm-print
(generic function).
with-entangled
(method).
es*a
(method).
tm-print-1
(function).
tm/src-list/nd-tm-quantified.lisp
src-list
(module).
tm/src-list/list-nd-tm-type.lisp
src-list
(module).
entangle
(method).
list-nd-tm
(class).
tm/src-list/list-nd-tm-definitions.lisp
src-list
(module).
entangled
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
tm/src-list/solo-tm-type.lisp
src-list
(module).
solo-tape-machine
(class).
tm/src-list/solo-tm-decls.lisp
src-list
(module).
update-tape-after-epa
(generic function).
update-tape-after-epd
(generic function).
tm/src-list/solo-tm-quantified.lisp
src-list
(module).
tm/src-list/list-solo-tm-type.lisp
src-list
(module).
list-solo-tm
(class).
tm/src-list/list-solo-tm-definitions.lisp
src-list
(module).
update-tape-after-epa
(method).
update-tape-after-epd
(method).
tm/src-list/haz-tm-type.lisp
src-list
(module).
haz-tape-machine
(class).
tm/src-list/list-haz-tm-type.lisp
src-list
(module).
list-haz-tm
(class).
tm/src-list/bilist.lisp
src-list
(module).
binode
(structure).
binode-instance
(reader).
(setf binode-instance)
(writer).
binode-left-neighbor
(reader).
(setf binode-left-neighbor)
(writer).
binode-p
(function).
binode-right-neighbor
(reader).
(setf binode-right-neighbor)
(writer).
copy-binode
(function).
make-bilist
(function).
make-bilist-1
(function).
make-binode
(function).
print-bilist
(function).
print-bilist-1
(function).
tm/src-list/bilist-tm-definitions.lisp
src-list
(module).
-a
(method).
-s
(method).
a
(method).
esr
(method).
esw
(method).
on-rightmost
(method).
r
(method).
s
(method).
tape-length-is-one
(method).
tape-length-is-two
(method).
w
(method).
tm/src-list/bilist-nd-tm-type.lisp
src-list
(module).
bilist-nd-tm
(class).
tm/src-list/bilist-solo-tm-type.lisp
src-list
(module).
bilist-solo-tm
(class).
tm/src-list/bilist-solo-tm-definitions.lisp
src-list
(module).
tm/src-list/bilist-haz-tm-type.lisp
src-list
(module).
bilist-haz-tm
(class).
tm/src-generators/recursive.lisp
src-generators
(module).
-s*
(method).
decrement-to
(function).
esr
(method).
increment-to
(function).
init
(method).
mk-interval
(function).
mk-natural
(function).
on-leftmost
(method).
on-rightmost
(method).
r
(method).
recursive
(class).
s
(method).
tape-length-is-one
(method).
tape-length-is-two
(method).
w
(method).
e-s*r
(method).
e-s*sr
(method).
e-s*w
(method).
f
(reader method).
(setf f)
(writer method).
head
(reader method).
(setf head)
(writer method).
initial
(reader method).
(setf initial)
(writer method).
tm/src-tr/identity.lisp
src-tr
(module).
-s*
(method).
a
(method).
d
(method).
entangle
(method).
epa
(method).
epd
(method).
esr
(method).
esw
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
init
(method).
on-leftmost
(method).
on-rightmost
(method).
r
(method).
s
(method).
w
(method).
base
(reader method).
(setf base)
(writer method).
def-identity-tr-1
(macro).
e-s*r
(method).
e-s*w
(method).
identity-tr
(class).
identity-transform
(class).
tm/src-tr/ensemble.lisp
src-tr
(module).
-s*
(method).
ensemble-tr
(class).
esr
(method).
esw
(method).
init
(method).
on-leftmost
(method).
on-rightmost
(method).
r
(method).
s
(method).
tape-length-is-one
(method).
tape-length-is-two
(method).
w
(method).
tm/src-second-level/status-type.lisp
src-second-level
(module).
address
(reader method).
(setf address)
(writer method).
address-rightmost
(reader method).
(setf address-rightmost)
(writer method).
base
(reader method).
(setf base)
(writer method).
status-tape-machine
(class).
to-abandoned
(generic function).
to-active
(generic function).
to-empty
(generic function).
to-parked
(generic function).
tm/src-second-level/status-tm.lisp
src-second-level
(module).
entangled
(method).
p
(generic function).
tape-length-is-one
(method).
tape-length-is-two
(method).
tm-print
(method).
def-abandoned-1
(macro).
def-empty-1
(macro).
def-parked-1
(macro).
tm/src-second-level/status-quantifiers.lisp
src-second-level
(module).
tm/src-second-level/status-quantified.lisp
src-second-level
(module).
pd*
(generic function).
tm/src-second-level/status-copy.lisp
src-second-level
(module).
tm/src-second-level/status=.lisp
src-second-level
(module).
tm/src-second-level/status-abandoned.lisp
src-second-level
(module).
-s
(method).
-s*
(method).
a
(method).
as
(method).
d
(method).
d.
(method).
entangled
(method).
entangled
(method).
epa
(method).
epd
(method).
esr
(method).
esw
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
on-leftmost
(method).
on-rightmost
(method).
p
(method).
r
(method).
s
(method).
s*
(method).
s≠
(method).
tape-length-is-one
(method).
tape-length-is-two
(method).
w
(method).
tm/src-second-level/status-empty.lisp
src-second-level
(module).
-s
(method).
-s*
(method).
a
(method).
d
(method).
d.
(method).
epa
(method).
epd
(method).
esr
(method).
esw
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
on-leftmost
(method).
on-rightmost
(method).
p
(method).
r
(method).
s
(method).
s*
(method).
s≠
(method).
tape-length-is-one
(method).
tape-length-is-two
(method).
w
(method).
es*a
(method).
tm/src-second-level/status-parked.lisp
src-second-level
(module).
-s
(method).
-s*
(method).
a
(method).
d
(method).
d.
(method).
epa
(method).
epd
(method).
esr
(method).
esw
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
heads-on-same-cell
(method).
on-leftmost
(method).
on-rightmost
(method).
p
(method).
r
(method).
s
(method).
s*
(method).
s≠
(method).
s≠
(method).
w
(method).
tm/src-second-level/status-active.lisp
src-second-level
(module).
-s
(method).
-s*
(method).
a
(method).
d
(method).
d.
(method).
epa
(method).
epd
(method).
heads-on-same-cell
(method).
on-leftmost
(method).
on-rightmost
(method).
p
(method).
s
(method).
s*
(method).
tm/src-second-level/ea-type.lisp
src-second-level
(module).
ea-abandoned
(class).
ea-active
(class).
ea-empty
(class).
ea-parked
(class).
ea-parked-active
(class).
ea-tape-machine
(class).
entanglements
(reader method).
(setf entanglements)
(writer method).
entanglements-pt
(reader method).
(setf entanglements-pt)
(writer method).
to-abandoned
(method).
to-active
(method).
to-empty
(method).
to-parked
(method).
tm/src-second-level/ea-tm.lisp
src-second-level
(module).
entangled-on-leftmost
(function).
entangled-on-right-neighbor-cell
(generic function).
entangled-on-same-cell
(generic function).
tm/src-second-level/ea-abandoned.lisp
src-second-level
(module).
entangled-on-right-neighbor-cell
(method).
entangled-on-same-cell
(method).
tm/src-second-level/ea-empty.lisp
src-second-level
(module).
epa
(method).
entangled-on-right-neighbor-cell
(method).
entangled-on-same-cell
(method).
tm/src-second-level/ea-parked.lisp
src-second-level
(module).
entangled-on-right-neighbor-cell
(method).
entangled-on-same-cell
(method).
tm/src-second-level/ea-active.lisp
src-second-level
(module).
entangled-on-right-neighbor-cell
(method).
entangled-on-same-cell
(method).
tm/src-second-level/ea-parked-active.lisp
src-second-level
(module).
tm/src-second-level/ts1-type.lisp
src-second-level
(module).
deed
(reader method).
(setf deed)
(writer method).
to-abandoned
(method).
to-active
(method).
to-empty
(method).
to-parked
(method).
ts1-abandoned
(class).
ts1-active
(class).
ts1-empty
(class).
ts1-parked
(class).
ts1-tape-machine
(class).
tm/src-second-level/ts1-tm.lisp
src-second-level
(module).
-s
(method).
-s*
(method).
a
(method).
as
(method).
d
(method).
entangled
(method).
epa
(method).
epd
(method).
heads-on-same-cell
(method).
on-leftmost
(method).
on-rightmost
(method).
s
(method).
s*
(method).
s≠
(method).
tm/src-array/tiled-number.lisp
src-array
(module).
-s
(method).
-s*
(method).
a
(method).
esr
(method).
esw
(method).
init
(method).
on-leftmost
(method).
on-rightmost
(method).
r
(method).
s
(method).
tape-length-is-one
(method).
tape-length-is-two
(method).
w
(method).
*tile-length*
(special variable).
e-s*r
(method).
e-s*sr
(method).
e-s*sw
(method).
e-s*w
(method).
head
(reader method).
(setf head)
(writer method).
prinx
(function).
shift-left
(function).
tape
(reader method).
(setf tape)
(writer method).
tiled-number-tm
(class).
tm/test-0/list-qL.lisp
test-0
(module).
mk-7
(function).
test-l-0
(function).
test-l-1
(function).
test-l-2
(function).
test-meta-wrap-0
(function).
test-q-0
(function).
test-q-1
(function).
test-unwrap-0
(function).
tm/test-0/functions.lisp
test-0
(module).
test-remove-key-pair-0
(function).
tm/test-list/bilist.lisp
test-list
(module).
test-bilist-0
(function).
test-bilist-1
(function).
test-bilist-2
(function).
test-bilist-3
(function).
test-bilist-4
(function).
test-bilist-5
(function).
tm/test-list/list-nd-tm-definitions.lisp
test-list
(module).
test-heads-on-same-cell-0
(function).
tm/test-list/list-solo-tm-definitions.lisp
test-list
(module).
test-d-0
(function).
test-epa-0
(function).
test-epd-0
(function).
test-epd-1
(function).
tm/test-list/list-tm-definitions.lisp
test-list
(module).
test-list-tm-0
(function).
test-list-tm-1
(function).
test-list-tm-2
(function).
test-list-tm-3
(function).
test-list-tm-4
(function).
test-list-tm-5
(function).
tm/test-list/nd-tm-generic.lisp
test-list
(module).
test-e-s*r-0
(function).
test-es*a-0
(function).
test-mk-entangled-0
(function).
test-s≠-0
(function).
test-s≠-1
(function).
tm/test-list/nd-tm-quantified.lisp
test-list
(module).
test-an-0
(function).
test-eas*-0
(function).
tm/test-list/nd-tm-quantifiers.lisp
test-list
(module).
test-esnr-0
(function).
tm/test-list/solo-tm-quantified.lisp
test-list
(module).
test-d*-0
(function).
test-dn-0
(function).
test-filter-0
(function).
test-filter-1
(function).
test-filter-2
(function).
tm/test-list/tm-generic.lisp
test-list
(module).
test-tm-derived-0
(function).
test-tm-derived-1
(function).
test-tm-derived-2
(function).
test-tm-derived-3
(function).
tm/test-list/tm-quantified.lisp
test-list
(module).
test-a*-0
(function).
test-as*-0
(function).
test-as*-1
(function).
test-asn-0
(function).
test-equiv-0
(function).
test-s*-0
(function).
test-sn-0
(function).
test-sn-1
(function).
test-w*-0
(function).
tm/test-list/quantifiers.lisp
test-list
(module).
test--s*∀-0
(function).
test--s*∃-0
(function).
test-¬∀-0
(function).
test-∀-0
(function).
test-∃-0
(function).
test-∃-1
(function).
test-⟳-0
(function).
tm/test-generators/recursive.lisp
test-generators
(module).
test-recursive-0
(function).
test-recursive-1
(function).
test-recursive-2
(function).
test-recursive-3
(function).
tm/test-tr/identity.lisp
test-tr
(module).
test-identity-0
(function).
tm/test-tr/ensemble.lisp
test-tr
(module).
test-ensemble-0
(function).
tm/test-second-level/status.lisp
test-second-level
(module).
test-status-0
(function).
test-status-1
(function).
test-status-4
(function).
test-status-5
(function).
test-status-6
(function).
tm/test-second-level/status-quantifiers.lisp
test-second-level
(module).
test-status-quantifiers-0
(function).
test-status-quantifiers-1
(function).
tm/test-second-level/status-quantified.lisp
test-second-level
(module).
test-status-filter-0
(function).
test-status-filter-1
(function).
test-status-filter-2
(function).
tm/test-second-level/ts1.lisp
test-second-level
(module).
test-ts1-0
(function).
test-ts1-1
(function).
test-ts1-2
(function).
test-ts1-3
(function).
test-ts1-4
(function).
test-ts1-4-t1
(function).
test-ts1-4-t2-drain
(function).
test-ts1-4-t2-wait
(function).
test-ts1-5
(function).
test-ts1-5-t1
(function).
test-ts1-5-t2-drain
(function).
tm/test-second-level/copy.lisp
test-second-level
(module).
test-c-status-0
(function).
test-c-status-1
(function).
test-c-status-2
(function).
test-c-status-3
(function).
test-c-status-4
(function).
test-c-status-5
(function).
test-c-status-6
(function).
test-c-status-7
(function).
tm/test-array/tiled-number.lisp
test-array
(module).
test-tiled-0
(function).
test-tiled-1
(function).
test-tiled-2
(function).
test-tiled-3
(function).
test-tiled-4
(function).
Packages are listed by definition order.
tm
common-lisp
.
local-time
.
*log-default-file-name*
(special variable).
-a
(generic function).
-d
(generic function).
-s
(generic function).
-s*
(generic function).
a
(generic function).
a*
(generic function).
abandon
(generic function).
abandoned
(class).
access-through-parked-head
(function).
access-through-parked-head
(condition).
active
(class).
alloc-fail
(function).
alloc-fail
(condition).
always-false
(function).
always-true
(function).
an
(generic function).
as
(generic function).
as*
(generic function).
asn
(generic function).
be
(function).
bilist-haz-tm
(class).
bilist-nd-tm
(class).
bilist-solo-tm
(class).
bilist-tm
(class).
boolify
(function).
box
(macro).
box
(structure).
c
(generic function).
c-fit
(generic function).
cant-happen
(function).
d
(generic function).
d*
(generic function).
d.
(generic function).
decrement-to
(function).
def-function-class
(macro).
def-type
(macro).
defsynonym
(macro).
defun-typed
(macro).
dn
(generic function).
do-nothing
(function).
ea-tm
(class).
eas*
(generic function).
echo
(function).
empty
(class).
ensemble-tr
(class).
entangle
(generic function).
entangled
(generic function).
epa
(generic function).
epd
(generic function).
equiv
(generic function).
esnr
(generic function).
esnw
(generic function).
esr
(generic function).
esw
(generic function).
filter
(generic function).
haz-tape-machine
(class).
heads-on-same-cell
(generic function).
increment-to
(function).
init
(generic function).
l
(macro).
list-haz-tm
(class).
list-nd-tm
(class).
list-solo-tm
(class).
list-tm
(class).
mk
(function).
mk-interval
(function).
mk-natural
(function).
nd-tape-machine
(class).
nl
(function).
not-implemented
(function).
not-implemented
(condition).
notλ
(function).
o
(function).
on-leftmost
(generic function).
on-rightmost
(generic function).
operation-on-abandoned
(function).
operation-on-abandoned
(condition).
p
(generic function).
parked
(class).
print-to-log
(function).
p∀
(generic function).
p∀*
(generic function).
p∃
(generic function).
p∃*
(generic function).
q
(macro).
r
(generic function).
recursive
(class).
remove-key-pair
(function).
remove-key-pairs
(function).
s
(generic function).
s*
(generic function).
sn
(generic function).
solo-tape-machine
(class).
status-tm
(class).
string≠
(macro).
string≤
(macro).
string≥
(macro).
s≠
(generic function).
tape-length-is-one
(generic function).
tape-length-is-two
(generic function).
tape-machine
(class).
test-all
(function).
test-all-and-self
(function).
test-hook
(macro).
test-remove
(macro).
tm-print
(generic function).
ts1-tm
(class).
unbox
(function).
(setf unbox)
(function).
unwrap
(function).
use-of-empty
(function).
use-of-empty
(condition).
w
(generic function).
w*
(generic function).
with-entangled
(generic function).
¬
(macro).
λ
(macro).
∀
(generic function).
∀*
(generic function).
∃
(generic function).
∃*
(generic function).
∅
(constant).
∧
(macro).
∨
(macro).
≠
(macro).
≤
(macro).
≥
(macro).
⟳
(function).
*prins-lock*
(special variable).
*prins-on*
(special variable).
*test-routines*
(special variable).
*tile-length*
(special variable).
-s*∀
(generic function).
-s*∀*
(generic function).
-s*∃
(generic function).
-s*∃*
(generic function).
a&s*
(generic function).
address
(generic reader).
(setf address)
(generic writer).
address-rightmost
(generic reader).
(setf address-rightmost)
(generic writer).
as&s*
(generic function).
bad-init-value
(condition).
base
(generic reader).
(setf base)
(generic writer).
binner-no-such-bin
(condition).
binode
(structure).
binode-instance
(reader).
(setf binode-instance)
(writer).
binode-left-neighbor
(reader).
(setf binode-left-neighbor)
(writer).
binode-p
(function).
binode-right-neighbor
(reader).
(setf binode-right-neighbor)
(writer).
box-p
(function).
box-read
(reader).
(setf box-read)
(writer).
box-write
(reader).
(setf box-write)
(writer).
braces-reader-macro
(function).
brackets-reader-macro
(function).
consume-key
(function).
copy-binode
(function).
copy-box
(function).
dealloc-collision
(condition).
dealloc-last
(condition).
dealloc-on-rightmost
(condition).
dealloc-parked
(condition).
deed
(generic reader).
(setf deed)
(generic writer).
def-abandoned-1
(macro).
def-empty-1
(macro).
def-identity-tr-1
(macro).
def-parked-1
(macro).
dequeue-from-empty
(condition).
e-s*r
(generic function).
e-s*sr
(generic function).
e-s*sw
(generic function).
e-s*w
(generic function).
ea-abandoned
(class).
ea-active
(class).
ea-empty
(class).
ea-parked
(class).
ea-parked-active
(class).
ea-tape-machine
(class).
entangled-on-leftmost
(function).
entangled-on-right-neighbor-cell
(generic function).
entangled-on-same-cell
(generic function).
entanglements
(generic reader).
(setf entanglements)
(generic writer).
entanglements-pt
(generic reader).
(setf entanglements-pt)
(generic writer).
es*a
(generic function).
example-exception-test
(function).
example-fail-test
(function).
example-illegal-test
(function).
example-pass-test
(function).
f
(generic reader).
(setf f)
(generic writer).
has-to-open-mark
(function).
head
(generic reader).
(setf head)
(generic writer).
identity-tr
(class).
identity-transform
(class).
impossible-to-get-here
(condition).
initial
(generic reader).
(setf initial)
(generic writer).
left-dealloc-on-leftmost
(condition).
make-bilist
(function).
make-bilist-1
(function).
make-binode
(function).
make-box
(function).
members
(generic reader).
(setf members)
(generic writer).
meta-q
(function).
meta-wrap
(function).
meta-wrap-gather
(function).
meta-wrap-relay
(function).
mk-7
(function).
non-function-continuation
(condition).
not-ready
(condition).
object-not-tape-machine
(condition).
pd*
(generic function).
prins
(macro).
print-bilist
(function).
print-bilist-1
(function).
prinx
(function).
remove-mark
(function).
shift-left
(function).
status-tape-machine
(class).
step-from-rightmost
(condition).
tape
(generic reader).
(setf tape)
(generic writer).
test
(function).
test--s*∀-0
(function).
test--s*∃-0
(function).
test-a*-0
(function).
test-an-0
(function).
test-as*-0
(function).
test-as*-1
(function).
test-asn-0
(function).
test-bilist-0
(function).
test-bilist-1
(function).
test-bilist-2
(function).
test-bilist-3
(function).
test-bilist-4
(function).
test-bilist-5
(function).
test-c-0
(function).
test-c-1
(function).
test-c-2
(function).
test-c-3
(function).
test-c-status-0
(function).
test-c-status-1
(function).
test-c-status-2
(function).
test-c-status-3
(function).
test-c-status-4
(function).
test-c-status-5
(function).
test-c-status-6
(function).
test-c-status-7
(function).
test-d*-0
(function).
test-d-0
(function).
test-dn-0
(function).
test-e-s*r-0
(function).
test-ea-0
(function).
test-ea-1
(function).
test-ea-2
(function).
test-ea-3
(function).
test-ea-4
(function).
test-eas*-0
(function).
test-ensemble-0
(function).
test-entangled-0
(function).
test-epa-0
(function).
test-epd-0
(function).
test-epd-1
(function).
test-equiv-0
(function).
test-es*a-0
(function).
test-esnr-0
(function).
test-filter-0
(function).
test-filter-1
(function).
test-filter-2
(function).
test-heads-on-same-cell-0
(function).
test-identity-0
(function).
test-l-0
(function).
test-l-1
(function).
test-l-2
(function).
test-list-tm-0
(function).
test-list-tm-1
(function).
test-list-tm-2
(function).
test-list-tm-3
(function).
test-list-tm-4
(function).
test-list-tm-5
(function).
test-meta-wrap-0
(function).
test-mk-entangled-0
(function).
test-q-0
(function).
test-q-1
(function).
test-recursive-0
(function).
test-recursive-1
(function).
test-recursive-2
(function).
test-recursive-3
(function).
test-remove-key-pair-0
(function).
test-s*-0
(function).
test-sn-0
(function).
test-sn-1
(function).
test-status-0
(function).
test-status-1
(function).
test-status-4
(function).
test-status-5
(function).
test-status-6
(function).
test-status-filter-0
(function).
test-status-filter-1
(function).
test-status-filter-2
(function).
test-status-quantifiers-0
(function).
test-status-quantifiers-1
(function).
test-s≠-0
(function).
test-s≠-1
(function).
test-tiled-0
(function).
test-tiled-1
(function).
test-tiled-2
(function).
test-tiled-3
(function).
test-tiled-4
(function).
test-tm-derived-0
(function).
test-tm-derived-1
(function).
test-tm-derived-2
(function).
test-tm-derived-3
(function).
test-ts1-0
(function).
test-ts1-1
(function).
test-ts1-2
(function).
test-ts1-3
(function).
test-ts1-4
(function).
test-ts1-4-t1
(function).
test-ts1-4-t2-drain
(function).
test-ts1-4-t2-wait
(function).
test-ts1-5
(function).
test-ts1-5-t1
(function).
test-ts1-5-t2-drain
(function).
test-unwrap-0
(function).
test-w*-0
(function).
test-¬∀-0
(function).
test-∀-0
(function).
test-∃-0
(function).
test-∃-1
(function).
test-⟳-0
(function).
text
(generic reader).
tiled-number-tm
(class).
tm-print-1
(function).
to-abandoned
(generic function).
to-active
(generic function).
to-empty
(generic function).
to-parked
(generic function).
ts1-abandoned
(class).
ts1-active
(class).
ts1-empty
(class).
ts1-parked
(class).
ts1-tape-machine
(class).
turn-off-prins
(function).
turn-on-prins
(function).
update-tape-after-epa
(generic function).
update-tape-after-epd
(generic function).
use-of-o
(condition).
worker-must-have-src-or-dst
(condition).
wrap
(function).
δ-malformed-access-program
(condition).
δ-required-arg-missing
(condition).
δ-unrecognized-command
(condition).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Define OLD-NAME to be equivalent to NEW-NAME when used in the first position of a Lisp form.
tm
.
Given a list, returns a new list with one less level of parens per constiuent list instance.
tm
.
⟳ (pronounced "do") accepts a ’work’ function. ’work’ may be a nameless lambda. ⟳ calls work with a single continuation argument. That continuation is the work function. Hence, when the continuation is called, work is called again.
tm
.
If no cells are available, ➜no-alloc. Otherwise, allocate a new cell and place
it to the left of the cell the head is currently on. The newly allocated cell will
be initialized with the given instance.
Deallocate the left neighbor of the cell the head is on.
tm
.
bilist-solo-tm
) &optional spill ➜) ¶If the head is on a cell, and there is a left neighbor, puts the head on the left neighbor and ➜ok. If there is no left neighbor, then ➜leftmost.
tm
.
tiled-number-tm
) &optional ➜) ¶tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶identity-tr
) &optional ➜) ¶If no cells are available, ➜no-alloc. Otherwise, allocate a new cell and place
it to the left of the cell the head is currently on. The newly allocated cell will
be initialized with the given instance. This function is not available for
singly linkedin lists.
tm
.
tiled-number-tm
) instance &optional ➜) ¶identity-tr
) instance &optional ➜) ¶Calls #’a repeatedly with successive instances from tm-fill.
tm will not be stepped. tm-fill will be stepped.
The sequence order as it is found on tm-fill will be reversed on tm.
tm
.
tape-machine
) fill &optional ➜) ¶Similar to calling #’a n times on a mk-entangled-with of tm.
tm
.
nd-tape-machine
) (n integer
) fill &optional ➜) ¶Like #’a, but tm is stepped to the new cell
Calls #’as repeatedly with successive instances from tm-fill.
Both tm and tm-fill will be stepped.
tm
.
tape-machine
) (fill tape-machine
) &optional ➜) ¶Similar to calling #’as n times. fill provides initialization data. tm and fill are both stepped n times.
tm
.
tape-machine
) (n integer
) &optional fill ➜) ¶tm
.
parked
) (dst tape-machine
) &optional ➜) ¶empty
) (dst tape-machine
) &optional ➜) ¶tape-machine
) (dst abandoned
) &optional ➜) ¶abandoned
) (dst tape-machine
) &optional ➜) ¶tape-machine
) (dst parked
) &optional ➜) ¶tape-machine
) (dst empty
) &optional ➜) ¶tape-machine
) (dst tape-machine
) &optional ➜) ¶tm
.
empty
) (dst status-tape-machine
)) ¶tape-machine
) (dst tape-machine
)) ¶Deallocate the right neighbor of the cell the head is on.
I.e. deallocates a region of length 1 located to the right of the head.
Returns the instance from the deallocated cell.
If spill is not ∅, the deallocated cell is moved to spill, or a new
cell is allocated to spill and the instance reference is moved there.
tm
.
identity-tr
) &optional spill ➜) ¶bilist-solo-tm
) &optional spill ➜) ¶list-solo-tm
) &optional spill ➜) ¶Deallocate the right hand side of the tape.
Deallocate the indicated cell. Orphans tm while doing so, which is why this is a ’haz’ operation. The status machine will abandon tm, but the first level machines have no way of doing so.
Deallocate rightmost n times, or take a rightmost continuation. The remaining n is passed to the continutation
tm
.
solo-tape-machine
) (n number
) &optional spill ➜) ¶calls #’as repeatedly on a mk-entangled copy of tm, filling
with successive instances from tm-fill.
tm will not be stepped. tm-fill will be stepped.
tm
.
nd-tape-machine
) fill &optional ➜) ¶tm
.
identity-tr
) &optional ➜) ¶list-nd-tm
) &optional ➜) ¶tm
.
tape-machine
) (tm1 abandoned
) &optional ➜) ¶abandoned
) (tm1 tape-machine
) &optional ➜) ¶list-nd-tm
) (tm1 list-nd-tm
) &optional ➜) ¶Allocates a cell to the left of leftmost (thus becoming the new leftmost).
tm
.
ea-parked-active
) instance &optional ➜) ¶identity-tr
) instance &optional ➜) ¶bilist-solo-tm
) instance &optional ➜) ¶list-solo-tm
) instance &optional ➜) ¶Deallocates leftmost.
Returns the instance from the deallocated cell.
If spill is not ∅, the deallocated cell is moved to spill, or a new
cell is allocated to spill and the instance reference is moved there.
tm
.
ea-parked-active
) &optional spill ➜) ¶identity-tr
) &optional spill ➜) ¶bilist-solo-tm
) &optional spill ➜) ¶list-solo-tm
) &optional spill ➜) ¶tm
.
tape-machine
) (b parked
) &optional ➜) ¶parked
) (b tape-machine
) &optional ➜) ¶tape-machine
) (b empty
) &optional ➜) ¶empty
) (b tape-machine
) &optional ➜) ¶tape-machine
) (tm1 tape-machine
) &optional ➜) ¶This is an indexed read operation. It makes an entangled copy of ’tm’,
steps it ’index’ times, then reads it.
tm
.
nd-tape-machine
) index &optional ➜) ¶This is an indexed write operation. It makes an entangled copy of ’tm’,
steps it ’index’ places, then writes the ’instance’.
tm
.
nd-tape-machine
) index instance &optional ➜) ¶tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶identity-tr
) &optional ➜) ¶tm
.
tiled-number-tm
) instance &optional ➜) ¶ensemble-tr
) instance &optional ➜) ¶identity-tr
) instance &optional ➜) ¶tm
.
tape-machine
) (tm1 abandoned
) &optional ➜) ¶abandoned
) (tm1 tape-machine
) &optional ➜) ¶tape-machine
) (tm1 identity-tr
) &optional ➜) ¶identity-tr
) (tm1 tape-machine
) &optional ➜) ¶identity-tr
) (tm1 identity-tr
) &optional ➜) ¶tape-machine
) (tm1 list-nd-tm
) &optional ➜) ¶list-nd-tm
) (tm1 tape-machine
) &optional ➜) ¶list-nd-tm
) (tm1 list-nd-tm
) &optional ➜) ¶tm
.
tiled-number-tm
) &optional keyed-parms ➜) ¶ensemble-tr
) &optional init-value ➜) ¶identity-tr
) &optional init-value ➜) ¶tape-machine
) &optional init-parms ➜) ¶tm head is on leftmost ➜t, else ➜∅
tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶identity-tr
) &optional ➜) ¶tm head is on the rightmost cell ➜t, else ➜∅
tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶identity-tr
) &optional ➜) ¶tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶identity-tr
) &optional ➜) ¶If the head is on a cell, and there is a right neighbor, puts the head on the right neighbor and ➜ok. If there is no right neighbor, then ➜rightmost.
tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶identity-tr
) &optional ➜) ¶Cue tm’s head to the rightmost cell.
tm
.
tape-machine
) &optional ➜) ¶Step n times. When called, cont-rightmost is passed the current value of n. For
example, if the head is on leftmost, and the tape has two cells, and sn is called
with n set to 3, then the step from rightmost continuation will be called with a
value of 2.
tm
.
tape-machine
) (n integer
) &optional ➜) ¶tm0 and tm1 are on the same tape.
If tm0’s head is on the same call as tm1’s head, take cont-bound. Otherwise
if tm0’s head is on the rightmost cell, take cont-rightmost. Otherwise,
step tm0.
tm
.
nd-tape-machine
) (tm1 nd-tape-machine
) &optional ➜) ¶tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶tm
.
nd-tape-machine
)) ¶tm
.
tiled-number-tm
) instance &optional ➜) ¶ensemble-tr
) instance &optional ➜) ¶identity-tr
) instance &optional ➜) ¶Reads fill, and writes tm, steps both, and repeats until fill passes rightmost;
it then follows cont-ok. Should tm hit rightmost first, then cont-rightmost-tm.
tm
.
tape-machine
) fill &optional ➜) ¶tm
.
nd-tape-machine
) continuation) ¶tm
.
tape-machine
) (pred function
) &optional ➜) ¶Tests each instance in tm in succession starting from the current location of the head.
Exits via ➜t upon the test passing. Otherwise steps and repeats. Exits via
➜∅ when stepping right from rightmost. The head is left on the cell that holds the
instance that passed.
tm
.
tape-machine
) pred) ¶Calls (pred tm ➜t ➜∅), and steps head, until reaching the end fo the tape, returns number pair: (true.count.false-count).
tm
.
-s
.
-s*
.
-s*∀
.
-s*∀*
.
-s*∃
.
-s*∃*
.
a
.
a&s*
.
as
.
as&s*
.
c
.
c
.
d
.
d*
.
d.
.
e-s*r
.
e-s*w
.
entangled
.
entangled
.
epa
.
epd
.
equiv
.
equiv
.
es*a
.
esr
.
esw
.
filter
.
heads-on-same-cell
.
heads-on-same-cell
.
heads-on-same-cell
.
on-leftmost
.
on-rightmost
.
p
.
p∀
.
p∀*
.
p∃
.
p∃*
.
r
.
s
.
s*
.
s≠
.
tape-length-is-one
.
tape-length-is-two
.
w
.
∀
.
∀*
.
∃
.
∃*
.
tm
.
-s
.
-s*
.
c
.
c
.
d
.
d*
.
d.
.
epa
.
epd
.
heads-on-same-cell
.
on-leftmost
.
on-rightmost
.
p
.
p∀
.
p∀*
.
p∃
.
p∃*
.
s
.
s*
.
s≠
.
tape-length-is-one
.
tape-length-is-two
.
tm
.
-s*
.
e-s*r
.
e-s*sr
.
e-s*sw
.
e-s*w
.
esr
.
esw
.
init
.
(setf members)
.
members
.
on-leftmost
.
on-rightmost
.
r
.
s
.
tape-length-is-one
.
tape-length-is-two
.
w
.
tm::members
tm
.
-s*
.
a
.
e-s*r
.
e-s*sr
.
e-s*sw
.
e-s*w
.
esr
.
esw
.
(setf head)
.
head
.
init
.
on-leftmost
.
on-rightmost
.
r
.
s
.
(setf tape)
.
tape
.
tape-length-is-one
.
tape-length-is-two
.
w
.
tm
.
-s*
.
e-s*r
.
e-s*sr
.
e-s*w
.
esr
.
(setf f)
.
f
.
(setf head)
.
head
.
init
.
(setf initial)
.
initial
.
on-leftmost
.
on-rightmost
.
r
.
s
.
tape-length-is-one
.
tape-length-is-two
.
w
.
tm::initial
tm
.
a
.
abandon
.
(setf address)
.
address
.
(setf address-rightmost)
.
address-rightmost
.
(setf base)
.
base
.
entangle
.
entangled
.
heads-on-same-cell
.
heads-on-same-cell
.
heads-on-same-cell
.
heads-on-same-cell
.
init
.
tape-length-is-one
.
tape-length-is-two
.
tm-print
.
to-abandoned
.
to-active
.
to-empty
.
to-parked
.
with-entangled
.
:address
:address-rightmost
tm
.
-s
.
-s*
.
a
.
a&s*
.
as
.
as&s*
.
d
.
(setf deed)
.
deed
.
entangle
.
entangled
.
epa
.
epd
.
es*a
.
heads-on-same-cell
.
init
.
on-leftmost
.
on-rightmost
.
s
.
s*
.
s≠
.
to-abandoned
.
to-active
.
to-empty
.
to-parked
.
tm
.
tm
.
tm
.
#’a with a contract that the head is on rightmost.
#’as with a contract that the head is on rightmost.
tm
.
tiled-number-tm
) &optional ➜) ¶ensemble-tr
) &optional ➜) ¶identity-tr
) &optional ➜) ¶tm
.
tiled-number-tm
) instance &optional ➜) ¶ensemble-tr
) instance &optional ➜) ¶tm
.
tiled-number-tm
) instance &optional ➜) ¶ensemble-tr
) instance &optional ➜) ¶identity-tr
) instance &optional ➜) ¶tm
.
ea-abandoned
) &optional ➜) ¶tm
.
ea-abandoned
) &optional ➜) ¶Allocates a cell to the right of rightmost (thus becoming the new rightmost).
tm
.
nd-tape-machine
) instance &optional ➜) ¶Allocates a cell to the right of rightmost (thus becoming the new rightmost).
tm
.
tiled-number-tm
)) ¶automatically generated reader method
head
.
recursive
)) ¶automatically generated reader method
head
.
tm
.
tiled-number-tm
)) ¶automatically generated writer method
head
.
recursive
)) ¶automatically generated writer method
head
.
tm
.
ensemble-tr
)) ¶automatically generated reader method
tm
.
ensemble-tr
)) ¶automatically generated writer method
tm
.
δ-required-arg-missing
)) ¶text
.
δ-unrecognized-command
)) ¶text
.
δ-malformed-access-program
)) ¶text
.
object-not-tape-machine
)) ¶text
.
binner-no-such-bin
)) ¶text
.
worker-must-have-src-or-dst
)) ¶text
.
dequeue-from-empty
)) ¶text
.
access-through-parked-head
)) ¶text
.
use-of-empty
)) ¶text
.
operation-on-abandoned
)) ¶text
.
non-function-continuation
)) ¶text
.
dealloc-parked
)) ¶text
.
dealloc-last
)) ¶text
.
dealloc-collision
)) ¶text
.
left-dealloc-on-leftmost
)) ¶text
.
dealloc-on-rightmost
)) ¶text
.
alloc-fail
)) ¶text
.
step-from-rightmost
)) ¶text
.
bad-init-value
)) ¶text
.
impossible-to-get-here
)) ¶text
.
not-implemented
)) ¶text
.
tm
.
list-solo-tm
) (tm-ref list-solo-tm
)) ¶tm
.
list-solo-tm
) (tm-ref list-solo-tm
)) ¶tm
.
-s*
.
a
.
(setf base)
.
base
.
d
.
e-s*r
.
e-s*w
.
entangle
.
epa
.
epd
.
esr
.
esw
.
heads-on-same-cell
.
heads-on-same-cell
.
heads-on-same-cell
.
init
.
on-leftmost
.
on-rightmost
.
r
.
s
.
w
.
tm
.
tm
.
-s
.
-s*
.
a
.
e-s*r
.
e-s*sr
.
e-s*sw
.
e-s*w
.
esr
.
esw
.
(setf head)
.
head
.
init
.
on-leftmost
.
on-rightmost
.
r
.
s
.
(setf tape)
.
tape
.
tape-length-is-one
.
tape-length-is-two
.
w
.
Jump to: | (
-
¬
∀
∃
∧
∨
≠
≤
≥
⟳
A B C D E F G H I L M N O P Q R S T U W Λ |
---|