The tm Reference Manual

This is the tm Reference Manual, version 0.7, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sat Dec 03 23:30:04 2022 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 tm

Formalized Iteration Library for Common LISP

Author

Thomas W. Lynch <>

License

MIT License

Version

0.7

Dependencies
  • local-time (system).
  • bordeaux-threads (system).
Source

tm.asd.

Child Components

3 Modules

Modules are listed depth-first from the system components tree.


3.1 tm/package-def

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.2 tm/src-0

Dependency

package-def (module).

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.3 tm/src-test

Dependency

src-0 (module).

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.5 tm/src-generators

Dependency

src-list (module).

Source

tm.asd.

Parent Component

tm (system).

Child Component

recursive.lisp (file).


3.6 tm/src-tr

Dependency

src-generators (module).

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.7 tm/src-second-level

Dependency

src-tr (module).

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.8 tm/src-array

Dependency

src-second-level (module).

Source

tm.asd.

Parent Component

tm (system).

Child Component

tiled-number.lisp (file).


3.9 tm/test-0

Dependency

src-array (module).

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.10 tm/test-list

Dependency

test-0 (module).

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.11 tm/test-generators

Dependency

test-list (module).

Source

tm.asd.

Parent Component

tm (system).

Child Component

recursive.lisp (file).


3.12 tm/test-tr

Dependency

test-generators (module).

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.13 tm/test-second-level

Dependency

test-tr (module).

Source

tm.asd.

Parent Component

tm (system).

Child Components

3.14 tm/test-array

Dependency

test-second-level (module).

Source

tm.asd.

Parent Component

tm (system).

Child Component

tiled-number.lisp (file).


4 Files

Files are sorted by type and then listed depth-first from the systems components trees.


4.1 Lisp


4.1.1 tm/tm.asd

Source

tm.asd.

Parent Component

tm (system).

ASDF Systems

tm.


4.1.2 tm/package-def/package.lisp

Source

tm.asd.

Parent Component

package-def (module).

Packages

tm.


4.1.3 tm/package-def/conditions.lisp

Source

tm.asd.

Parent Component

package-def (module).

Public Interface
Internals

4.1.4 tm/src-0/synonyms.lisp

Source

tm.asd.

Parent Component

src-0 (module).

Public Interface

4.1.5 tm/src-0/list-qL.lisp

Source

tm.asd.

Parent Component

src-0 (module).

Public Interface
  • l (macro).
  • o (function).
  • q (macro).
  • unwrap (function).
Internals

4.1.6 tm/src-0/reader-macros.lisp

Source

tm.asd.

Parent Component

src-0 (module).

Internals

4.1.7 tm/src-0/functions.lisp

Source

tm.asd.

Parent Component

src-0 (module).

Public Interface
Internals

4.1.8 tm/src-test/print.lisp

Source

tm.asd.

Parent Component

src-test (module).

Internals

4.1.9 tm/src-test/test.lisp

Source

tm.asd.

Parent Component

src-test (module).

Public Interface
Internals

4.1.10 tm/src-list/tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

4.1.11 tm/src-list/tm-decls.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
Internals

4.1.12 tm/src-list/tm-generic.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • as (generic function).
  • s* (generic function).
Internals
  • a&s* (generic function).
  • as&s* (generic function).

4.1.13 tm/src-list/quantifiers.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
Internals

4.1.14 tm/src-list/tm-quantified.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • a* (generic function).
  • as* (generic function).
  • asn (generic function).
  • equiv (generic function).
  • sn (generic function).
  • w* (generic function).

4.1.15 tm/src-list/list-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
Internals

4.1.16 tm/src-list/list-tm-definitions.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
Internals

4.1.17 tm/src-list/list-tm-specialized-generic.lisp

Source

tm.asd.

Parent Component

src-list (module).

Internals

4.1.18 tm/src-list/nd-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

4.1.19 tm/src-list/nd-tm-decls.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
Internals

es*a (generic function).


4.1.20 tm/src-list/nd-tm-generic.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
Internals

4.1.21 tm/src-list/nd-tm-quantified.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • an (generic function).
  • eas* (generic function).
  • esnr (generic function).
  • esnw (generic function).

4.1.22 tm/src-list/list-nd-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

4.1.23 tm/src-list/list-nd-tm-definitions.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

4.1.24 tm/src-list/solo-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

solo-tape-machine (class).


4.1.25 tm/src-list/solo-tm-decls.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • d (generic function).
  • epa (generic function).
  • epd (generic function).
Internals

4.1.26 tm/src-list/solo-tm-quantified.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • d* (generic function).
  • dn (generic function).
  • filter (generic function).

4.1.27 tm/src-list/list-solo-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

list-solo-tm (class).


4.1.28 tm/src-list/list-solo-tm-definitions.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • d (method).
  • epa (method).
  • epd (method).
Internals

4.1.29 tm/src-list/haz-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

haz-tape-machine (class).


4.1.30 tm/src-list/haz-tm-decls.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

d. (generic function).


4.1.31 tm/src-list/list-haz-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

list-haz-tm (class).


4.1.32 tm/src-list/bi-tm-decls.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • -a (generic function).
  • -d (generic function).
  • -s (generic function).

4.1.33 tm/src-list/bilist.lisp

Source

tm.asd.

Parent Component

src-list (module).

Internals

4.1.34 tm/src-list/bilist-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

4.1.35 tm/src-list/bilist-tm-definitions.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
Internals

4.1.36 tm/src-list/bilist-nd-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

bilist-nd-tm (class).


4.1.37 tm/src-list/bilist-nd-tm-definitions.lisp

Source

tm.asd.

Parent Component

src-list (module).


4.1.38 tm/src-list/bilist-solo-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

bilist-solo-tm (class).


4.1.39 tm/src-list/bilist-solo-tm-definitions.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • -d (method).
  • d (method).
  • epa (method).
  • epd (method).

4.1.40 tm/src-list/bilist-haz-tm-type.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

bilist-haz-tm (class).


4.1.41 tm/src-list/bilist-haz-definitions.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface

d. (method).


4.1.42 tm/src-list/copy.lisp

Source

tm.asd.

Parent Component

src-list (module).

Public Interface
  • c (generic function).
  • c-fit (generic function).

4.1.43 tm/src-generators/recursive.lisp

Source

tm.asd.

Parent Component

src-generators (module).

Public Interface
Internals

4.1.44 tm/src-tr/identity.lisp

Source

tm.asd.

Parent Component

src-tr (module).

Public Interface
Internals

4.1.45 tm/src-tr/ensemble.lisp

Source

tm.asd.

Parent Component

src-tr (module).

Public Interface
Internals

4.1.46 tm/src-second-level/status-type.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

4.1.47 tm/src-second-level/status-tm.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

4.1.48 tm/src-second-level/status-quantifiers.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

4.1.49 tm/src-second-level/status-quantified.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

pd* (generic function).


4.1.50 tm/src-second-level/status-copy.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
  • c (method).
  • c (method).
  • c (method).
  • c (method).
  • c (method).
  • c (method).
  • c (method).
  • c (method).
  • c (method).
  • c (method).
  • c (method).
  • c-fit (method).
  • c-fit (method).

4.1.51 tm/src-second-level/status=.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface

4.1.52 tm/src-second-level/status-abandoned.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

4.1.53 tm/src-second-level/status-empty.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

es*a (method).


4.1.54 tm/src-second-level/status-parked.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface

4.1.55 tm/src-second-level/status-active.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface

4.1.56 tm/src-second-level/ea-type.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

4.1.57 tm/src-second-level/ea-tm.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Internals

4.1.58 tm/src-second-level/ea-abandoned.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Internals

4.1.59 tm/src-second-level/ea-empty.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface

epa (method).

Internals

4.1.60 tm/src-second-level/ea-parked.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
  • -s* (method).
  • s* (method).
Internals

4.1.61 tm/src-second-level/ea-active.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
  • a (method).
  • d (method).
Internals

4.1.62 tm/src-second-level/ea-parked-active.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface

4.1.63 tm/src-second-level/ts1-type.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

4.1.64 tm/src-second-level/ts1-tm.lisp

Source

tm.asd.

Parent Component

src-second-level (module).

Public Interface
Internals

4.1.65 tm/src-array/tiled-number.lisp

Source

tm.asd.

Parent Component

src-array (module).

Public Interface
Internals

4.1.66 tm/test-0/list-qL.lisp

Source

tm.asd.

Parent Component

test-0 (module).

Internals

4.1.67 tm/test-0/functions.lisp

Source

tm.asd.

Parent Component

test-0 (module).

Internals

test-remove-key-pair-0 (function).


4.1.68 tm/test-list/bilist.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.69 tm/test-list/list-nd-tm-definitions.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

test-heads-on-same-cell-0 (function).


4.1.70 tm/test-list/list-solo-tm-definitions.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.71 tm/test-list/list-tm-definitions.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.72 tm/test-list/nd-tm-generic.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.73 tm/test-list/nd-tm-quantified.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.74 tm/test-list/nd-tm-quantifiers.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

test-esnr-0 (function).


4.1.75 tm/test-list/solo-tm-quantified.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.76 tm/test-list/tm-generic.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.77 tm/test-list/tm-quantified.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.78 tm/test-list/quantifiers.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.79 tm/test-list/copy.lisp

Source

tm.asd.

Parent Component

test-list (module).

Internals

4.1.80 tm/test-generators/recursive.lisp

Source

tm.asd.

Parent Component

test-generators (module).

Internals

4.1.81 tm/test-tr/identity.lisp

Source

tm.asd.

Parent Component

test-tr (module).

Internals

test-identity-0 (function).


4.1.82 tm/test-tr/ensemble.lisp

Source

tm.asd.

Parent Component

test-tr (module).

Internals

test-ensemble-0 (function).


4.1.83 tm/test-second-level/status.lisp

Source

tm.asd.

Parent Component

test-second-level (module).

Internals

4.1.84 tm/test-second-level/status-quantifiers.lisp

Source

tm.asd.

Parent Component

test-second-level (module).

Internals

4.1.85 tm/test-second-level/status-quantified.lisp

Source

tm.asd.

Parent Component

test-second-level (module).

Internals

4.1.86 tm/test-second-level/ea.lisp

Source

tm.asd.

Parent Component

test-second-level (module).

Internals

4.1.87 tm/test-second-level/ts1.lisp

Source

tm.asd.

Parent Component

test-second-level (module).

Internals

4.1.88 tm/test-second-level/copy.lisp

Source

tm.asd.

Parent Component

test-second-level (module).

Internals

4.1.89 tm/test-array/tiled-number.lisp

Source

tm.asd.

Parent Component

test-array (module).

Internals

5 Packages

Packages are listed by definition order.


5.1 tm

Source

package.lisp.

Use List
  • common-lisp.
  • local-time.
Public Interface
Internals

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


6.1 Public Interface


6.1.1 Constants

Constant:
Package

tm.

Source

synonyms.lisp.


6.1.2 Special variables

Special Variable: *log-default-file-name*
Package

tm.

Source

test.lisp.


6.1.3 Macros

Macro: box (arg)
Package

tm.

Source

functions.lisp.

Macro: def-function-class (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: def-type (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: defsynonym (old-name new-name)

Define OLD-NAME to be equivalent to NEW-NAME when used in the first position of a Lisp form.

Package

tm.

Source

synonyms.lisp.

Macro: defun-typed (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: l (&rest instances)
Package

tm.

Source

list-ql.lisp.

Macro: q (&rest instances)
Package

tm.

Source

list-ql.lisp.

Macro: string≠ (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: string≤ (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: string≥ (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: test-hook (a-test)
Package

tm.

Source

test.lisp.

Macro: test-remove (a-test)
Package

tm.

Source

test.lisp.

Macro: ¬ (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: λ (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: (&rest args)
Package

tm.

Source

synonyms.lisp.

Macro: (&rest args)
Package

tm.

Source

synonyms.lisp.


6.1.4 Ordinary functions

Function: access-through-parked-head ()
Package

tm.

Source

functions.lisp.

Function: alloc-fail ()
Package

tm.

Source

functions.lisp.

Function: always-false (tm ➜t ➜∅)
Package

tm.

Source

quantifiers.lisp.

Function: always-true (tm ➜t ➜∅)
Package

tm.

Source

quantifiers.lisp.

Function: be (&rest it)
Package

tm.

Source

functions.lisp.

Function: boolify (b)
Package

tm.

Source

functions.lisp.

Function: cant-happen ()
Package

tm.

Source

functions.lisp.

Function: decrement-to (a &optional stride)
Package

tm.

Source

recursive.lisp.

Function: do-nothing (&rest x)
Package

tm.

Source

functions.lisp.

Function: echo (&rest x)
Package

tm.

Source

functions.lisp.

Function: increment-to (b &optional stride)
Package

tm.

Source

recursive.lisp.

Function: mk (tm-class &optional init-parms ➜)
Package

tm.

Source

tm-type.lisp.

Function: mk-interval (a b &optional stride)
Package

tm.

Source

recursive.lisp.

Function: mk-natural ()
Package

tm.

Source

recursive.lisp.

Function: nl (&optional stream)

prints a new line

Package

tm.

Source

synonyms.lisp.

Function: not-implemented ()
Package

tm.

Source

functions.lisp.

Function: notλ (f)
Package

tm.

Source

functions.lisp.

Function: o (&rest instances)
Package

tm.

Source

list-ql.lisp.

Function: operation-on-abandoned ()
Package

tm.

Source

functions.lisp.

Function: print-to-log (mess &optional filename)
Package

tm.

Source

test.lisp.

Function: remove-key-pair (l go-away-key)
Package

tm.

Source

functions.lisp.

Function: remove-key-pairs (l go-away-keys)
Package

tm.

Source

functions.lisp.

Function: test-all (&optional verbose)
Package

tm.

Source

test.lisp.

Function: test-all-and-self (&optional verbose)
Package

tm.

Source

test.lisp.

Function: unbox (a-box)
Package

tm.

Source

functions.lisp.

Function: (setf unbox) (a-box)
Package

tm.

Source

functions.lisp.

Function: unwrap (l)

Given a list, returns a new list with one less level of parens per constiuent list instance.

Package

tm.

Source

list-ql.lisp.

Function: use-of-empty ()
Package

tm.

Source

functions.lisp.

Function: (work)

⟳ (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.

Package

tm.

Source

quantifiers.lisp.


6.1.5 Generic functions

Generic Function: -a (tm instance &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.

Package

tm.

Source

bi-tm-decls.lisp.

Methods
Method: -a ((tm bilist-tm) instance &optional ➜)
Source

bilist-tm-definitions.lisp.

Generic Function: -d (tm &optional spill ➜)

Deallocate the left neighbor of the cell the head is on.

Package

tm.

Source

bi-tm-decls.lisp.

Methods
Method: -d ((tm bilist-solo-tm) &optional spill ➜)
Source

bilist-solo-tm-definitions.lisp.

Generic Function: -s (tm &optional ➜)

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.

Package

tm.

Source

bi-tm-decls.lisp.

Methods
Method: -s ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: -s ((tm ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: -s ((tm active) &optional ➜)
Source

status-active.lisp.

Method: -s ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: -s ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: -s ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: -s ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Generic Function: -s* (tm &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: -s* ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: -s* ((tm ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: -s* ((tm ea-parked) &optional ➜)
Source

ea-parked.lisp.

Method: -s* ((tm active) &optional ➜)
Source

status-active.lisp.

Method: -s* ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: -s* ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: -s* ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: -s* ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: -s* ((tm identity-tr) &optional ➜)
Source

identity.lisp.

Method: -s* ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: -s* ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: a (tm instance &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.

Package

tm.

Source

tm-decls.lisp.

Methods
Method: a ((tm tiled-number-tm) instance &optional ➜)
Source

tiled-number.lisp.

Method: a ((tm ts1-tm) instance &optional ➜)
Source

ts1-tm.lisp.

Method: a ((tm ea-active) instance &optional ➜)
Source

ea-active.lisp.

Method: a ((tm status-tm) instance &optional ➜)
Source

status-active.lisp.

Method: a ((tm parked) instance &optional ➜)
Source

status-parked.lisp.

Method: a ((tm empty) instance &optional ➜)
Source

status-empty.lisp.

Method: a ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: a ((tm identity-tr) instance &optional ➜)
Source

identity.lisp.

Method: a ((tm bilist-tm) instance &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: a ((tm list-tm) instance &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: a* (tm fill &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.

Package

tm.

Source

tm-quantified.lisp.

Methods
Method: a* ((tm tape-machine) fill &optional ➜)
Generic Function: abandon (tm)
Package

tm.

Source

status-type.lisp.

Methods
Method: abandon ((tm ea-tm))
Source

ea-type.lisp.

Method: abandon ((tm status-tm))
Generic Function: an (tm count tm-fill &optional ➜)

Similar to calling #’a n times on a mk-entangled-with of tm.

Package

tm.

Source

nd-tm-quantified.lisp.

Methods
Method: an ((tm nd-tape-machine) (n integer) fill &optional ➜)
Generic Function: as (tm instance &optional ➜)

Like #’a, but tm is stepped to the new cell

Package

tm.

Source

tm-generic.lisp.

Methods
Method: as ((tm ts1-tm) instance &optional ➜)
Source

ts1-tm.lisp.

Method: as ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: as ((tm tape-machine) instance &optional ➜)
Generic Function: as* (tm fill &optional ➜)

Calls #’as repeatedly with successive instances from tm-fill. Both tm and tm-fill will be stepped.

Package

tm.

Source

tm-quantified.lisp.

Methods
Method: as* ((tm tape-machine) (fill tape-machine) &optional ➜)
Generic Function: asn (tm n &optional fill ➜)

Similar to calling #’as n times. fill provides initialization data. tm and fill are both stepped n times.

Package

tm.

Source

tm-quantified.lisp.

Methods
Method: asn ((tm tape-machine) (n integer) &optional fill ➜)
Generic Function: c (src dst &optional ➜)
Package

tm.

Source

copy.lisp.

Methods
Method: c ((src active) (dst parked) &optional ➜)
Source

status-copy.lisp.

Method: c ((src active) (dst empty) &optional ➜)
Source

status-copy.lisp.

Method: c ((src parked) (dst tape-machine) &optional ➜)
Source

status-copy.lisp.

Method: c ((src parked) (dst parked) &optional ➜)
Source

status-copy.lisp.

Method: c ((src parked) (dst empty) &optional ➜)
Source

status-copy.lisp.

Method: c ((src empty) (dst tape-machine) &optional ➜)
Source

status-copy.lisp.

Method: c ((src empty) (dst empty) &optional ➜)
Source

status-copy.lisp.

Method: c ((src tape-machine) (dst abandoned) &optional ➜)
Source

status-copy.lisp.

Method: c ((src abandoned) (dst tape-machine) &optional ➜)
Source

status-copy.lisp.

Method: c ((src tape-machine) (dst parked) &optional ➜)
Source

status-copy.lisp.

Method: c ((src tape-machine) (dst empty) &optional ➜)
Source

status-copy.lisp.

Method: c ((src tape-machine) (dst tape-machine) &optional ➜)
Generic Function: c-fit (src dst)
Package

tm.

Source

copy.lisp.

Methods
Method: c-fit ((src empty) (dst status-tape-machine))
Source

status-copy.lisp.

Method: c-fit ((src empty) (dst empty))
Source

status-copy.lisp.

Method: c-fit ((src tape-machine) (dst tape-machine))
Generic Function: d (tm &optional spill ➜)

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.

Package

tm.

Source

solo-tm-decls.lisp.

Methods
Method: d ((tm ts1-tm) &optional spill ➜)
Source

ts1-tm.lisp.

Method: d ((tm ea-active) &optional spill ➜)
Source

ea-active.lisp.

Method: d ((tm active) &optional spill ➜)
Source

status-active.lisp.

Method: d ((tm parked) &optional spill ➜)
Source

status-parked.lisp.

Method: d ((tm empty) &optional spill ➜)
Source

status-empty.lisp.

Method: d ((tm abandoned) &optional spill ➜)
Source

status-abandoned.lisp.

Method: d ((tm identity-tr) &optional spill ➜)
Source

identity.lisp.

Method: d ((tm bilist-solo-tm) &optional spill ➜)
Source

bilist-solo-tm-definitions.lisp.

Method: d ((tm list-solo-tm) &optional spill ➜)
Source

list-solo-tm-definitions.lisp.

Generic Function: d* (tm &optional spill ➜)

Deallocate the right hand side of the tape.

Package

tm.

Source

solo-tm-quantified.lisp.

Methods
Method: d* ((tm active) &optional spill ➜)
Source

status-quantified.lisp.

Method: d* ((tm parked) &optional spill ➜)
Source

status-quantified.lisp.

Method: d* ((tm empty) &optional spill ➜)
Source

status-quantified.lisp.

Method: d* ((tm abandoned) &optional spill ➜)
Source

status-quantified.lisp.

Method: d* ((tm solo-tape-machine) &optional spill ➜)
Generic Function: d. (tm &optional spill ➜)

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.

Package

tm.

Source

haz-tm-decls.lisp.

Methods
Method: d. ((tm active) &optional spill ➜)
Source

status-active.lisp.

Method: d. ((tm parked) &optional spill ➜)
Source

status-parked.lisp.

Method: d. ((tm empty) &optional spill ➜)
Source

status-empty.lisp.

Method: d. ((tm abandoned) &optional spill ➜)
Source

status-abandoned.lisp.

Method: d. ((tm bilist-haz-tm) &optional spill ➜)
Source

bilist-haz-definitions.lisp.

Generic Function: dn (tm n &optional spill ➜)

Deallocate rightmost n times, or take a rightmost continuation. The remaining n is passed to the continutation

Package

tm.

Source

solo-tm-quantified.lisp.

Methods
Method: dn ((tm solo-tape-machine) (n number) &optional spill ➜)
Generic Function: eas* (tm tm-fill &optional ➜)

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.

Package

tm.

Source

nd-tm-quantified.lisp.

Methods
Method: eas* ((tm0 nd-tape-machine) fill &optional ➜)
Generic Function: entangle (tm-orig &optional ➜)
Package

tm.

Source

nd-tm-type.lisp.

Methods
Method: entangle ((tm-orig ts1-tm) &optional ➜)
Source

ts1-type.lisp.

Method: entangle ((tm-orig ea-tm) &optional ➜)
Source

ea-type.lisp.

Method: entangle ((tm-orig status-tm) &optional ➜)
Source

status-type.lisp.

Method: entangle ((tm-orig identity-tr) &optional ➜)
Source

identity.lisp.

Method: entangle ((tm-orig list-nd-tm) &optional ➜)
Source

list-nd-tm-type.lisp.

Generic Function: entangled (tm0 tm1 &optional ➜)
Package

tm.

Source

nd-tm-decls.lisp.

Methods
Method: entangled ((tm0 ts1-tm) (tm1 ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: entangled ((tm0 tape-machine) (tm1 abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: entangled ((tm0 abandoned) (tm1 tape-machine) &optional ➜)
Source

status-abandoned.lisp.

Method: entangled ((tm0 status-tm) (tm1 status-tm) &optional ➜)
Source

status-tm.lisp.

Method: entangled ((tm0 list-nd-tm) (tm1 list-nd-tm) &optional ➜)
Source

list-nd-tm-definitions.lisp.

Generic Function: epa (tm instance &optional ➜)

Allocates a cell to the left of leftmost (thus becoming the new leftmost).

Package

tm.

Source

solo-tm-decls.lisp.

Methods
Method: epa ((tm ts1-tm) instance &optional ➜)
Source

ts1-tm.lisp.

Method: epa ((tm ea-parked-active) instance &optional ➜)
Source

ea-parked-active.lisp.

Method: epa ((tm ea-empty) instance &optional ➜)
Source

ea-empty.lisp.

Method: epa ((tm active) instance &optional ➜)
Source

status-active.lisp.

Method: epa ((tm parked) instance &optional ➜)
Source

status-parked.lisp.

Method: epa ((tm empty) instance &optional ➜)
Source

status-empty.lisp.

Method: epa ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: epa ((tm identity-tr) instance &optional ➜)
Source

identity.lisp.

Method: epa ((tm bilist-solo-tm) instance &optional ➜)
Source

bilist-solo-tm-definitions.lisp.

Method: epa ((tm list-solo-tm) instance &optional ➜)
Source

list-solo-tm-definitions.lisp.

Generic Function: epd (tm &optional spill ➜)

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.

Package

tm.

Source

solo-tm-decls.lisp.

Methods
Method: epd ((tm ts1-tm) &optional spill ➜)
Source

ts1-tm.lisp.

Method: epd ((tm ea-parked-active) &optional spill ➜)
Source

ea-parked-active.lisp.

Method: epd ((tm active) &optional spill ➜)
Source

status-active.lisp.

Method: epd ((tm parked) &optional spill ➜)
Source

status-parked.lisp.

Method: epd ((tm empty) &optional spill ➜)
Source

status-empty.lisp.

Method: epd ((tm abandoned) &optional spill ➜)
Source

status-abandoned.lisp.

Method: epd ((tm identity-tr) &optional spill ➜)
Source

identity.lisp.

Method: epd ((tm bilist-solo-tm) &optional spill ➜)
Source

bilist-solo-tm-definitions.lisp.

Method: epd ((tm list-solo-tm) &optional spill ➜)
Source

list-solo-tm-definitions.lisp.

Generic Function: equiv (tm0 tm1 &optional ➜)
Package

tm.

Source

tm-quantified.lisp.

Methods
Method: equiv ((a tape-machine) (b parked) &optional ➜)
Source

status=.lisp.

Method: equiv ((a parked) (b tape-machine) &optional ➜)
Source

status=.lisp.

Method: equiv ((a parked) (b parked) &optional ➜)
Source

status=.lisp.

Method: equiv ((a tape-machine) (b empty) &optional ➜)
Source

status=.lisp.

Method: equiv ((a empty) (b tape-machine) &optional ➜)
Source

status=.lisp.

Method: equiv ((a empty) (b empty) &optional ➜)
Source

status=.lisp.

Method: equiv (a (b abandoned) &optional ➜)
Source

status=.lisp.

Method: equiv ((a abandoned) b &optional ➜)
Source

status=.lisp.

Method: equiv ((tm0 tape-machine) (tm1 tape-machine) &optional ➜)
Generic Function: esnr (tm index &optional ➜)

This is an indexed read operation. It makes an entangled copy of ’tm’, steps it ’index’ times, then reads it.

Package

tm.

Source

nd-tm-quantified.lisp.

Methods
Method: esnr ((tm nd-tape-machine) index &optional ➜)
Generic Function: esnw (tm index instsance &optional ➜)

This is an indexed write operation. It makes an entangled copy of ’tm’, steps it ’index’ places, then writes the ’instance’.

Package

tm.

Source

nd-tm-quantified.lisp.

Methods
Method: esnw ((tm nd-tape-machine) index instance &optional ➜)
Generic Function: esr (tm &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: esr ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: esr ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: esr ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: esr ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: esr ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: esr ((tm identity-tr) &optional ➜)
Source

identity.lisp.

Method: esr ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: esr ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: esr ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: esw (tm instance &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: esw ((tm tiled-number-tm) instance &optional ➜)
Source

tiled-number.lisp.

Method: esw ((tm parked) instance &optional ➜)
Source

status-parked.lisp.

Method: esw ((tm empty) instance &optional ➜)
Source

status-empty.lisp.

Method: esw ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: esw ((tm ensemble-tr) instance &optional ➜)
Source

ensemble.lisp.

Method: esw ((tm identity-tr) instance &optional ➜)
Source

identity.lisp.

Method: esw ((tm bilist-tm) instance &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: esw ((tm list-tm) instance &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: filter (tm spill pred &optional ➜)
Package

tm.

Source

solo-tm-quantified.lisp.

Methods
Method: filter ((tm empty) spill pred &optional ➜)
Source

status-quantified.lisp.

Method: filter ((tm abandoned) spill pred &optional ➜)
Source

status-quantified.lisp.

Method: filter ((tm solo-tape-machine) spill pred &optional ➜)
Generic Function: heads-on-same-cell (tm0 tm1 &optional ➜)
Package

tm.

Source

nd-tm-decls.lisp.

Methods
Method: heads-on-same-cell ((tm0 ts1-tm) (tm1 ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: heads-on-same-cell ((tm0 active) (tm1 active) &optional ➜)
Source

status-active.lisp.

Method: heads-on-same-cell ((tm0 status-tm) (tm1 parked) &optional ➜)
Source

status-parked.lisp.

Method: heads-on-same-cell ((tm0 parked) (tm1 status-tm) &optional ➜)
Source

status-parked.lisp.

Method: heads-on-same-cell ((tm0 parked) (tm1 parked) &optional ➜)
Source

status-parked.lisp.

Method: heads-on-same-cell ((tm0 status-tm) (tm1 empty) &optional ➜)
Source

status-empty.lisp.

Method: heads-on-same-cell ((tm0 empty) (tm1 status-tm) &optional ➜)
Source

status-empty.lisp.

Method: heads-on-same-cell ((tm0 empty) (tm1 empty) &optional ➜)
Source

status-empty.lisp.

Method: heads-on-same-cell ((tm0 tape-machine) (tm1 abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: heads-on-same-cell ((tm0 abandoned) (tm1 tape-machine) &optional ➜)
Source

status-abandoned.lisp.

Method: heads-on-same-cell ((tm0 abandoned) (tm1 abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: heads-on-same-cell ((tm0 tape-machine) (tm1 identity-tr) &optional ➜)
Source

identity.lisp.

Method: heads-on-same-cell ((tm0 identity-tr) (tm1 tape-machine) &optional ➜)
Source

identity.lisp.

Method: heads-on-same-cell ((tm0 identity-tr) (tm1 identity-tr) &optional ➜)
Source

identity.lisp.

Method: heads-on-same-cell ((tm0 tape-machine) (tm1 list-nd-tm) &optional ➜)
Source

list-nd-tm-definitions.lisp.

Method: heads-on-same-cell ((tm0 list-nd-tm) (tm1 tape-machine) &optional ➜)
Source

list-nd-tm-definitions.lisp.

Method: heads-on-same-cell ((tm0 list-nd-tm) (tm1 list-nd-tm) &optional ➜)
Source

list-nd-tm-definitions.lisp.

Generic Function: init (instance &optional init-value ➜)
Package

tm.

Source

tm-type.lisp.

Methods
Method: init ((tm tiled-number-tm) &optional keyed-parms ➜)
Source

tiled-number.lisp.

Method: init ((tm ts1-tm) &optional keyed-parms ➜)
Source

ts1-type.lisp.

Method: init ((tm ea-tm) &optional init-parms ➜)
Source

ea-type.lisp.

Method: init ((tm status-tm) &optional keyed-parms ➜)
Source

status-type.lisp.

Method: init ((tm ensemble-tr) &optional init-value ➜)
Source

ensemble.lisp.

Method: init ((tm identity-tr) &optional init-value ➜)
Source

identity.lisp.

Method: init ((tm recursive) &optional init-value ➜)
Source

recursive.lisp.

Method: init ((tm bilist-tm) &optional keyed-parms ➜)
Source

bilist-tm-type.lisp.

Method: init ((tm list-tm) &optional keyed-parms ➜)
Source

list-tm-type.lisp.

Method: init ((tm tape-machine) &optional init-parms ➜)
Generic Function: on-leftmost (tm &optional ➜)

tm head is on leftmost ➜t, else ➜∅

Package

tm.

Source

tm-decls.lisp.

Methods
Method: on-leftmost ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: on-leftmost ((tm ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: on-leftmost ((tm active) &optional ➜)
Source

status-active.lisp.

Method: on-leftmost ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: on-leftmost ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: on-leftmost ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: on-leftmost ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: on-leftmost ((tm identity-tr) &optional ➜)
Source

identity.lisp.

Method: on-leftmost ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: on-leftmost ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: on-rightmost (tm &optional ➜)

tm head is on the rightmost cell ➜t, else ➜∅

Package

tm.

Source

tm-decls.lisp.

Methods
Method: on-rightmost ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: on-rightmost ((tm ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: on-rightmost ((tm active) &optional ➜)
Source

status-active.lisp.

Method: on-rightmost ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: on-rightmost ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: on-rightmost ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: on-rightmost ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: on-rightmost ((tm identity-tr) &optional ➜)
Source

identity.lisp.

Method: on-rightmost ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: on-rightmost ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: on-rightmost ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: p (tm &optional ➜)
Package

tm.

Source

status-tm.lisp.

Methods
Method: p ((tm active) &optional ➜)
Source

status-active.lisp.

Method: p ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: p ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: p ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Generic Function: p∀ (tm pred &optional ➜)
Package

tm.

Source

status-quantifiers.lisp.

Methods
Method: p∀ ((tm active) pred &optional ➜)
Method: p∀ ((tm parked) pred &optional ➜)
Method: p∀ ((tm empty) pred &optional ➜)
Method: p∀ ((tm abandoned) pred &optional ➜)
Generic Function: p∀* (tm function)
Package

tm.

Source

status-quantifiers.lisp.

Methods
Method: p∀* ((tm active) function)
Method: p∀* ((tm parked) function)
Method: p∀* ((tm empty) function)
Method: p∀* ((tm abandoned) function)
Generic Function: p∃ (tm pred &optional ➜)
Package

tm.

Source

status-quantifiers.lisp.

Methods
Method: p∃ ((tm active) pred &optional ➜)
Method: p∃ ((tm parked) pred &optional ➜)
Method: p∃ ((tm empty) pred &optional ➜)
Method: p∃ ((tm abandoned) pred &optional ➜)
Generic Function: p∃* (tm pred)
Package

tm.

Source

status-quantifiers.lisp.

Methods
Method: p∃* ((tm active) pred)
Method: p∃* ((tm parked) pred)
Method: p∃* ((tm empty) pred)
Method: p∃* ((tm abandoned) pred)
Generic Function: r (tm &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: r ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: r ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: r ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: r ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: r ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: r ((tm identity-tr) &optional ➜)
Source

identity.lisp.

Method: r ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: r ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: r ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: s (tm &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.

Package

tm.

Source

tm-decls.lisp.

Methods
Method: s ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: s ((tm ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: s ((tm active) &optional ➜)
Source

status-active.lisp.

Method: s ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: s ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: s ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: s ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: s ((tm identity-tr) &optional ➜)
Source

identity.lisp.

Method: s ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: s ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: s ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: s* (tm &optional ➜)

Cue tm’s head to the rightmost cell.

Package

tm.

Source

tm-generic.lisp.

Methods
Method: s* ((tm ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: s* ((tm ea-parked) &optional ➜)
Source

ea-parked.lisp.

Method: s* ((tm active) &optional ➜)
Source

status-active.lisp.

Method: s* ((tm parked) &optional ➜)
Source

status-parked.lisp.

Method: s* ((tm empty) &optional ➜)
Source

status-empty.lisp.

Method: s* ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: s* ((tm tape-machine) &optional ➜)
Generic Function: sn (tm n &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.

Package

tm.

Source

tm-quantified.lisp.

Methods
Method: sn ((tm tape-machine) (n integer) &optional ➜)
Generic Function: s≠ (tm0 tm1 &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.

Package

tm.

Source

nd-tm-decls.lisp.

Methods
Method: s≠ ((tm0 ts1-tm) (tm1 ts1-tm) &optional ➜)
Source

ts1-tm.lisp.

Method: s≠ ((tm0 parked) (tm1 active) &optional ➜)
Source

status-parked.lisp.

Method: s≠ ((tm0 parked) (tm1 parked) &optional ➜)
Source

status-parked.lisp.

Method: s≠ ((tm0 empty) (tm1 empty) &optional ➜)
Source

status-empty.lisp.

Method: s≠ ((tm0 abandoned) (tm1 abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: s≠ ((tm0 nd-tape-machine) (tm1 nd-tape-machine) &optional ➜)
Source

nd-tm-generic.lisp.

Generic Function: tape-length-is-one (tm &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: tape-length-is-one ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: tape-length-is-one ((tm active) &optional ➜)
Source

status-empty.lisp.

Method: tape-length-is-one ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: tape-length-is-one ((tm status-tm) &optional ➜)
Source

status-tm.lisp.

Method: tape-length-is-one ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: tape-length-is-one ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: tape-length-is-one ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: tape-length-is-one ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: tape-length-is-two (tm &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: tape-length-is-two ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: tape-length-is-two ((tm active) &optional ➜)
Source

status-empty.lisp.

Method: tape-length-is-two ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: tape-length-is-two ((tm status-tm) &optional ➜)
Source

status-tm.lisp.

Method: tape-length-is-two ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: tape-length-is-two ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: tape-length-is-two ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: tape-length-is-two ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: tm-print (tm)
Package

tm.

Source

nd-tm-generic.lisp.

Methods
Method: tm-print ((tm status-tm))
Source

status-tm.lisp.

Method: tm-print ((tm0 nd-tape-machine))
Generic Function: w (tm instance &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: w ((tm tiled-number-tm) instance &optional ➜)
Source

tiled-number.lisp.

Method: w ((tm parked) instance &optional ➜)
Source

status-parked.lisp.

Method: w ((tm empty) instance &optional ➜)
Source

status-empty.lisp.

Method: w ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: w ((tm ensemble-tr) instance &optional ➜)
Source

ensemble.lisp.

Method: w ((tm identity-tr) instance &optional ➜)
Source

identity.lisp.

Method: w ((tm recursive) instance &optional ➜)
Source

recursive.lisp.

Method: w ((tm bilist-tm) instance &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: w ((tm list-tm) instance &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: w* (tm fill &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.

Package

tm.

Source

tm-quantified.lisp.

Methods
Method: w* ((tm tape-machine) fill &optional ➜)
Generic Function: with-entangled (tm continuation)
Package

tm.

Source

nd-tm-decls.lisp.

Methods
Method: with-entangled ((tm status-tm) continuation)
Source

status-type.lisp.

Method: with-entangled ((tm nd-tape-machine) continuation)
Source

nd-tm-generic.lisp.

Generic Function: (tm pred &optional ➜)
Package

tm.

Source

quantifiers.lisp.

Methods
Method: ((tm parked) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: ((tm empty) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: ((tm abandoned) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: ((tm tape-machine) pred &optional ➜)
Generic Function: ∀* (tm function)
Package

tm.

Source

quantifiers.lisp.

Methods
Method: ∀* ((tm parked) function)
Source

status-quantifiers.lisp.

Method: ∀* ((tm empty) function)
Source

status-quantifiers.lisp.

Method: ∀* ((tm abandoned) function)
Source

status-quantifiers.lisp.

Method: ∀* ((tm tape-machine) function)

Calls (function tm), and steps head, until reaching the end of the tape. Returns nothing.

Generic Function: (tm pred &optional ➜)
Package

tm.

Source

quantifiers.lisp.

Methods
Method: ((tm parked) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: ((tm empty) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: ((tm abandoned) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: ((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.

Generic Function: ∃* (tm pred)
Package

tm.

Source

quantifiers.lisp.

Methods
Method: ∃* ((tm parked) pred)
Source

status-quantifiers.lisp.

Method: ∃* ((tm empty) pred)
Source

status-quantifiers.lisp.

Method: ∃* ((tm abandoned) pred)
Source

status-quantifiers.lisp.

Method: ∃* ((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).


6.1.6 Conditions

Condition: access-through-parked-head
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: alloc-fail
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: not-implemented
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: operation-on-abandoned
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: use-of-empty
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.


6.1.7 Structures

Structure: box
Package

tm.

Source

functions.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: read
Package

common-lisp.

Readers

box-read.

Writers

(setf box-read).

Slot: write
Package

common-lisp.

Readers

box-write.

Writers

(setf box-write).


6.1.8 Classes

Class: abandoned
Package

tm.

Source

status-type.lisp.

Direct superclasses

status-tm.

Direct subclasses
Direct methods
Class: active
Package

tm.

Source

status-type.lisp.

Direct superclasses

status-tm.

Direct subclasses

ea-active.

Direct methods
Class: bilist-haz-tm
Package

tm.

Source

bilist-haz-tm-type.lisp.

Direct superclasses
Direct methods

d..

Class: bilist-nd-tm
Package

tm.

Source

bilist-nd-tm-type.lisp.

Direct superclasses
Direct subclasses

bilist-haz-tm.

Class: bilist-solo-tm
Package

tm.

Source

bilist-solo-tm-type.lisp.

Direct superclasses
Direct subclasses

bilist-haz-tm.

Direct methods
Class: bilist-tm
Package

tm.

Source

bilist-tm-type.lisp.

Direct superclasses

list-tm.

Direct subclasses
Direct methods
Class: ea-tm
Package

tm.

Source

ea-type.lisp.

Direct superclasses
Direct subclasses
Direct methods
Direct slots
Slot: entanglements
Initargs

:entanglements

Readers

entanglements.

Writers

(setf entanglements).

Slot: entanglements-pt
Initargs

:entanglements-pt

Readers

entanglements-pt.

Writers

(setf entanglements-pt).

Class: empty
Package

tm.

Source

status-type.lisp.

Direct superclasses

status-tm.

Direct subclasses

ea-empty.

Direct methods
Class: ensemble-tr
Package

tm.

Source

ensemble.lisp.

Direct superclasses

tape-machine.

Direct methods
Direct slots
Slot: members
Initargs

tm::members

Readers

members.

Writers

(setf members).

Class: haz-tape-machine
Package

tm.

Source

haz-tm-type.lisp.

Direct superclasses
Direct subclasses
Class: list-haz-tm
Package

tm.

Source

list-haz-tm-type.lisp.

Direct superclasses
Class: list-nd-tm
Package

tm.

Source

list-nd-tm-type.lisp.

Direct superclasses
Direct subclasses
Direct methods
Class: list-solo-tm
Package

tm.

Source

list-solo-tm-type.lisp.

Direct superclasses
Direct subclasses
Direct methods
Class: list-tm
Package

tm.

Source

list-tm-type.lisp.

Direct superclasses

tape-machine.

Direct subclasses
Direct methods
Direct slots
Slot: head
Initargs

:head

Readers

head.

Writers

(setf head).

Slot: tape
Initargs

:tape

Readers

tape.

Writers

(setf tape).

Class: nd-tape-machine
Package

tm.

Source

nd-tm-type.lisp.

Direct superclasses

tape-machine.

Direct subclasses
Direct methods
Class: parked
Package

tm.

Source

status-type.lisp.

Direct superclasses

status-tm.

Direct subclasses

ea-parked.

Direct methods
Class: recursive
Package

tm.

Source

recursive.lisp.

Direct superclasses

tape-machine.

Direct methods
Direct slots
Slot: initial
Initargs

tm::initial

Readers

initial.

Writers

(setf initial).

Slot: f
Initargs

tm::f

Readers

f.

Writers

(setf f).

Slot: head
Initargs

tm::head

Readers

head.

Writers

(setf head).

Class: solo-tape-machine
Package

tm.

Source

solo-tm-type.lisp.

Direct superclasses

tape-machine.

Direct subclasses
Direct methods
Class: status-tm
Package

tm.

Source

status-type.lisp.

Direct superclasses
Direct subclasses
Direct methods
Direct slots
Slot: base
Initargs

:base

Readers

base.

Writers

(setf base).

Slot: address
Initargs

:address

Readers

address.

Writers

(setf address).

Slot: address-rightmost
Initargs

:address-rightmost

Readers

address-rightmost.

Writers

(setf address-rightmost).

Class: tape-machine
Package

tm.

Source

tm-type.lisp.

Direct subclasses
Direct methods
Class: ts1-tm
Package

tm.

Source

ts1-type.lisp.

Direct superclasses
Direct subclasses
Direct methods
Direct slots
Slot: deed
Initargs

:deed

Readers

deed.

Writers

(setf deed).


6.2 Internals


6.2.1 Special variables

Special Variable: *prins-lock*
Package

tm.

Source

print.lisp.

Special Variable: *prins-on*
Package

tm.

Source

print.lisp.

Special Variable: *test-routines*
Package

tm.

Source

test.lisp.

Special Variable: *tile-length*
Package

tm.

Source

tiled-number.lisp.


6.2.2 Macros

Macro: def-abandoned-1 (f &rest args)
Package

tm.

Source

status-tm.lisp.

Macro: def-empty-1 (f &rest args)
Package

tm.

Source

status-tm.lisp.

Macro: def-identity-tr-1 (f &rest args)
Package

tm.

Source

identity.lisp.

Macro: def-parked-1 (f &rest args)
Package

tm.

Source

status-tm.lisp.

Macro: prins (&body f)
Package

tm.

Source

print.lisp.


6.2.3 Ordinary functions

Reader: binode-instance (instance)
Writer: (setf binode-instance) (instance)
Package

tm.

Source

bilist.lisp.

Target Slot

instance.

Reader: binode-left-neighbor (instance)
Writer: (setf binode-left-neighbor) (instance)
Package

tm.

Source

bilist.lisp.

Target Slot

left-neighbor.

Function: binode-p (object)
Package

tm.

Source

bilist.lisp.

Reader: binode-right-neighbor (instance)
Writer: (setf binode-right-neighbor) (instance)
Package

tm.

Source

bilist.lisp.

Target Slot

right-neighbor.

Function: box-p (object)
Package

tm.

Source

functions.lisp.

Reader: box-read (instance)
Writer: (setf box-read) (instance)
Package

tm.

Source

functions.lisp.

Target Slot

read.

Reader: box-write (instance)
Writer: (setf box-write) (instance)
Package

tm.

Source

functions.lisp.

Target Slot

write.

Function: braces-reader-macro (stream char)
Package

tm.

Source

reader-macros.lisp.

Function: brackets-reader-macro (stream char)
Package

tm.

Source

reader-macros.lisp.

Function: consume-key (go-away-key key-list)
Package

tm.

Source

functions.lisp.

Function: copy-binode (instance)
Package

tm.

Source

bilist.lisp.

Function: copy-box (instance)
Package

tm.

Source

functions.lisp.

Function: entangled-on-leftmost (es &optional ➜t ➜∅)
Package

tm.

Source

ea-tm.lisp.

Function: example-exception-test ()
Package

tm.

Source

test.lisp.

Function: example-fail-test ()
Package

tm.

Source

test.lisp.

Function: example-illegal-test ()
Package

tm.

Source

test.lisp.

Function: example-pass-test ()
Package

tm.

Source

test.lisp.

Function: has-to-open-mark (i)
Package

tm.

Source

list-ql.lisp.

Function: make-bilist (a-list)
Package

tm.

Source

bilist.lisp.

Function: make-bilist-1 (a-list left-neighbor)
Package

tm.

Source

bilist.lisp.

Function: make-binode (&key instance right-neighbor left-neighbor)
Package

tm.

Source

bilist.lisp.

Function: make-box (&key read write)
Package

tm.

Source

functions.lisp.

Function: meta-q (e)
Package

tm.

Source

list-ql.lisp.

Function: meta-wrap (src)
Package

tm.

Source

list-ql.lisp.

Function: meta-wrap-gather (gather-list a-list)
Package

tm.

Source

list-ql.lisp.

Function: meta-wrap-relay (open-stuff a-list)
Package

tm.

Source

list-ql.lisp.

Function: mk-7 ()
Package

tm.

Source

list-ql.lisp.

Function: print-bilist (bl)
Package

tm.

Source

bilist.lisp.

Function: print-bilist-1 (bl)
Package

tm.

Source

bilist.lisp.

Function: prinx (x)
Package

tm.

Source

tiled-number.lisp.

Function: remove-mark (i)
Package

tm.

Source

list-ql.lisp.

Function: shift-left (x n)
Package

tm.

Source

tiled-number.lisp.

Function: test (a-test)
Package

tm.

Source

test.lisp.

Function: test--s*∀-0 ()
Package

tm.

Source

quantifiers.lisp.

Function: test--s*∃-0 ()
Package

tm.

Source

quantifiers.lisp.

Function: test-a*-0 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-an-0 ()
Package

tm.

Source

nd-tm-quantified.lisp.

Function: test-as*-0 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-as*-1 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-asn-0 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-bilist-0 ()
Package

tm.

Source

bilist.lisp.

Function: test-bilist-1 ()
Package

tm.

Source

bilist.lisp.

Function: test-bilist-2 ()
Package

tm.

Source

bilist.lisp.

Function: test-bilist-3 ()
Package

tm.

Source

bilist.lisp.

Function: test-bilist-4 ()
Package

tm.

Source

bilist.lisp.

Function: test-bilist-5 ()
Package

tm.

Source

bilist.lisp.

Function: test-c-0 ()
Package

tm.

Source

copy.lisp.

Function: test-c-1 ()
Package

tm.

Source

copy.lisp.

Function: test-c-2 ()
Package

tm.

Source

copy.lisp.

Function: test-c-3 ()
Package

tm.

Source

copy.lisp.

Function: test-c-status-0 ()
Package

tm.

Source

copy.lisp.

Function: test-c-status-1 ()
Package

tm.

Source

copy.lisp.

Function: test-c-status-2 ()
Package

tm.

Source

copy.lisp.

Function: test-c-status-3 ()
Package

tm.

Source

copy.lisp.

Function: test-c-status-4 ()
Package

tm.

Source

copy.lisp.

Function: test-c-status-5 ()
Package

tm.

Source

copy.lisp.

Function: test-c-status-6 ()
Package

tm.

Source

copy.lisp.

Function: test-c-status-7 ()
Package

tm.

Source

copy.lisp.

Function: test-d*-0 ()
Package

tm.

Source

solo-tm-quantified.lisp.

Function: test-d-0 ()
Package

tm.

Source

list-solo-tm-definitions.lisp.

Function: test-dn-0 ()
Package

tm.

Source

solo-tm-quantified.lisp.

Function: test-e-s*r-0 ()
Package

tm.

Source

nd-tm-generic.lisp.

Function: test-ea-0 ()
Package

tm.

Source

ea.lisp.

Function: test-ea-1 ()
Package

tm.

Source

ea.lisp.

Function: test-ea-2 ()
Package

tm.

Source

ea.lisp.

Function: test-ea-3 ()
Package

tm.

Source

ea.lisp.

Function: test-ea-4 ()
Package

tm.

Source

ea.lisp.

Function: test-eas*-0 ()
Package

tm.

Source

nd-tm-quantified.lisp.

Function: test-ensemble-0 ()
Package

tm.

Source

ensemble.lisp.

Function: test-entangled-0 ()
Package

tm.

Source

ea.lisp.

Function: test-epa-0 ()
Package

tm.

Source

list-solo-tm-definitions.lisp.

Function: test-epd-0 ()
Package

tm.

Source

list-solo-tm-definitions.lisp.

Function: test-epd-1 ()
Package

tm.

Source

list-solo-tm-definitions.lisp.

Function: test-equiv-0 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-es*a-0 ()
Package

tm.

Source

nd-tm-generic.lisp.

Function: test-esnr-0 ()
Package

tm.

Source

nd-tm-quantifiers.lisp.

Function: test-filter-0 ()
Package

tm.

Source

solo-tm-quantified.lisp.

Function: test-filter-1 ()
Package

tm.

Source

solo-tm-quantified.lisp.

Function: test-filter-2 ()
Package

tm.

Source

solo-tm-quantified.lisp.

Function: test-heads-on-same-cell-0 ()
Package

tm.

Source

list-nd-tm-definitions.lisp.

Function: test-identity-0 ()
Package

tm.

Source

identity.lisp.

Function: test-l-0 ()
Package

tm.

Source

list-ql.lisp.

Function: test-l-1 ()
Package

tm.

Source

list-ql.lisp.

Function: test-l-2 ()
Package

tm.

Source

list-ql.lisp.

Function: test-list-tm-0 ()
Package

tm.

Source

list-tm-definitions.lisp.

Function: test-list-tm-1 ()
Package

tm.

Source

list-tm-definitions.lisp.

Function: test-list-tm-2 ()
Package

tm.

Source

list-tm-definitions.lisp.

Function: test-list-tm-3 ()
Package

tm.

Source

list-tm-definitions.lisp.

Function: test-list-tm-4 ()
Package

tm.

Source

list-tm-definitions.lisp.

Function: test-list-tm-5 ()
Package

tm.

Source

list-tm-definitions.lisp.

Function: test-meta-wrap-0 ()
Package

tm.

Source

list-ql.lisp.

Function: test-mk-entangled-0 ()
Package

tm.

Source

nd-tm-generic.lisp.

Function: test-q-0 ()
Package

tm.

Source

list-ql.lisp.

Function: test-q-1 ()
Package

tm.

Source

list-ql.lisp.

Function: test-recursive-0 ()
Package

tm.

Source

recursive.lisp.

Function: test-recursive-1 ()
Package

tm.

Source

recursive.lisp.

Function: test-recursive-2 ()
Package

tm.

Source

recursive.lisp.

Function: test-recursive-3 ()
Package

tm.

Source

recursive.lisp.

Function: test-remove-key-pair-0 ()
Package

tm.

Source

functions.lisp.

Function: test-s*-0 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-sn-0 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-sn-1 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-status-0 ()
Package

tm.

Source

status.lisp.

Function: test-status-1 ()
Package

tm.

Source

status.lisp.

Function: test-status-4 ()
Package

tm.

Source

status.lisp.

Function: test-status-5 ()
Package

tm.

Source

status.lisp.

Function: test-status-6 ()
Package

tm.

Source

status.lisp.

Function: test-status-filter-0 ()
Package

tm.

Source

status-quantified.lisp.

Function: test-status-filter-1 ()
Package

tm.

Source

status-quantified.lisp.

Function: test-status-filter-2 ()
Package

tm.

Source

status-quantified.lisp.

Function: test-status-quantifiers-0 ()
Package

tm.

Source

status-quantifiers.lisp.

Function: test-status-quantifiers-1 ()
Package

tm.

Source

status-quantifiers.lisp.

Function: test-s≠-0 ()
Package

tm.

Source

nd-tm-generic.lisp.

Function: test-s≠-1 ()
Package

tm.

Source

nd-tm-generic.lisp.

Function: test-tiled-0 ()
Package

tm.

Source

tiled-number.lisp.

Function: test-tiled-1 ()
Package

tm.

Source

tiled-number.lisp.

Function: test-tiled-2 ()
Package

tm.

Source

tiled-number.lisp.

Function: test-tiled-3 ()
Package

tm.

Source

tiled-number.lisp.

Function: test-tiled-4 ()
Package

tm.

Source

tiled-number.lisp.

Function: test-tm-derived-0 ()
Package

tm.

Source

tm-generic.lisp.

Function: test-tm-derived-1 ()
Package

tm.

Source

tm-generic.lisp.

Function: test-tm-derived-2 ()
Package

tm.

Source

tm-generic.lisp.

Function: test-tm-derived-3 ()
Package

tm.

Source

tm-generic.lisp.

Function: test-ts1-0 ()
Package

tm.

Source

ts1.lisp.

Function: test-ts1-1 ()
Package

tm.

Source

ts1.lisp.

Function: test-ts1-2 ()
Package

tm.

Source

ts1.lisp.

Function: test-ts1-3 (&optional max-retries)
Package

tm.

Source

ts1.lisp.

Function: test-ts1-4 (&optional max-tries)
Package

tm.

Source

ts1.lisp.

Function: test-ts1-4-t1 (tm11 tm-pipe t1-finished-in-box)
Package

tm.

Source

ts1.lisp.

Function: test-ts1-4-t2-drain (tm-drain-pipe-tries tm-pipe tm31 experienced-empty-in-box experienced-collision-in-box)
Package

tm.

Source

ts1.lisp.

Function: test-ts1-4-t2-wait (tm-wait-tries t1-finished-in-box)
Package

tm.

Source

ts1.lisp.

Function: test-ts1-5 (&optional max-tries)
Package

tm.

Source

ts1.lisp.

Function: test-ts1-5-t1 (tm11 tm-pipe)
Package

tm.

Source

ts1.lisp.

Function: test-ts1-5-t2-drain (tm-drain-pipe-tries tm-pipe tm31 experienced-empty-in-box experienced-collision-in-box)
Package

tm.

Source

ts1.lisp.

Function: test-unwrap-0 ()
Package

tm.

Source

list-ql.lisp.

Function: test-w*-0 ()
Package

tm.

Source

tm-quantified.lisp.

Function: test-¬∀-0 ()
Package

tm.

Source

quantifiers.lisp.

Function: test-∀-0 ()
Package

tm.

Source

quantifiers.lisp.

Function: test-∃-0 ()
Package

tm.

Source

quantifiers.lisp.

Function: test-∃-1 ()
Package

tm.

Source

quantifiers.lisp.

Function: test-⟳-0 ()
Package

tm.

Source

quantifiers.lisp.

Function: tm-print-1 (tm0 tm1)
Package

tm.

Source

nd-tm-generic.lisp.

Function: turn-off-prins ()
Package

tm.

Source

print.lisp.

Function: turn-on-prins ()
Package

tm.

Source

print.lisp.

Function: wrap (i)
Package

tm.

Source

list-ql.lisp.


6.2.4 Generic functions

Generic Function: -s*∀ (tm pred &optional ➜)
Package

tm.

Source

quantifiers.lisp.

Methods
Method: -s*∀ ((tm empty) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: -s*∀ ((tm abandoned) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: -s*∀ ((tm tape-machine) pred &optional ➜)
Generic Function: -s*∀* (tm function)
Package

tm.

Source

quantifiers.lisp.

Methods
Method: -s*∀* ((tm empty) function)
Source

status-quantifiers.lisp.

Method: -s*∀* ((tm abandoned) function)
Source

status-quantifiers.lisp.

Method: -s*∀* ((tm tape-machine) function)
Generic Function: -s*∃ (tm pred &optional ➜)
Package

tm.

Source

quantifiers.lisp.

Methods
Method: -s*∃ ((tm empty) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: -s*∃ ((tm abandoned) pred &optional ➜)
Source

status-quantifiers.lisp.

Method: -s*∃ ((tm tape-machine) pred &optional ➜)
Generic Function: -s*∃* (tm pred)
Package

tm.

Source

quantifiers.lisp.

Methods
Method: -s*∃* ((tm empty) pred)
Source

status-quantifiers.lisp.

Method: -s*∃* ((tm abandoned) pred)
Source

status-quantifiers.lisp.

Method: -s*∃* ((tm tape-machine) pred)
Generic Function: a&s* (tm instance &optional ➜)

#’a with a contract that the head is on rightmost.

Package

tm.

Source

tm-generic.lisp.

Methods
Method: a&s* ((tm ts1-tm) instance &optional ➜)
Source

ts1-tm.lisp.

Method: a&s* ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: a&s* (tm instance &optional ➜)
Source

list-tm-specialized-generic.lisp.

Method: a&s* ((tm tape-machine) instance &optional ➜)
Generic Reader: address (object)
Package

tm.

Methods
Reader Method: address ((status-tm status-tm))

automatically generated reader method

Source

status-type.lisp.

Target Slot

address.

Generic Writer: (setf address) (object)
Package

tm.

Methods
Writer Method: (setf address) ((status-tm status-tm))

automatically generated writer method

Source

status-type.lisp.

Target Slot

address.

Generic Reader: address-rightmost (object)
Package

tm.

Methods
Reader Method: address-rightmost ((status-tm status-tm))

automatically generated reader method

Source

status-type.lisp.

Target Slot

address-rightmost.

Generic Writer: (setf address-rightmost) (object)
Package

tm.

Methods
Writer Method: (setf address-rightmost) ((status-tm status-tm))

automatically generated writer method

Source

status-type.lisp.

Target Slot

address-rightmost.

Generic Function: as&s* (tm instance &optional ➜)

#’as with a contract that the head is on rightmost.

Package

tm.

Source

tm-generic.lisp.

Methods
Method: as&s* ((tm ts1-tm) instance &optional ➜)
Source

ts1-tm.lisp.

Method: as&s* ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: as&s* (tm instance &optional ➜)
Source

list-tm-specialized-generic.lisp.

Method: as&s* ((tm tape-machine) instance &optional ➜)
Generic Reader: base (object)
Package

tm.

Methods
Reader Method: base ((status-tm status-tm))

automatically generated reader method

Source

status-type.lisp.

Target Slot

base.

Reader Method: base ((identity-tr identity-tr))

automatically generated reader method

Source

identity.lisp.

Target Slot

base.

Generic Writer: (setf base) (object)
Package

tm.

Methods
Writer Method: (setf base) ((status-tm status-tm))

automatically generated writer method

Source

status-type.lisp.

Target Slot

base.

Writer Method: (setf base) ((identity-tr identity-tr))

automatically generated writer method

Source

identity.lisp.

Target Slot

base.

Generic Reader: deed (object)
Package

tm.

Methods
Reader Method: deed ((ts1-tm ts1-tm))

automatically generated reader method

Source

ts1-type.lisp.

Target Slot

deed.

Generic Writer: (setf deed) (object)
Package

tm.

Methods
Writer Method: (setf deed) ((ts1-tm ts1-tm))

automatically generated writer method

Source

ts1-type.lisp.

Target Slot

deed.

Generic Function: e-s*r (tape &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: e-s*r ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: e-s*r ((tm abandoned) &optional ➜)
Source

status-abandoned.lisp.

Method: e-s*r ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: e-s*r ((tm identity-tr) &optional ➜)
Source

identity.lisp.

Method: e-s*r ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: e-s*r ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: e-s*r ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: e-s*sr (tape &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: e-s*sr ((tm tiled-number-tm) &optional ➜)
Source

tiled-number.lisp.

Method: e-s*sr ((tm ensemble-tr) &optional ➜)
Source

ensemble.lisp.

Method: e-s*sr ((tm recursive) &optional ➜)
Source

recursive.lisp.

Method: e-s*sr ((tm bilist-tm) &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: e-s*sr ((tm list-tm) &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: e-s*sw (tape instance &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: e-s*sw ((tm tiled-number-tm) instance &optional ➜)
Source

tiled-number.lisp.

Method: e-s*sw ((tm ensemble-tr) instance &optional ➜)
Source

ensemble.lisp.

Method: e-s*sw ((tm bilist-tm) instance &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: e-s*sw ((tm list-tm) instance &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: e-s*w (tape instance &optional ➜)
Package

tm.

Source

tm-decls.lisp.

Methods
Method: e-s*w ((tm tiled-number-tm) instance &optional ➜)
Source

tiled-number.lisp.

Method: e-s*w ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: e-s*w ((tm ensemble-tr) instance &optional ➜)
Source

ensemble.lisp.

Method: e-s*w ((tm identity-tr) instance &optional ➜)
Source

identity.lisp.

Method: e-s*w ((tm recursive) instance &optional ➜)
Source

recursive.lisp.

Method: e-s*w ((tm bilist-tm) instance &optional ➜)
Source

bilist-tm-definitions.lisp.

Method: e-s*w ((tm list-tm) instance &optional ➜)
Source

list-tm-definitions.lisp.

Generic Function: entangled-on-right-neighbor-cell (entanglements-tm &optional ➜)
Package

tm.

Source

ea-tm.lisp.

Methods
Method: entangled-on-right-neighbor-cell ((tm ea-active) &optional ➜)
Source

ea-active.lisp.

Method: entangled-on-right-neighbor-cell ((tm ea-parked) &optional ➜)
Source

ea-parked.lisp.

Method: entangled-on-right-neighbor-cell ((tm ea-empty) &optional ➜)
Source

ea-empty.lisp.

Method: entangled-on-right-neighbor-cell ((tm ea-abandoned) &optional ➜)
Source

ea-abandoned.lisp.

Generic Function: entangled-on-same-cell (entanglements-tm &optional ➜)
Package

tm.

Source

ea-tm.lisp.

Methods
Method: entangled-on-same-cell ((tm ea-active) &optional ➜)
Source

ea-active.lisp.

Method: entangled-on-same-cell ((tm ea-parked) &optional ➜)
Source

ea-parked.lisp.

Method: entangled-on-same-cell ((tm ea-empty) &optional ➜)
Source

ea-empty.lisp.

Method: entangled-on-same-cell ((tm ea-abandoned) &optional ➜)
Source

ea-abandoned.lisp.

Generic Reader: entanglements (object)
Package

tm.

Methods
Reader Method: entanglements ((ea-tm ea-tm))

automatically generated reader method

Source

ea-type.lisp.

Target Slot

entanglements.

Generic Writer: (setf entanglements) (object)
Package

tm.

Methods
Writer Method: (setf entanglements) ((ea-tm ea-tm))

automatically generated writer method

Source

ea-type.lisp.

Target Slot

entanglements.

Generic Reader: entanglements-pt (object)
Package

tm.

Methods
Reader Method: entanglements-pt ((ea-tm ea-tm))

automatically generated reader method

Source

ea-type.lisp.

Target Slot

entanglements-pt.

Generic Writer: (setf entanglements-pt) (object)
Package

tm.

Methods
Writer Method: (setf entanglements-pt) ((ea-tm ea-tm))

automatically generated writer method

Source

ea-type.lisp.

Target Slot

entanglements-pt.

Generic Function: es*a (tm instance &optional ➜)

Allocates a cell to the right of rightmost (thus becoming the new rightmost).

Package

tm.

Source

nd-tm-decls.lisp.

Methods
Method: es*a ((tm ts1-tm) instance &optional ➜)
Source

ts1-tm.lisp.

Method: es*a ((tm empty) instance &optional ➜)
Source

status-empty.lisp.

Method: es*a ((tm abandoned) instance &optional ➜)
Source

status-abandoned.lisp.

Method: es*a ((tm nd-tape-machine) instance &optional ➜)

Allocates a cell to the right of rightmost (thus becoming the new rightmost).

Source

nd-tm-generic.lisp.

Generic Reader: f (object)
Package

tm.

Methods
Reader Method: f ((recursive recursive))

automatically generated reader method

Source

recursive.lisp.

Target Slot

f.

Generic Writer: (setf f) (object)
Package

tm.

Methods
Writer Method: (setf f) ((recursive recursive))

automatically generated writer method

Source

recursive.lisp.

Target Slot

f.

Generic Reader: head (object)
Package

tm.

Methods
Reader Method: head ((tiled-number-tm tiled-number-tm))

automatically generated reader method

Source

tiled-number.lisp.

Target Slot

head.

Reader Method: head ((recursive recursive))

automatically generated reader method

Source

recursive.lisp.

Target Slot

head.

Reader Method: head ((list-tm list-tm))

automatically generated reader method

Source

list-tm-type.lisp.

Target Slot

head.

Generic Writer: (setf head) (object)
Package

tm.

Methods
Writer Method: (setf head) ((tiled-number-tm tiled-number-tm))

automatically generated writer method

Source

tiled-number.lisp.

Target Slot

head.

Writer Method: (setf head) ((recursive recursive))

automatically generated writer method

Source

recursive.lisp.

Target Slot

head.

Writer Method: (setf head) ((list-tm list-tm))

automatically generated writer method

Source

list-tm-type.lisp.

Target Slot

head.

Generic Reader: initial (object)
Package

tm.

Methods
Reader Method: initial ((recursive recursive))

automatically generated reader method

Source

recursive.lisp.

Target Slot

initial.

Generic Writer: (setf initial) (object)
Package

tm.

Methods
Writer Method: (setf initial) ((recursive recursive))

automatically generated writer method

Source

recursive.lisp.

Target Slot

initial.

Generic Reader: members (object)
Package

tm.

Methods
Reader Method: members ((ensemble-tr ensemble-tr))

automatically generated reader method

Source

ensemble.lisp.

Target Slot

members.

Generic Writer: (setf members) (object)
Package

tm.

Methods
Writer Method: (setf members) ((ensemble-tr ensemble-tr))

automatically generated writer method

Source

ensemble.lisp.

Target Slot

members.

Generic Function: pd* (tm &optional spill ➜)

Deallocates the tape

Package

tm.

Source

status-quantified.lisp.

Generic Reader: tape (object)
Package

tm.

Methods
Reader Method: tape ((tiled-number-tm tiled-number-tm))

automatically generated reader method

Source

tiled-number.lisp.

Target Slot

tape.

Reader Method: tape ((list-tm list-tm))

automatically generated reader method

Source

list-tm-type.lisp.

Target Slot

tape.

Generic Writer: (setf tape) (object)
Package

tm.

Methods
Writer Method: (setf tape) ((tiled-number-tm tiled-number-tm))

automatically generated writer method

Source

tiled-number.lisp.

Target Slot

tape.

Writer Method: (setf tape) ((list-tm list-tm))

automatically generated writer method

Source

list-tm-type.lisp.

Target Slot

tape.

Generic Reader: text (condition)
Package

tm.

Methods
Reader Method: text ((condition δ-required-arg-missing))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition δ-unrecognized-command))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition δ-malformed-access-program))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition object-not-tape-machine))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition binner-no-such-bin))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition worker-must-have-src-or-dst))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition dequeue-from-empty))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition not-ready))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition access-through-parked-head))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition use-of-empty))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition operation-on-abandoned))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition non-function-continuation))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition dealloc-parked))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition dealloc-last))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition dealloc-collision))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition left-dealloc-on-leftmost))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition dealloc-on-rightmost))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition alloc-fail))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition step-from-rightmost))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition bad-init-value))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition use-of-o))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition impossible-to-get-here))
Source

conditions.lisp.

Target Slot

text.

Reader Method: text ((condition not-implemented))
Source

conditions.lisp.

Target Slot

text.

Generic Function: to-abandoned (tm)
Package

tm.

Source

status-type.lisp.

Methods
Method: to-abandoned ((tm ts1-tm))
Source

ts1-type.lisp.

Method: to-abandoned ((tm ea-tm))
Source

ea-type.lisp.

Method: to-abandoned ((tm status-tm))
Generic Function: to-active (tm)
Package

tm.

Source

status-type.lisp.

Methods
Method: to-active ((tm ts1-tm))
Source

ts1-type.lisp.

Method: to-active ((tm ea-tm))
Source

ea-type.lisp.

Method: to-active ((tm status-tm))
Generic Function: to-empty (tm)
Package

tm.

Source

status-type.lisp.

Methods
Method: to-empty ((tm ts1-tm))
Source

ts1-type.lisp.

Method: to-empty ((tm ea-tm))
Source

ea-type.lisp.

Method: to-empty ((tm status-tm))
Generic Function: to-parked (tm)
Package

tm.

Source

status-type.lisp.

Methods
Method: to-parked ((tm ts1-tm))
Source

ts1-type.lisp.

Method: to-parked ((tm ea-tm))
Source

ea-type.lisp.

Method: to-parked ((tm status-tm))
Generic Function: update-tape-after-epa (tm tm-ref)
Package

tm.

Source

solo-tm-decls.lisp.

Methods
Method: update-tape-after-epa ((tm list-solo-tm) (tm-ref list-solo-tm))
Source

list-solo-tm-definitions.lisp.

Generic Function: update-tape-after-epd (tm tm-ref)
Package

tm.

Source

solo-tm-decls.lisp.

Methods
Method: update-tape-after-epd ((tm list-solo-tm) (tm-ref list-solo-tm))
Source

list-solo-tm-definitions.lisp.


6.2.5 Conditions

Condition: bad-init-value
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: binner-no-such-bin
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: dealloc-collision
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: dealloc-last
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: dealloc-on-rightmost
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: dealloc-parked
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: dequeue-from-empty
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: impossible-to-get-here
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: left-dealloc-on-leftmost
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: non-function-continuation
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: not-ready
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: object-not-tape-machine
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: step-from-rightmost
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: use-of-o
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: worker-must-have-src-or-dst
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: δ-malformed-access-program
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: δ-required-arg-missing
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.

Condition: δ-unrecognized-command
Package

tm.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

text.

Direct slots
Slot: text
Initargs

:text

Readers

text.

Writers

This slot is read-only.


6.2.6 Structures

Structure: binode
Package

tm.

Source

bilist.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: instance
Readers

binode-instance.

Writers

(setf binode-instance).

Slot: right-neighbor
Readers

binode-right-neighbor.

Writers

(setf binode-right-neighbor).

Slot: left-neighbor
Readers

binode-left-neighbor.

Writers

(setf binode-left-neighbor).


6.2.7 Classes

Class: ea-abandoned
Package

tm.

Source

ea-type.lisp.

Direct superclasses
Direct methods
Class: ea-active
Package

tm.

Source

ea-type.lisp.

Direct superclasses
Direct subclasses

ts1-active.

Direct methods
Class: ea-empty
Package

tm.

Source

ea-type.lisp.

Direct superclasses
Direct subclasses

ts1-empty.

Direct methods
Class: ea-parked
Package

tm.

Source

ea-type.lisp.

Direct superclasses
Direct subclasses

ts1-parked.

Direct methods
Class: ea-parked-active
Package

tm.

Source

ea-type.lisp.

Direct superclasses

ea-tm.

Direct subclasses
Direct methods
Class: ea-tape-machine
Package

tm.

Source

ea-type.lisp.

Direct superclasses

status-tape-machine.

Direct subclasses
Class: identity-tr
Package

tm.

Source

identity.lisp.

Direct superclasses

identity-transform.

Direct subclasses

status-tm.

Direct methods
Direct slots
Slot: base
Initargs

tm::base

Readers

base.

Writers

(setf base).

Class: identity-transform
Package

tm.

Source

identity.lisp.

Direct superclasses

haz-tape-machine.

Direct subclasses
Class: status-tape-machine
Package

tm.

Source

status-type.lisp.

Direct superclasses

identity-transform.

Direct subclasses
Direct methods

c-fit.

Class: tiled-number-tm
Package

tm.

Source

tiled-number.lisp.

Direct superclasses

tape-machine.

Direct methods
Direct slots
Slot: head
Initargs

:head

Readers

head.

Writers

(setf head).

Slot: tape
Initargs

:tape

Readers

tape.

Writers

(setf tape).

Class: ts1-abandoned
Package

tm.

Source

ts1-type.lisp.

Direct superclasses
Class: ts1-active
Package

tm.

Source

ts1-type.lisp.

Direct superclasses
Class: ts1-empty
Package

tm.

Source

ts1-type.lisp.

Direct superclasses
Class: ts1-parked
Package

tm.

Source

ts1-type.lisp.

Direct superclasses
Class: ts1-tape-machine
Package

tm.

Source

ts1-type.lisp.

Direct superclasses

ea-tape-machine.

Direct subclasses

ts1-tm.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   (   -   ¬                  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   Q   R   S   T   U   W   Λ  
Index Entry  Section

(
(setf address): Private generic functions
(setf address): Private generic functions
(setf address-rightmost): Private generic functions
(setf address-rightmost): Private generic functions
(setf base): Private generic functions
(setf base): Private generic functions
(setf base): Private generic functions
(setf binode-instance): Private ordinary functions
(setf binode-left-neighbor): Private ordinary functions
(setf binode-right-neighbor): Private ordinary functions
(setf box-read): Private ordinary functions
(setf box-write): Private ordinary functions
(setf deed): Private generic functions
(setf deed): Private generic functions
(setf entanglements): Private generic functions
(setf entanglements): Private generic functions
(setf entanglements-pt): Private generic functions
(setf entanglements-pt): Private generic functions
(setf f): Private generic functions
(setf f): Private generic functions
(setf head): Private generic functions
(setf head): Private generic functions
(setf head): Private generic functions
(setf head): Private generic functions
(setf initial): Private generic functions
(setf initial): Private generic functions
(setf members): Private generic functions
(setf members): Private generic functions
(setf tape): Private generic functions
(setf tape): Private generic functions
(setf tape): Private generic functions
(setf unbox): Public ordinary functions

-
-a: Public generic functions
-a: Public generic functions
-d: Public generic functions
-d: Public generic functions
-s: Public generic functions
-s: Public generic functions
-s: Public generic functions
-s: Public generic functions
-s: Public generic functions
-s: Public generic functions
-s: Public generic functions
-s: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*: Public generic functions
-s*∀: Private generic functions
-s*∀: Private generic functions
-s*∀: Private generic functions
-s*∀: Private generic functions
-s*∀*: Private generic functions
-s*∀*: Private generic functions
-s*∀*: Private generic functions
-s*∀*: Private generic functions
-s*∃: Private generic functions
-s*∃: Private generic functions
-s*∃: Private generic functions
-s*∃: Private generic functions
-s*∃*: Private generic functions
-s*∃*: Private generic functions
-s*∃*: Private generic functions
-s*∃*: Private generic functions

¬
¬: Public macros

: Public generic functions
: Public generic functions
: Public generic functions
: Public generic functions
: Public generic functions
∀*: Public generic functions
∀*: Public generic functions
∀*: Public generic functions
∀*: Public generic functions
∀*: Public generic functions

: Public generic functions
: Public generic functions
: Public generic functions
: Public generic functions
: Public generic functions
∃*: Public generic functions
∃*: Public generic functions
∃*: Public generic functions
∃*: Public generic functions
∃*: Public generic functions

: Public macros

: Public macros

: Public macros

: Public macros

: Public macros

: Public ordinary functions

A
a: Public generic functions
a: Public generic functions
a: Public generic functions
a: Public generic functions
a: Public generic functions
a: Public generic functions
a: Public generic functions
a: Public generic functions
a: Public generic functions
a: Public generic functions
a: Public generic functions
a&s*: Private generic functions
a&s*: Private generic functions
a&s*: Private generic functions
a&s*: Private generic functions
a&s*: Private generic functions
a*: Public generic functions
a*: Public generic functions
abandon: Public generic functions
abandon: Public generic functions
abandon: Public generic functions
access-through-parked-head: Public ordinary functions
address: Private generic functions
address: Private generic functions
address-rightmost: Private generic functions
address-rightmost: Private generic functions
alloc-fail: Public ordinary functions
always-false: Public ordinary functions
always-true: Public ordinary functions
an: Public generic functions
an: Public generic functions
as: Public generic functions
as: Public generic functions
as: Public generic functions
as: Public generic functions
as&s*: Private generic functions
as&s*: Private generic functions
as&s*: Private generic functions
as&s*: Private generic functions
as&s*: Private generic functions
as*: Public generic functions
as*: Public generic functions
asn: Public generic functions
asn: Public generic functions

B
base: Private generic functions
base: Private generic functions
base: Private generic functions
be: Public ordinary functions
binode-instance: Private ordinary functions
binode-left-neighbor: Private ordinary functions
binode-p: Private ordinary functions
binode-right-neighbor: Private ordinary functions
boolify: Public ordinary functions
box: Public macros
box-p: Private ordinary functions
box-read: Private ordinary functions
box-write: Private ordinary functions
braces-reader-macro: Private ordinary functions
brackets-reader-macro: Private ordinary functions

C
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c: Public generic functions
c-fit: Public generic functions
c-fit: Public generic functions
c-fit: Public generic functions
c-fit: Public generic functions
cant-happen: Public ordinary functions
consume-key: Private ordinary functions
copy-binode: Private ordinary functions
copy-box: Private ordinary functions

D
d: Public generic functions
d: Public generic functions
d: Public generic functions
d: Public generic functions
d: Public generic functions
d: Public generic functions
d: Public generic functions
d: Public generic functions
d: Public generic functions
d: Public generic functions
d*: Public generic functions
d*: Public generic functions
d*: Public generic functions
d*: Public generic functions
d*: Public generic functions
d*: Public generic functions
d.: Public generic functions
d.: Public generic functions
d.: Public generic functions
d.: Public generic functions
d.: Public generic functions
d.: Public generic functions
decrement-to: Public ordinary functions
deed: Private generic functions
deed: Private generic functions
def-abandoned-1: Private macros
def-empty-1: Private macros
def-function-class: Public macros
def-identity-tr-1: Private macros
def-parked-1: Private macros
def-type: Public macros
defsynonym: Public macros
defun-typed: Public macros
dn: Public generic functions
dn: Public generic functions
do-nothing: Public ordinary functions

E
e-s*r: Private generic functions
e-s*r: Private generic functions
e-s*r: Private generic functions
e-s*r: Private generic functions
e-s*r: Private generic functions
e-s*r: Private generic functions
e-s*r: Private generic functions
e-s*r: Private generic functions
e-s*sr: Private generic functions
e-s*sr: Private generic functions
e-s*sr: Private generic functions
e-s*sr: Private generic functions
e-s*sr: Private generic functions
e-s*sr: Private generic functions
e-s*sw: Private generic functions
e-s*sw: Private generic functions
e-s*sw: Private generic functions
e-s*sw: Private generic functions
e-s*sw: Private generic functions
e-s*w: Private generic functions
e-s*w: Private generic functions
e-s*w: Private generic functions
e-s*w: Private generic functions
e-s*w: Private generic functions
e-s*w: Private generic functions
e-s*w: Private generic functions
e-s*w: Private generic functions
eas*: Public generic functions
eas*: Public generic functions
echo: Public ordinary functions
entangle: Public generic functions
entangle: Public generic functions
entangle: Public generic functions
entangle: Public generic functions
entangle: Public generic functions
entangle: Public generic functions
entangled: Public generic functions
entangled: Public generic functions
entangled: Public generic functions
entangled: Public generic functions
entangled: Public generic functions
entangled: Public generic functions
entangled-on-leftmost: Private ordinary functions
entangled-on-right-neighbor-cell: Private generic functions
entangled-on-right-neighbor-cell: Private generic functions
entangled-on-right-neighbor-cell: Private generic functions
entangled-on-right-neighbor-cell: Private generic functions
entangled-on-right-neighbor-cell: Private generic functions
entangled-on-same-cell: Private generic functions
entangled-on-same-cell: Private generic functions
entangled-on-same-cell: Private generic functions
entangled-on-same-cell: Private generic functions
entangled-on-same-cell: Private generic functions
entanglements: Private generic functions
entanglements: Private generic functions
entanglements-pt: Private generic functions
entanglements-pt: Private generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epa: Public generic functions
epd: Public generic functions
epd: Public generic functions<