The tm Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The tm Reference Manual

This is the tm Reference Manual, version 0.7, generated automatically by Declt version 2.3 "Robert April" on Wed Mar 14 04:39:30 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

tm

This is a formalized iteration library for Common Lisp. For more details see the docs directory, and particularly docs/html/index.html.


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

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


Previous: , Up: Systems   [Contents][Index]

2.1 tm

Author

Thomas W. Lynch <thomas.lynch@reasoningtechnology.com>

License

MIT License

Description

Formalized Iteration Library for Common LISP

Version

0.7

Dependencies
Source

tm.asd (file)

Components

Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

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


Next: , Previous: , Up: Modules   [Contents][Index]

3.1 tm/package-def

Parent

tm (system)

Location

package-def/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.2 tm/src-0

Dependency

package-def (module)

Parent

tm (system)

Location

src-0/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.3 tm/src-test

Dependency

src-0 (module)

Parent

tm (system)

Location

src-test/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.4 tm/src-list

Dependency

src-test (module)

Parent

tm (system)

Location

src-list/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.5 tm/src-generators

Dependency

src-list (module)

Parent

tm (system)

Location

src-generators/

Component

recursive.lisp (file)


Next: , Previous: , Up: Modules   [Contents][Index]

3.6 tm/src-tr

Dependency

src-generators (module)

Parent

tm (system)

Location

src-tr/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.7 tm/src-second-level

Dependency

src-tr (module)

Parent

tm (system)

Location

src-second-level/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.8 tm/src-array

Dependency

src-second-level (module)

Parent

tm (system)

Location

src-array/

Component

tiled-number.lisp (file)


Next: , Previous: , Up: Modules   [Contents][Index]

3.9 tm/test-0

Dependency

src-array (module)

Parent

tm (system)

Location

test-0/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.10 tm/test-list

Dependency

test-0 (module)

Parent

tm (system)

Location

test-list/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.11 tm/test-generators

Dependency

test-list (module)

Parent

tm (system)

Location

test-generators/

Component

recursive.lisp (file)


Next: , Previous: , Up: Modules   [Contents][Index]

3.12 tm/test-tr

Dependency

test-generators (module)

Parent

tm (system)

Location

test-tr/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.13 tm/test-second-level

Dependency

test-tr (module)

Parent

tm (system)

Location

test-second-level/

Components

Previous: , Up: Modules   [Contents][Index]

3.14 tm/test-array

Dependency

test-second-level (module)

Parent

tm (system)

Location

test-array/

Component

tiled-number.lisp (file)


Next: , Previous: , Up: Top   [Contents][Index]

4 Files

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


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 tm.asd

Location

tm.asd

Systems

tm (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.2 tm/package-def/package.lisp

Parent

package-def (module)

Location

package-def/package.lisp

Packages

tm


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.3 tm/package-def/conditions.lisp

Parent

package-def (module)

Location

package-def/conditions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.4 tm/src-0/synonyms.lisp

Parent

src-0 (module)

Location

src-0/synonyms.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-0 (module)

Location

src-0/list-qL.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-0 (module)

Location

src-0/reader-macros.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.7 tm/src-0/functions.lisp

Parent

src-0 (module)

Location

src-0/functions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.8 tm/src-test/print.lisp

Parent

src-test (module)

Location

src-test/print.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.9 tm/src-test/test.lisp

Parent

src-test (module)

Location

src-test/test.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/tm-type.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/tm-decls.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/tm-generic.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.13 tm/src-list/quantifiers.lisp

Parent

src-list (module)

Location

src-list/quantifiers.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/tm-quantified.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/list-tm-type.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/list-tm-definitions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/nd-tm-type.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/nd-tm-decls.lisp

Exported Definitions
Internal Definitions

es*a (generic function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/nd-tm-generic.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/nd-tm-quantified.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/solo-tm-type.lisp

Exported Definitions

solo-tape-machine (class)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/solo-tm-decls.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/solo-tm-quantified.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions

list-solo-tm (class)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/haz-tm-type.lisp

Exported Definitions

haz-tape-machine (class)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/haz-tm-decls.lisp

Exported Definitions

d. (generic function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions

list-haz-tm (class)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/bi-tm-decls.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.33 tm/src-list/bilist.lisp

Parent

src-list (module)

Location

src-list/bilist.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/bilist-tm-type.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/bilist-tm-definitions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions

bilist-nd-tm (class)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions

bilist-solo-tm (class)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

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

Exported Definitions

bilist-haz-tm (class)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-list (module)

Location

src-list/bilist-haz-definitions.lisp

Exported Definitions

d. (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.42 tm/src-list/copy.lisp

Parent

src-list (module)

Location

src-list/copy.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.43 tm/src-generators/recursive.lisp

Parent

src-generators (module)

Location

src-generators/recursive.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.44 tm/src-tr/identity.lisp

Parent

src-tr (module)

Location

src-tr/identity.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.45 tm/src-tr/ensemble.lisp

Parent

src-tr (module)

Location

src-tr/ensemble.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-type.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-tm.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-quantifiers.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-quantified.lisp

Exported Definitions
Internal Definitions

pd* (generic function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-copy.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status=.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-abandoned.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-empty.lisp

Exported Definitions
Internal Definitions

es*a (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-parked.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/status-active.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/ea-type.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/ea-tm.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/ea-abandoned.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/ea-empty.lisp

Exported Definitions

epa (method)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/ea-parked.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/ea-active.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

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

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/ts1-type.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-second-level (module)

Location

src-second-level/ts1-tm.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

src-array (module)

Location

src-array/tiled-number.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-0 (module)

Location

test-0/list-qL.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.67 tm/test-0/functions.lisp

Parent

test-0 (module)

Location

test-0/functions.lisp

Internal Definitions

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


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.68 tm/test-list/bilist.lisp

Parent

test-list (module)

Location

test-list/bilist.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

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

Internal Definitions

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


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

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

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

test-list/list-tm-definitions.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

test-list/nd-tm-generic.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

test-list/nd-tm-quantified.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

test-list/nd-tm-quantifiers.lisp

Internal Definitions

test-esnr-0 (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

test-list/solo-tm-quantified.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

test-list/tm-generic.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-list (module)

Location

test-list/tm-quantified.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.78 tm/test-list/quantifiers.lisp

Parent

test-list (module)

Location

test-list/quantifiers.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.79 tm/test-list/copy.lisp

Parent

test-list (module)

Location

test-list/copy.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.80 tm/test-generators/recursive.lisp

Parent

test-generators (module)

Location

test-generators/recursive.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.81 tm/test-tr/identity.lisp

Parent

test-tr (module)

Location

test-tr/identity.lisp

Internal Definitions

test-identity-0 (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.82 tm/test-tr/ensemble.lisp

Parent

test-tr (module)

Location

test-tr/ensemble.lisp

Internal Definitions

test-ensemble-0 (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-second-level (module)

Location

test-second-level/status.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-second-level (module)

Location

test-second-level/status-quantifiers.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-second-level (module)

Location

test-second-level/status-quantified.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-second-level (module)

Location

test-second-level/ea.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-second-level (module)

Location

test-second-level/ts1.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-second-level (module)

Location

test-second-level/copy.lisp

Internal Definitions

Previous: , Up: Lisp files   [Contents][Index]

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

Parent

test-array (module)

Location

test-array/tiled-number.lisp

Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Previous: , Up: Packages   [Contents][Index]

5.1 tm

Source

package.lisp (file)

Use List
Exported Definitions
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

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


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.1 Constants

Constant:
Package

tm

Source

synonyms.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.2 Special variables

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

tm

Source

test.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.3 Macros

Macro: box ARG
Package

tm

Source

functions.lisp (file)

Macro: def-function-class &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: def-type &rest ARGS
Package

tm

Source

synonyms.lisp (file)

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 (file)

Macro: defun-typed &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: l &rest INSTANCES
Package

tm

Source

list-ql.lisp (file)

Macro: q &rest INSTANCES
Package

tm

Source

list-ql.lisp (file)

Macro: string≠ &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: string≤ &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: string≥ &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: test-hook A-TEST
Package

tm

Source

test.lisp (file)

Macro: test-remove A-TEST
Package

tm

Source

test.lisp (file)

Macro: ¬ &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: λ &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: &rest ARGS
Package

tm

Source

synonyms.lisp (file)

Macro: &rest ARGS
Package

tm

Source

synonyms.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.4 Functions

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

tm

Source

functions.lisp (file)

Function: alloc-fail ()
Package

tm

Source

functions.lisp (file)

Function: always-false TM ➜T ➜∅
Package

tm

Source

quantifiers.lisp (file)

Function: always-true TM ➜T ➜∅
Package

tm

Source

quantifiers.lisp (file)

Function: be &rest IT
Package

tm

Source

functions.lisp (file)

Function: boolify B
Package

tm

Source

functions.lisp (file)

Function: cant-happen ()
Package

tm

Source

functions.lisp (file)

Function: decrement-to A &optional STRIDE
Package

tm

Source

recursive.lisp (file)

Function: do-nothing &rest X
Package

tm

Source

functions.lisp (file)

Function: echo &rest X
Package

tm

Source

functions.lisp (file)

Function: increment-to B &optional STRIDE
Package

tm

Source

recursive.lisp (file)

Function: mk TM-CLASS &optional INIT-PARMS ➜
Package

tm

Source

tm-type.lisp (file)

Function: mk-interval A B &optional STRIDE
Package

tm

Source

recursive.lisp (file)

Function: mk-natural ()
Package

tm

Source

recursive.lisp (file)

Function: nl &optional STREAM

prints a new line

Package

tm

Source

synonyms.lisp (file)

Function: not-implemented ()
Package

tm

Source

functions.lisp (file)

Function: notλ F
Package

tm

Source

functions.lisp (file)

Function: o &rest INSTANCES
Package

tm

Source

list-ql.lisp (file)

Function: operation-on-abandoned ()
Package

tm

Source

functions.lisp (file)

Function: print-to-log MESS &optional FILENAME
Package

tm

Source

test.lisp (file)

Function: remove-key-pair L GO-AWAY-KEY
Package

tm

Source

functions.lisp (file)

Function: remove-key-pairs L GO-AWAY-KEYS
Package

tm

Source

functions.lisp (file)

Function: test-all &optional VERBOSE
Package

tm

Source

test.lisp (file)

Function: test-all-and-self &optional VERBOSE
Package

tm

Source

test.lisp (file)

Function: unbox A-BOX
Function: (setf unbox) NEW-VALUE A-BOX
Package

tm

Source

functions.lisp (file)

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 (file)

Function: use-of-empty ()
Package

tm

Source

functions.lisp (file)

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 (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

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 (file)

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

bilist-tm-definitions.lisp (file)

Generic Function: -d TM &optional SPILL ➜

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

Package

tm

Source

bi-tm-decls.lisp (file)

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

bilist-solo-tm-definitions.lisp (file)

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 (file)

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

tiled-number.lisp (file)

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

ts1-tm.lisp (file)

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

status-active.lisp (file)

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

status-parked.lisp (file)

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

status-empty.lisp (file)

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

status-abandoned.lisp (file)

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

bilist-tm-definitions.lisp (file)

Generic Function: -s* TM &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

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

ts1-tm.lisp (file)

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

ea-parked.lisp (file)

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

status-active.lisp (file)

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

status-parked.lisp (file)

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

status-empty.lisp (file)

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

status-abandoned.lisp (file)

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

ensemble.lisp (file)

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

identity.lisp (file)

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

recursive.lisp (file)

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

list-tm-definitions.lisp (file)

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 (file)

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

tiled-number.lisp (file)

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

ts1-tm.lisp (file)

Method: a (TM ea-active) INSTANCE &optional ➜
Source

ea-active.lisp (file)

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

status-active.lisp (file)

Method: a (TM parked) INSTANCE &optional ➜
Source

status-parked.lisp (file)

Method: a (TM empty) INSTANCE &optional ➜
Source

status-empty.lisp (file)

Method: a (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

Method: a (TM identity-tr) INSTANCE &optional ➜
Source

identity.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

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 (file)

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

tm

Source

status-type.lisp (file)

Methods
Method: abandon (TM ea-tm)
Source

ea-type.lisp (file)

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 (file)

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 (file)

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

ts1-tm.lisp (file)

Method: as (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

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 (file)

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 (file)

Methods
Method: asn (TM tape-machine) (N integer) &optional FILL ➜
Generic Function: c SRC DST &optional ➜
Package

tm

Source

copy.lisp (file)

Methods
Method: c (SRC active) (DST parked) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC active) (DST empty) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC parked) (DST tape-machine) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC parked) (DST parked) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC parked) (DST empty) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC empty) (DST tape-machine) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC empty) (DST empty) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC tape-machine) (DST abandoned) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC abandoned) (DST tape-machine) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC tape-machine) (DST parked) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC tape-machine) (DST empty) &optional ➜
Source

status-copy.lisp (file)

Method: c (SRC tape-machine) (DST tape-machine) &optional ➜
Generic Function: c-fit SRC DST
Package

tm

Source

copy.lisp (file)

Methods
Method: c-fit (SRC empty) (DST status-tape-machine)
Source

status-copy.lisp (file)

Method: c-fit (SRC empty) (DST empty)
Source

status-copy.lisp (file)

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 (file)

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

ts1-tm.lisp (file)

Method: d (TM ea-active) &optional SPILL ➜
Source

ea-active.lisp (file)

Method: d (TM active) &optional SPILL ➜
Source

status-active.lisp (file)

Method: d (TM parked) &optional SPILL ➜
Source

status-parked.lisp (file)

Method: d (TM empty) &optional SPILL ➜
Source

status-empty.lisp (file)

Method: d (TM abandoned) &optional SPILL ➜
Source

status-abandoned.lisp (file)

Method: d (TM identity-tr) &optional SPILL ➜
Source

identity.lisp (file)

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

bilist-solo-tm-definitions.lisp (file)

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

list-solo-tm-definitions.lisp (file)

Generic Function: d* TM &optional SPILL ➜

Deallocate the right hand side of the tape.

Package

tm

Source

solo-tm-quantified.lisp (file)

Methods
Method: d* (TM active) &optional SPILL ➜
Source

status-quantified.lisp (file)

Method: d* (TM parked) &optional SPILL ➜
Source

status-quantified.lisp (file)

Method: d* (TM empty) &optional SPILL ➜
Source

status-quantified.lisp (file)

Method: d* (TM abandoned) &optional SPILL ➜
Source

status-quantified.lisp (file)

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 (file)

Methods
Method: d. (TM active) &optional SPILL ➜
Source

status-active.lisp (file)

Method: d. (TM parked) &optional SPILL ➜
Source

status-parked.lisp (file)

Method: d. (TM empty) &optional SPILL ➜
Source

status-empty.lisp (file)

Method: d. (TM abandoned) &optional SPILL ➜
Source

status-abandoned.lisp (file)

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

bilist-haz-definitions.lisp (file)

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 (file)

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 (file)

Methods
Method: eas* (TM0 nd-tape-machine) FILL &optional ➜
Generic Function: entangle TM-ORIG &optional ➜
Package

tm

Source

nd-tm-type.lisp (file)

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

ts1-type.lisp (file)

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

ea-type.lisp (file)

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

status-type.lisp (file)

Method: entangle (TM-ORIG identity-tr) &optional ➜
Source

identity.lisp (file)

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

list-nd-tm-type.lisp (file)

Generic Function: entangled TM0 TM1 &optional ➜
Package

tm

Source

nd-tm-decls.lisp (file)

Methods
Method: entangled (TM0 ts1-tm) (TM1 ts1-tm) &optional ➜
Source

ts1-tm.lisp (file)

Method: entangled (TM0 tape-machine) (TM1 abandoned) &optional ➜
Source

status-abandoned.lisp (file)

Method: entangled (TM0 abandoned) (TM1 tape-machine) &optional ➜
Source

status-abandoned.lisp (file)

Method: entangled (TM0 status-tm) (TM1 status-tm) &optional ➜
Source

status-tm.lisp (file)

Method: entangled (TM0 list-nd-tm) (TM1 list-nd-tm) &optional ➜
Source

list-nd-tm-definitions.lisp (file)

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 (file)

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

ts1-tm.lisp (file)

Method: epa (TM ea-parked-active) INSTANCE &optional ➜
Source

ea-parked-active.lisp (file)

Method: epa (TM ea-empty) INSTANCE &optional ➜
Source

ea-empty.lisp (file)

Method: epa (TM active) INSTANCE &optional ➜
Source

status-active.lisp (file)

Method: epa (TM parked) INSTANCE &optional ➜
Source

status-parked.lisp (file)

Method: epa (TM empty) INSTANCE &optional ➜
Source

status-empty.lisp (file)

Method: epa (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

Method: epa (TM identity-tr) INSTANCE &optional ➜
Source

identity.lisp (file)

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

bilist-solo-tm-definitions.lisp (file)

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

list-solo-tm-definitions.lisp (file)

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 (file)

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

ts1-tm.lisp (file)

Method: epd (TM ea-parked-active) &optional SPILL ➜
Source

ea-parked-active.lisp (file)

Method: epd (TM active) &optional SPILL ➜
Source

status-active.lisp (file)

Method: epd (TM parked) &optional SPILL ➜
Source

status-parked.lisp (file)

Method: epd (TM empty) &optional SPILL ➜
Source

status-empty.lisp (file)

Method: epd (TM abandoned) &optional SPILL ➜
Source

status-abandoned.lisp (file)

Method: epd (TM identity-tr) &optional SPILL ➜
Source

identity.lisp (file)

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

bilist-solo-tm-definitions.lisp (file)

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

list-solo-tm-definitions.lisp (file)

Generic Function: equiv TM0 TM1 &optional ➜
Package

tm

Source

tm-quantified.lisp (file)

Methods
Method: equiv (A tape-machine) (B parked) &optional ➜
Source

status=.lisp (file)

Method: equiv (A parked) (B tape-machine) &optional ➜
Source

status=.lisp (file)

Method: equiv (A parked) (B parked) &optional ➜
Source

status=.lisp (file)

Method: equiv (A tape-machine) (B empty) &optional ➜
Source

status=.lisp (file)

Method: equiv (A empty) (B tape-machine) &optional ➜
Source

status=.lisp (file)

Method: equiv (A empty) (B empty) &optional ➜
Source

status=.lisp (file)

Method: equiv A (B abandoned) &optional ➜
Source

status=.lisp (file)

Method: equiv (A abandoned) B &optional ➜
Source

status=.lisp (file)

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 (file)

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 (file)

Methods
Method: esnw (TM nd-tape-machine) INDEX INSTANCE &optional ➜
Generic Function: esr TM &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

Method: esr (TM parked) &optional ➜
Source

status-parked.lisp (file)

Method: esr (TM empty) &optional ➜
Source

status-empty.lisp (file)

Method: esr (TM abandoned) &optional ➜
Source

status-abandoned.lisp (file)

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

ensemble.lisp (file)

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

identity.lisp (file)

Method: esr (TM recursive) &optional ➜
Source

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: esw TM INSTANCE &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

Method: esw (TM parked) INSTANCE &optional ➜
Source

status-parked.lisp (file)

Method: esw (TM empty) INSTANCE &optional ➜
Source

status-empty.lisp (file)

Method: esw (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

Method: esw (TM ensemble-tr) INSTANCE &optional ➜
Source

ensemble.lisp (file)

Method: esw (TM identity-tr) INSTANCE &optional ➜
Source

identity.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: filter TM SPILL PRED &optional ➜
Package

tm

Source

solo-tm-quantified.lisp (file)

Methods
Method: filter (TM empty) SPILL PRED &optional ➜
Source

status-quantified.lisp (file)

Method: filter (TM abandoned) SPILL PRED &optional ➜
Source

status-quantified.lisp (file)

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 (file)

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

ts1-tm.lisp (file)

Method: heads-on-same-cell (TM0 active) (TM1 active) &optional ➜
Source

status-active.lisp (file)

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

status-parked.lisp (file)

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

status-parked.lisp (file)

Method: heads-on-same-cell (TM0 parked) (TM1 parked) &optional ➜
Source

status-parked.lisp (file)

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

status-empty.lisp (file)

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

status-empty.lisp (file)

Method: heads-on-same-cell (TM0 empty) (TM1 empty) &optional ➜
Source

status-empty.lisp (file)

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

status-abandoned.lisp (file)

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

status-abandoned.lisp (file)

Method: heads-on-same-cell (TM0 abandoned) (TM1 abandoned) &optional ➜
Source

status-abandoned.lisp (file)

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

identity.lisp (file)

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

identity.lisp (file)

Method: heads-on-same-cell (TM0 identity-tr) (TM1 identity-tr) &optional ➜
Source

identity.lisp (file)

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

list-nd-tm-definitions.lisp (file)

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

list-nd-tm-definitions.lisp (file)

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

list-nd-tm-definitions.lisp (file)

Generic Function: init INSTANCE &optional INIT-VALUE ➜
Package

tm

Source

tm-type.lisp (file)

Methods
Method: init (TM tiled-number-tm) &optional KEYED-PARMS ➜
Source

tiled-number.lisp (file)

Method: init (TM ts1-tm) &optional KEYED-PARMS ➜
Source

ts1-type.lisp (file)

Method: init (TM ea-tm) &optional INIT-PARMS ➜
Source

ea-type.lisp (file)

Method: init (TM status-tm) &optional KEYED-PARMS ➜
Source

status-type.lisp (file)

Method: init (TM ensemble-tr) &optional INIT-VALUE ➜
Source

ensemble.lisp (file)

Method: init (TM identity-tr) &optional INIT-VALUE ➜
Source

identity.lisp (file)

Method: init (TM recursive) &optional INIT-VALUE ➜
Source

recursive.lisp (file)

Method: init (TM bilist-tm) &optional KEYED-PARMS ➜
Source

bilist-tm-type.lisp (file)

Method: init (TM list-tm) &optional KEYED-PARMS ➜
Source

list-tm-type.lisp (file)

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 (file)

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

tiled-number.lisp (file)

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

ts1-tm.lisp (file)

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

status-active.lisp (file)

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

status-parked.lisp (file)

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

status-empty.lisp (file)

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

status-abandoned.lisp (file)

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

ensemble.lisp (file)

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

identity.lisp (file)

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

recursive.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: on-rightmost TM &optional ➜

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

Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

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

ts1-tm.lisp (file)

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

status-active.lisp (file)

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

status-parked.lisp (file)

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

status-empty.lisp (file)

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

status-abandoned.lisp (file)

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

ensemble.lisp (file)

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

identity.lisp (file)

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

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: p TM &optional ➜
Package

tm

Source

status-tm.lisp (file)

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

status-active.lisp (file)

Method: p (TM parked) &optional ➜
Source

status-parked.lisp (file)

Method: p (TM empty) &optional ➜
Source

status-empty.lisp (file)

Method: p (TM abandoned) &optional ➜
Source

status-abandoned.lisp (file)

Generic Function: p∀ TM PRED &optional ➜
Package

tm

Source

status-quantifiers.lisp (file)

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 (file)

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 (file)

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 (file)

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 (file)

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

tiled-number.lisp (file)

Method: r (TM parked) &optional ➜
Source

status-parked.lisp (file)

Method: r (TM empty) &optional ➜
Source

status-empty.lisp (file)

Method: r (TM abandoned) &optional ➜
Source

status-abandoned.lisp (file)

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

ensemble.lisp (file)

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

identity.lisp (file)

Method: r (TM recursive) &optional ➜
Source

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

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 (file)

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

tiled-number.lisp (file)

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

ts1-tm.lisp (file)

Method: s (TM active) &optional ➜
Source

status-active.lisp (file)

Method: s (TM parked) &optional ➜
Source

status-parked.lisp (file)

Method: s (TM empty) &optional ➜
Source

status-empty.lisp (file)

Method: s (TM abandoned) &optional ➜
Source

status-abandoned.lisp (file)

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

ensemble.lisp (file)

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

identity.lisp (file)

Method: s (TM recursive) &optional ➜
Source

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: s* TM &optional ➜

Cue tm’s head to the rightmost cell.

Package

tm

Source

tm-generic.lisp (file)

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

ts1-tm.lisp (file)

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

ea-parked.lisp (file)

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

status-active.lisp (file)

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

status-parked.lisp (file)

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

status-empty.lisp (file)

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

status-abandoned.lisp (file)

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 (file)

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 (file)

Methods
Method: s≠ (TM0 ts1-tm) (TM1 ts1-tm) &optional ➜
Source

ts1-tm.lisp (file)

Method: s≠ (TM0 parked) (TM1 active) &optional ➜
Source

status-parked.lisp (file)

Method: s≠ (TM0 parked) (TM1 parked) &optional ➜
Source

status-parked.lisp (file)

Method: s≠ (TM0 empty) (TM1 empty) &optional ➜
Source

status-empty.lisp (file)

Method: s≠ (TM0 abandoned) (TM1 abandoned) &optional ➜
Source

status-abandoned.lisp (file)

Method: s≠ (TM0 nd-tape-machine) (TM1 nd-tape-machine) &optional ➜
Source

nd-tm-generic.lisp (file)

Generic Function: tape-length-is-one TM &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

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

status-empty.lisp (file)

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

status-abandoned.lisp (file)

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

status-tm.lisp (file)

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

ensemble.lisp (file)

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

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: tape-length-is-two TM &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

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

status-empty.lisp (file)

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

status-abandoned.lisp (file)

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

status-tm.lisp (file)

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

ensemble.lisp (file)

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

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: tm-print TM
Package

tm

Source

nd-tm-generic.lisp (file)

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

status-tm.lisp (file)

Method: tm-print (TM0 nd-tape-machine)
Generic Function: w TM INSTANCE &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

Method: w (TM parked) INSTANCE &optional ➜
Source

status-parked.lisp (file)

Method: w (TM empty) INSTANCE &optional ➜
Source

status-empty.lisp (file)

Method: w (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

Method: w (TM ensemble-tr) INSTANCE &optional ➜
Source

ensemble.lisp (file)

Method: w (TM identity-tr) INSTANCE &optional ➜
Source

identity.lisp (file)

Method: w (TM recursive) INSTANCE &optional ➜
Source

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

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 (file)

Methods
Method: w* (TM tape-machine) FILL &optional ➜
Generic Function: with-entangled TM CONTINUATION
Package

tm

Source

nd-tm-decls.lisp (file)

Methods
Method: with-entangled (TM status-tm) CONTINUATION
Source

status-type.lisp (file)

Method: with-entangled (TM nd-tape-machine) CONTINUATION
Source

nd-tm-generic.lisp (file)

Generic Function: TM PRED &optional ➜
Package

tm

Source

quantifiers.lisp (file)

Methods
Method: (TM parked) PRED &optional ➜
Source

status-quantifiers.lisp (file)

Method: (TM empty) PRED &optional ➜
Source

status-quantifiers.lisp (file)

Method: (TM abandoned) PRED &optional ➜
Source

status-quantifiers.lisp (file)

Method: (TM tape-machine) PRED &optional ➜
Generic Function: ∀* TM FUNCTION
Package

tm

Source

quantifiers.lisp (file)

Methods
Method: ∀* (TM parked) FUNCTION
Source

status-quantifiers.lisp (file)

Method: ∀* (TM empty) FUNCTION
Source

status-quantifiers.lisp (file)

Method: ∀* (TM abandoned) FUNCTION
Source

status-quantifiers.lisp (file)

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 (file)

Methods
Method: (TM parked) PRED &optional ➜
Source

status-quantifiers.lisp (file)

Method: (TM empty) PRED &optional ➜
Source

status-quantifiers.lisp (file)

Method: (TM abandoned) PRED &optional ➜
Source

status-quantifiers.lisp (file)

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 (file)

Methods
Method: ∃* (TM parked) PRED
Source

status-quantifiers.lisp (file)

Method: ∃* (TM empty) PRED
Source

status-quantifiers.lisp (file)

Method: ∃* (TM abandoned) PRED
Source

status-quantifiers.lisp (file)

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).


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.6 Conditions

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

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: alloc-fail ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: not-implemented ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: operation-on-abandoned ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: use-of-empty ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.7 Structures

Structure: box ()
Package

tm

Source

functions.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: read
Readers

box-read (function)

Writers

(setf box-read) (function)

Slot: write
Readers

box-write (function)

Writers

(setf box-write) (function)


Previous: , Up: Exported definitions   [Contents][Index]

6.1.8 Classes

Class: abandoned ()
Package

tm

Source

status-type.lisp (file)

Direct superclasses

status-tm (class)

Direct subclasses
Direct methods
Class: active ()
Package

tm

Source

status-type.lisp (file)

Direct superclasses

status-tm (class)

Direct subclasses

ea-active (class)

Direct methods
Class: bilist-haz-tm ()
Package

tm

Source

bilist-haz-tm-type.lisp (file)

Direct superclasses
Direct methods

d. (method)

Class: bilist-nd-tm ()
Package

tm

Source

bilist-nd-tm-type.lisp (file)

Direct superclasses
Direct subclasses

bilist-haz-tm (class)

Class: bilist-solo-tm ()
Package

tm

Source

bilist-solo-tm-type.lisp (file)

Direct superclasses
Direct subclasses

bilist-haz-tm (class)

Direct methods
  • epd (method)
  • -d (method)
  • d (method)
  • epa (method)
Class: bilist-tm ()
Package

tm

Source

bilist-tm-type.lisp (file)

Direct superclasses

list-tm (class)

Direct subclasses
Direct methods
Class: ea-tm ()
Package

tm

Source

ea-type.lisp (file)

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

:entanglements

Readers

entanglements (generic function)

Writers

(setf entanglements) (generic function)

Slot: entanglements-pt
Initargs

:entanglements-pt

Readers

entanglements-pt (generic function)

Writers

(setf entanglements-pt) (generic function)

Class: empty ()
Package

tm

Source

status-type.lisp (file)

Direct superclasses

status-tm (class)

Direct subclasses

ea-empty (class)

Direct methods
Class: ensemble-tr ()
Package

tm

Source

ensemble.lisp (file)

Direct superclasses

tape-machine (class)

Direct methods
Direct slots
Slot: members
Initargs

tm::members

Readers

members (generic function)

Writers

(setf members) (generic function)

Class: haz-tape-machine ()
Package

tm

Source

haz-tm-type.lisp (file)

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

tm

Source

list-haz-tm-type.lisp (file)

Direct superclasses
Class: list-nd-tm ()
Package

tm

Source

list-nd-tm-type.lisp (file)

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

tm

Source

list-solo-tm-type.lisp (file)

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

tm

Source

list-tm-type.lisp (file)

Direct superclasses

tape-machine (class)

Direct subclasses
Direct methods
Direct slots
Slot: head
Initargs

:head

Readers

head (generic function)

Writers

(setf head) (generic function)

Slot: tape
Initargs

:tape

Readers

tape (generic function)

Writers

(setf tape) (generic function)

Class: nd-tape-machine ()
Package

tm

Source

nd-tm-type.lisp (file)

Direct superclasses

tape-machine (class)

Direct subclasses
Direct methods
Class: parked ()
Package

tm

Source

status-type.lisp (file)

Direct superclasses

status-tm (class)

Direct subclasses

ea-parked (class)

Direct methods
Class: recursive ()
Package

tm

Source

recursive.lisp (file)

Direct superclasses

tape-machine (class)

Direct methods
Direct slots
Slot: initial
Initargs

tm::initial

Readers

initial (generic function)

Writers

(setf initial) (generic function)

Slot: f
Initargs

tm::f

Readers

f (generic function)

Writers

(setf f) (generic function)

Slot: head
Initargs

tm::head

Readers

head (generic function)

Writers

(setf head) (generic function)

Class: solo-tape-machine ()
Package

tm

Source

solo-tm-type.lisp (file)

Direct superclasses

tape-machine (class)

Direct subclasses
Direct methods
Class: status-tm ()
Package

tm

Source

status-type.lisp (file)

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

:base

Readers

base (generic function)

Writers

(setf base) (generic function)

Slot: address
Initargs

:address

Readers

address (generic function)

Writers

(setf address) (generic function)

Slot: address-rightmost
Initargs

:address-rightmost

Readers

address-rightmost (generic function)

Writers

(setf address-rightmost) (generic function)

Class: tape-machine ()
Package

tm

Source

tm-type.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods
Class: ts1-tm ()
Package

tm

Source

ts1-type.lisp (file)

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

:deed

Readers

deed (generic function)

Writers

(setf deed) (generic function)


Previous: , Up: Definitions   [Contents][Index]

6.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.1 Special variables

Special Variable: *prins-lock*
Package

tm

Source

print.lisp (file)

Special Variable: *prins-on*
Package

tm

Source

print.lisp (file)

Special Variable: *test-routines*
Package

tm

Source

test.lisp (file)

Special Variable: *tile-length*
Package

tm

Source

tiled-number.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.2 Macros

Macro: def-abandoned-1 F &rest ARGS
Package

tm

Source

status-tm.lisp (file)

Macro: def-empty-1 F &rest ARGS
Package

tm

Source

status-tm.lisp (file)

Macro: def-identity-tr-1 F &rest ARGS
Package

tm

Source

identity.lisp (file)

Macro: def-parked-1 F &rest ARGS
Package

tm

Source

status-tm.lisp (file)

Macro: prins &body F
Package

tm

Source

print.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.3 Functions

Function: binode-instance INSTANCE
Function: (setf binode-instance) VALUE INSTANCE
Package

tm

Source

bilist.lisp (file)

Function: binode-left-neighbor INSTANCE
Function: (setf binode-left-neighbor) VALUE INSTANCE
Package

tm

Source

bilist.lisp (file)

Function: binode-p OBJECT
Package

tm

Source

bilist.lisp (file)

Function: binode-right-neighbor INSTANCE
Function: (setf binode-right-neighbor) VALUE INSTANCE
Package

tm

Source

bilist.lisp (file)

Function: box-p OBJECT
Package

tm

Source

functions.lisp (file)

Function: box-read INSTANCE
Function: (setf box-read) VALUE INSTANCE
Package

tm

Source

functions.lisp (file)

Function: box-write INSTANCE
Function: (setf box-write) VALUE INSTANCE
Package

tm

Source

functions.lisp (file)

Function: braces-reader-macro STREAM CHAR
Package

tm

Source

reader-macros.lisp (file)

Function: brackets-reader-macro STREAM CHAR
Package

tm

Source

reader-macros.lisp (file)

Function: consume-key GO-AWAY-KEY KEY-LIST
Package

tm

Source

functions.lisp (file)

Function: copy-binode INSTANCE
Package

tm

Source

bilist.lisp (file)

Function: copy-box INSTANCE
Package

tm

Source

functions.lisp (file)

Function: entangled-on-leftmost ES &optional ➜T ➜∅
Package

tm

Source

ea-tm.lisp (file)

Function: example-exception-test ()
Package

tm

Source

test.lisp (file)

Function: example-fail-test ()
Package

tm

Source

test.lisp (file)

Function: example-illegal-test ()
Package

tm

Source

test.lisp (file)

Function: example-pass-test ()
Package

tm

Source

test.lisp (file)

Function: has-to-open-mark I
Package

tm

Source

list-ql.lisp (file)

Function: make-bilist A-LIST
Package

tm

Source

bilist.lisp (file)

Function: make-bilist-1 A-LIST LEFT-NEIGHBOR
Package

tm

Source

bilist.lisp (file)

Function: make-binode &key (INSTANCE INSTANCE) (RIGHT-NEIGHBOR RIGHT-NEIGHBOR) (LEFT-NEIGHBOR LEFT-NEIGHBOR)
Package

tm

Source

bilist.lisp (file)

Function: make-box &key (READ READ) (WRITE WRITE)
Package

tm

Source

functions.lisp (file)

Function: meta-q E
Package

tm

Source

list-ql.lisp (file)

Function: meta-wrap SRC
Package

tm

Source

list-ql.lisp (file)

Function: meta-wrap-gather GATHER-LIST A-LIST
Package

tm

Source

list-ql.lisp (file)

Function: meta-wrap-relay OPEN-STUFF A-LIST
Package

tm

Source

list-ql.lisp (file)

Function: mk-7 ()
Package

tm

Source

list-ql.lisp (file)

Function: print-bilist BL
Package

tm

Source

bilist.lisp (file)

Function: print-bilist-1 BL
Package

tm

Source

bilist.lisp (file)

Function: prinx X
Package

tm

Source

tiled-number.lisp (file)

Function: remove-mark I
Package

tm

Source

list-ql.lisp (file)

Function: shift-left X N
Package

tm

Source

tiled-number.lisp (file)

Function: test A-TEST
Package

tm

Source

test.lisp (file)

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

tm

Source

quantifiers.lisp (file)

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

tm

Source

quantifiers.lisp (file)

Function: test-a*-0 ()
Package

tm

Source

tm-quantified.lisp (file)

Function: test-an-0 ()
Package

tm

Source

nd-tm-quantified.lisp (file)

Function: test-as*-0 ()
Package

tm

Source

tm-quantified.lisp (file)

Function: test-as*-1 ()
Package

tm

Source

tm-quantified.lisp (file)

Function: test-asn-0 ()
Package

tm

Source

tm-quantified.lisp (file)

Function: test-bilist-0 ()
Package

tm

Source

bilist.lisp (file)

Function: test-bilist-1 ()
Package

tm

Source

bilist.lisp (file)

Function: test-bilist-2 ()
Package

tm

Source

bilist.lisp (file)

Function: test-bilist-3 ()
Package

tm

Source

bilist.lisp (file)

Function: test-bilist-4 ()
Package

tm

Source

bilist.lisp (file)

Function: test-bilist-5 ()
Package

tm

Source

bilist.lisp (file)

Function: test-c-0 ()
Package

tm

Source

copy.lisp (file)

Function: test-c-1 ()
Package

tm

Source

copy.lisp (file)

Function: test-c-2 ()
Package

tm

Source

copy.lisp (file)

Function: test-c-3 ()
Package

tm

Source

copy.lisp (file)

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

tm

Source

copy.lisp (file)

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

tm

Source

copy.lisp (file)

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

tm

Source

copy.lisp (file)

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

tm

Source

copy.lisp (file)

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

tm

Source

copy.lisp (file)

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

tm

Source

copy.lisp (file)

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

tm

Source

copy.lisp (file)

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

tm

Source

copy.lisp (file)

Function: test-d*-0 ()
Package

tm

Source

solo-tm-quantified.lisp (file)

Function: test-d-0 ()
Package

tm

Source

list-solo-tm-definitions.lisp (file)

Function: test-dn-0 ()
Package

tm

Source

solo-tm-quantified.lisp (file)

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

tm

Source

nd-tm-generic.lisp (file)

Function: test-ea-0 ()
Package

tm

Source

ea.lisp (file)

Function: test-ea-1 ()
Package

tm

Source

ea.lisp (file)

Function: test-ea-2 ()
Package

tm

Source

ea.lisp (file)

Function: test-ea-3 ()
Package

tm

Source

ea.lisp (file)

Function: test-ea-4 ()
Package

tm

Source

ea.lisp (file)

Function: test-eas*-0 ()
Package

tm

Source

nd-tm-quantified.lisp (file)

Function: test-ensemble-0 ()
Package

tm

Source

ensemble.lisp (file)

Function: test-entangled-0 ()
Package

tm

Source

ea.lisp (file)

Function: test-epa-0 ()
Package

tm

Source

list-solo-tm-definitions.lisp (file)

Function: test-epd-0 ()
Package

tm

Source

list-solo-tm-definitions.lisp (file)

Function: test-epd-1 ()
Package

tm

Source

list-solo-tm-definitions.lisp (file)

Function: test-equiv-0 ()
Package

tm

Source

tm-quantified.lisp (file)

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

tm

Source

nd-tm-generic.lisp (file)

Function: test-esnr-0 ()
Package

tm

Source

nd-tm-quantifiers.lisp (file)

Function: test-filter-0 ()
Package

tm

Source

solo-tm-quantified.lisp (file)

Function: test-filter-1 ()
Package

tm

Source

solo-tm-quantified.lisp (file)

Function: test-filter-2 ()
Package

tm

Source

solo-tm-quantified.lisp (file)

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

tm

Source

list-nd-tm-definitions.lisp (file)

Function: test-identity-0 ()
Package

tm

Source

identity.lisp (file)

Function: test-l-0 ()
Package

tm

Source

list-ql.lisp (file)

Function: test-l-1 ()
Package

tm

Source

list-ql.lisp (file)

Function: test-l-2 ()
Package

tm

Source

list-ql.lisp (file)

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

tm

Source

list-tm-definitions.lisp (file)

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

tm

Source

list-tm-definitions.lisp (file)

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

tm

Source

list-tm-definitions.lisp (file)

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

tm

Source

list-tm-definitions.lisp (file)

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

tm

Source

list-tm-definitions.lisp (file)

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

tm

Source

list-tm-definitions.lisp (file)

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

tm

Source

list-ql.lisp (file)

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

tm

Source

nd-tm-generic.lisp (file)

Function: test-q-0 ()
Package

tm

Source

list-ql.lisp (file)

Function: test-q-1 ()
Package

tm

Source

list-ql.lisp (file)

Function: test-recursive-0 ()
Package

tm

Source

recursive.lisp (file)

Function: test-recursive-1 ()
Package

tm

Source

recursive.lisp (file)

Function: test-recursive-2 ()
Package

tm

Source

recursive.lisp (file)

Function: test-recursive-3 ()
Package

tm

Source

recursive.lisp (file)

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

tm

Source

functions.lisp (file)

Function: test-s*-0 ()
Package

tm

Source

tm-quantified.lisp (file)

Function: test-sn-0 ()
Package

tm

Source

tm-quantified.lisp (file)

Function: test-sn-1 ()
Package

tm

Source

tm-quantified.lisp (file)

Function: test-status-0 ()
Package

tm

Source

status.lisp (file)

Function: test-status-1 ()
Package

tm

Source

status.lisp (file)

Function: test-status-4 ()
Package

tm

Source

status.lisp (file)

Function: test-status-5 ()
Package

tm

Source

status.lisp (file)

Function: test-status-6 ()
Package

tm

Source

status.lisp (file)

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

tm

Source

status-quantified.lisp (file)

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

tm

Source

status-quantified.lisp (file)

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

tm

Source

status-quantified.lisp (file)

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

tm

Source

status-quantifiers.lisp (file)

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

tm

Source

status-quantifiers.lisp (file)

Function: test-s≠-0 ()
Package

tm

Source

nd-tm-generic.lisp (file)

Function: test-s≠-1 ()
Package

tm

Source

nd-tm-generic.lisp (file)

Function: test-tiled-0 ()
Package

tm

Source

tiled-number.lisp (file)

Function: test-tiled-1 ()
Package

tm

Source

tiled-number.lisp (file)

Function: test-tiled-2 ()
Package

tm

Source

tiled-number.lisp (file)

Function: test-tiled-3 ()
Package

tm

Source

tiled-number.lisp (file)

Function: test-tiled-4 ()
Package

tm

Source

tiled-number.lisp (file)

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

tm

Source

tm-generic.lisp (file)

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

tm

Source

tm-generic.lisp (file)

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

tm

Source

tm-generic.lisp (file)

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

tm

Source

tm-generic.lisp (file)

Function: test-ts1-0 ()
Package

tm

Source

ts1.lisp (file)

Function: test-ts1-1 ()
Package

tm

Source

ts1.lisp (file)

Function: test-ts1-2 ()
Package

tm

Source

ts1.lisp (file)

Function: test-ts1-3 &optional MAX-RETRIES
Package

tm

Source

ts1.lisp (file)

Function: test-ts1-4 &optional MAX-TRIES
Package

tm

Source

ts1.lisp (file)

Function: test-ts1-4-t1 TM11 TM-PIPE T1-FINISHED-IN-BOX
Package

tm

Source

ts1.lisp (file)

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 (file)

Function: test-ts1-4-t2-wait TM-WAIT-TRIES T1-FINISHED-IN-BOX
Package

tm

Source

ts1.lisp (file)

Function: test-ts1-5 &optional MAX-TRIES
Package

tm

Source

ts1.lisp (file)

Function: test-ts1-5-t1 TM11 TM-PIPE
Package

tm

Source

ts1.lisp (file)

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 (file)

Function: test-unwrap-0 ()
Package

tm

Source

list-ql.lisp (file)

Function: test-w*-0 ()
Package

tm

Source

tm-quantified.lisp (file)

Function: test-¬∀-0 ()
Package

tm

Source

quantifiers.lisp (file)

Function: test-∀-0 ()
Package

tm

Source

quantifiers.lisp (file)

Function: test-∃-0 ()
Package

tm

Source

quantifiers.lisp (file)

Function: test-∃-1 ()
Package

tm

Source

quantifiers.lisp (file)

Function: test-⟳-0 ()
Package

tm

Source

quantifiers.lisp (file)

Function: tm-print-1 TM0 TM1
Package

tm

Source

nd-tm-generic.lisp (file)

Function: turn-off-prins ()
Package

tm

Source

print.lisp (file)

Function: turn-on-prins ()
Package

tm

Source

print.lisp (file)

Function: wrap I
Package

tm

Source

list-ql.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.4 Generic functions

Generic Function: -s*∀ TM PRED &optional ➜
Package

tm

Source

quantifiers.lisp (file)

Methods
Method: -s*∀ (TM empty) PRED &optional ➜
Source

status-quantifiers.lisp (file)

Method: -s*∀ (TM abandoned) PRED &optional ➜
Source

status-quantifiers.lisp (file)

Method: -s*∀ (TM tape-machine) PRED &optional ➜
Generic Function: -s*∀* TM FUNCTION
Package

tm

Source

quantifiers.lisp (file)

Methods
Method: -s*∀* (TM empty) FUNCTION
Source

status-quantifiers.lisp (file)

Method: -s*∀* (TM abandoned) FUNCTION
Source

status-quantifiers.lisp (file)

Method: -s*∀* (TM tape-machine) FUNCTION
Generic Function: -s*∃ TM PRED &optional ➜
Package

tm

Source

quantifiers.lisp (file)

Methods
Method: -s*∃ (TM empty) PRED &optional ➜
Source

status-quantifiers.lisp (file)

Method: -s*∃ (TM abandoned) PRED &optional ➜
Source

status-quantifiers.lisp (file)

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

tm

Source

quantifiers.lisp (file)

Methods
Method: -s*∃* (TM empty) PRED
Source

status-quantifiers.lisp (file)

Method: -s*∃* (TM abandoned) PRED
Source

status-quantifiers.lisp (file)

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 (file)

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

ts1-tm.lisp (file)

Method: a&s* (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

Method: a&s* TM INSTANCE &optional ➜
Source

list-tm-specialized-generic.lisp (file)

Method: a&s* (TM tape-machine) INSTANCE &optional ➜
Generic Function: address OBJECT
Generic Function: (setf address) NEW-VALUE OBJECT
Package

tm

Methods
Method: address (STATUS-TM status-tm)

automatically generated reader method

Source

status-type.lisp (file)

Method: (setf address) NEW-VALUE (STATUS-TM status-tm)

automatically generated writer method

Source

status-type.lisp (file)

Generic Function: address-rightmost OBJECT
Generic Function: (setf address-rightmost) NEW-VALUE OBJECT
Package

tm

Methods
Method: address-rightmost (STATUS-TM status-tm)

automatically generated reader method

Source

status-type.lisp (file)

Method: (setf address-rightmost) NEW-VALUE (STATUS-TM status-tm)

automatically generated writer method

Source

status-type.lisp (file)

Generic Function: as&s* TM INSTANCE &optional ➜

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

Package

tm

Source

tm-generic.lisp (file)

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

ts1-tm.lisp (file)

Method: as&s* (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

Method: as&s* TM INSTANCE &optional ➜
Source

list-tm-specialized-generic.lisp (file)

Method: as&s* (TM tape-machine) INSTANCE &optional ➜
Generic Function: base OBJECT
Generic Function: (setf base) NEW-VALUE OBJECT
Package

tm

Methods
Method: base (STATUS-TM status-tm)

automatically generated reader method

Source

status-type.lisp (file)

Method: (setf base) NEW-VALUE (STATUS-TM status-tm)

automatically generated writer method

Source

status-type.lisp (file)

Method: base (IDENTITY-TR identity-tr)

automatically generated reader method

Source

identity.lisp (file)

Method: (setf base) NEW-VALUE (IDENTITY-TR identity-tr)

automatically generated writer method

Source

identity.lisp (file)

Generic Function: deed OBJECT
Generic Function: (setf deed) NEW-VALUE OBJECT
Package

tm

Methods
Method: deed (TS1-TM ts1-tm)

automatically generated reader method

Source

ts1-type.lisp (file)

Method: (setf deed) NEW-VALUE (TS1-TM ts1-tm)

automatically generated writer method

Source

ts1-type.lisp (file)

Generic Function: e-s*r TAPE &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

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

status-abandoned.lisp (file)

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

ensemble.lisp (file)

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

identity.lisp (file)

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

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: e-s*sr TAPE &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

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

ensemble.lisp (file)

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

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: e-s*sw TAPE INSTANCE &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

Method: e-s*sw (TM ensemble-tr) INSTANCE &optional ➜
Source

ensemble.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: e-s*w TAPE INSTANCE &optional ➜
Package

tm

Source

tm-decls.lisp (file)

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

tiled-number.lisp (file)

Method: e-s*w (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

Method: e-s*w (TM ensemble-tr) INSTANCE &optional ➜
Source

ensemble.lisp (file)

Method: e-s*w (TM identity-tr) INSTANCE &optional ➜
Source

identity.lisp (file)

Method: e-s*w (TM recursive) INSTANCE &optional ➜
Source

recursive.lisp (file)

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

bilist-tm-definitions.lisp (file)

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

list-tm-definitions.lisp (file)

Generic Function: entangled-on-right-neighbor-cell ENTANGLEMENTS-TM &optional ➜
Package

tm

Source

ea-tm.lisp (file)

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

ea-active.lisp (file)

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

ea-parked.lisp (file)

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

ea-empty.lisp (file)

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

ea-abandoned.lisp (file)

Generic Function: entangled-on-same-cell ENTANGLEMENTS-TM &optional ➜
Package

tm

Source

ea-tm.lisp (file)

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

ea-active.lisp (file)

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

ea-parked.lisp (file)

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

ea-empty.lisp (file)

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

ea-abandoned.lisp (file)

Generic Function: entanglements OBJECT
Generic Function: (setf entanglements) NEW-VALUE OBJECT
Package

tm

Methods
Method: entanglements (EA-TM ea-tm)

automatically generated reader method

Source

ea-type.lisp (file)

Method: (setf entanglements) NEW-VALUE (EA-TM ea-tm)

automatically generated writer method

Source

ea-type.lisp (file)

Generic Function: entanglements-pt OBJECT
Generic Function: (setf entanglements-pt) NEW-VALUE OBJECT
Package

tm

Methods
Method: entanglements-pt (EA-TM ea-tm)

automatically generated reader method

Source

ea-type.lisp (file)

Method: (setf entanglements-pt) NEW-VALUE (EA-TM ea-tm)

automatically generated writer method

Source

ea-type.lisp (file)

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 (file)

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

ts1-tm.lisp (file)

Method: es*a (TM empty) INSTANCE &optional ➜
Source

status-empty.lisp (file)

Method: es*a (TM abandoned) INSTANCE &optional ➜
Source

status-abandoned.lisp (file)

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 (file)

Generic Function: f OBJECT
Generic Function: (setf f) NEW-VALUE OBJECT
Package

tm

Methods
Method: f (RECURSIVE recursive)

automatically generated reader method

Source

recursive.lisp (file)

Method: (setf f) NEW-VALUE (RECURSIVE recursive)

automatically generated writer method

Source

recursive.lisp (file)

Generic Function: head OBJECT
Generic Function: (setf head) NEW-VALUE OBJECT
Package

tm

Methods
Method: head (TILED-NUMBER-TM tiled-number-tm)

automatically generated reader method

Source

tiled-number.lisp (file)

Method: (setf head) NEW-VALUE (TILED-NUMBER-TM tiled-number-tm)

automatically generated writer method

Source

tiled-number.lisp (file)

Method: head (RECURSIVE recursive)

automatically generated reader method

Source

recursive.lisp (file)

Method: (setf head) NEW-VALUE (RECURSIVE recursive)

automatically generated writer method

Source

recursive.lisp (file)

Method: head (LIST-TM list-tm)

automatically generated reader method

Source

list-tm-type.lisp (file)

Method: (setf head) NEW-VALUE (LIST-TM list-tm)

automatically generated writer method

Source

list-tm-type.lisp (file)

Generic Function: initial OBJECT
Generic Function: (setf initial) NEW-VALUE OBJECT
Package

tm

Methods
Method: initial (RECURSIVE recursive)

automatically generated reader method

Source

recursive.lisp (file)

Method: (setf initial) NEW-VALUE (RECURSIVE recursive)

automatically generated writer method

Source

recursive.lisp (file)

Generic Function: members OBJECT
Generic Function: (setf members) NEW-VALUE OBJECT
Package

tm

Methods
Method: members (ENSEMBLE-TR ensemble-tr)

automatically generated reader method

Source

ensemble.lisp (file)

Method: (setf members) NEW-VALUE (ENSEMBLE-TR ensemble-tr)

automatically generated writer method

Source

ensemble.lisp (file)

Generic Function: pd* TM &optional SPILL ➜

Deallocates the tape

Package

tm

Source

status-quantified.lisp (file)

Generic Function: tape OBJECT
Generic Function: (setf tape) NEW-VALUE OBJECT
Package

tm

Methods
Method: tape (TILED-NUMBER-TM tiled-number-tm)

automatically generated reader method

Source

tiled-number.lisp (file)

Method: (setf tape) NEW-VALUE (TILED-NUMBER-TM tiled-number-tm)

automatically generated writer method

Source

tiled-number.lisp (file)

Method: tape (LIST-TM list-tm)

automatically generated reader method

Source

list-tm-type.lisp (file)

Method: (setf tape) NEW-VALUE (LIST-TM list-tm)

automatically generated writer method

Source

list-tm-type.lisp (file)

Generic Function: text CONDITION
Package

tm

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

conditions.lisp (file)

Method: text (CONDITION δ-unrecognized-command)
Source

conditions.lisp (file)

Method: text (CONDITION δ-malformed-access-program)
Source

conditions.lisp (file)

Method: text (CONDITION object-not-tape-machine)
Source

conditions.lisp (file)

Method: text (CONDITION binner-no-such-bin)
Source

conditions.lisp (file)

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

conditions.lisp (file)

Method: text (CONDITION dequeue-from-empty)
Source

conditions.lisp (file)

Method: text (CONDITION not-ready)
Source

conditions.lisp (file)

Method: text (CONDITION access-through-parked-head)
Source

conditions.lisp (file)

Method: text (CONDITION use-of-empty)
Source

conditions.lisp (file)

Method: text (CONDITION operation-on-abandoned)
Source

conditions.lisp (file)

Method: text (CONDITION non-function-continuation)
Source

conditions.lisp (file)

Method: text (CONDITION dealloc-parked)
Source

conditions.lisp (file)

Method: text (CONDITION dealloc-last)
Source

conditions.lisp (file)

Method: text (CONDITION dealloc-collision)
Source

conditions.lisp (file)

Method: text (CONDITION left-dealloc-on-leftmost)
Source

conditions.lisp (file)

Method: text (CONDITION dealloc-on-rightmost)
Source

conditions.lisp (file)

Method: text (CONDITION alloc-fail)
Source

conditions.lisp (file)

Method: text (CONDITION step-from-rightmost)
Source

conditions.lisp (file)

Method: text (CONDITION bad-init-value)
Source

conditions.lisp (file)

Method: text (CONDITION use-of-o)
Source

conditions.lisp (file)

Method: text (CONDITION impossible-to-get-here)
Source

conditions.lisp (file)

Method: text (CONDITION not-implemented)
Source

conditions.lisp (file)

Generic Function: to-abandoned TM
Package

tm

Source

status-type.lisp (file)

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

ts1-type.lisp (file)

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

ea-type.lisp (file)

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

tm

Source

status-type.lisp (file)

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

ts1-type.lisp (file)

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

ea-type.lisp (file)

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

tm

Source

status-type.lisp (file)

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

ts1-type.lisp (file)

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

ea-type.lisp (file)

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

tm

Source

status-type.lisp (file)

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

ts1-type.lisp (file)

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

ea-type.lisp (file)

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

tm

Source

solo-tm-decls.lisp (file)

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

list-solo-tm-definitions.lisp (file)

Generic Function: update-tape-after-epd TM TM-REF
Package

tm

Source

solo-tm-decls.lisp (file)

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

list-solo-tm-definitions.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.5 Conditions

Condition: bad-init-value ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: binner-no-such-bin ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: dealloc-collision ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: dealloc-last ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: dealloc-on-rightmost ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: dealloc-parked ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: dequeue-from-empty ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: impossible-to-get-here ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: left-dealloc-on-leftmost ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: non-function-continuation ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: not-ready ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: object-not-tape-machine ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: step-from-rightmost ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: use-of-o ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

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

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: δ-malformed-access-program ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: δ-required-arg-missing ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)

Condition: δ-unrecognized-command ()
Package

tm

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

text (method)

Direct slots
Slot: text
Initargs

:text

Readers

text (generic function)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.6 Structures

Structure: binode ()
Package

tm

Source

bilist.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: instance
Readers

binode-instance (function)

Writers

(setf binode-instance) (function)

Slot: right-neighbor
Readers

binode-right-neighbor (function)

Writers

(setf binode-right-neighbor) (function)

Slot: left-neighbor
Readers

binode-left-neighbor (function)

Writers

(setf binode-left-neighbor) (function)


Previous: , Up: Internal definitions   [Contents][Index]

6.2.7 Classes

Class: ea-abandoned ()
Package

tm

Source

ea-type.lisp (file)

Direct superclasses
Direct methods
Class: ea-active ()
Package

tm

Source

ea-type.lisp (file)

Direct superclasses
Direct subclasses

ts1-active (class)

Direct methods
Class: ea-empty ()
Package

tm

Source

ea-type.lisp (file)

Direct superclasses
Direct subclasses

ts1-empty (class)

Direct methods
Class: ea-parked ()
Package

tm

Source

ea-type.lisp (file)

Direct superclasses
Direct subclasses

ts1-parked (class)

Direct methods
Class: ea-parked-active ()
Package

tm

Source

ea-type.lisp (file)

Direct superclasses

ea-tm (class)

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

tm

Source

ea-type.lisp (file)

Direct superclasses

status-tape-machine (class)

Direct subclasses
Class: identity-tr ()
Package

tm

Source

identity.lisp (file)

Direct superclasses

identity-transform (class)

Direct subclasses

status-tm (class)

Direct methods
Direct slots
Slot: base
Initargs

tm::base

Readers

base (generic function)

Writers

(setf base) (generic function)

Class: identity-transform ()
Package

tm

Source

identity.lisp (file)

Direct superclasses

haz-tape-machine (class)

Direct subclasses
Class: status-tape-machine ()
Package

tm

Source

status-type.lisp (file)

Direct superclasses

identity-transform (class)

Direct subclasses
Direct methods

c-fit (method)

Class: tiled-number-tm ()
Package

tm

Source

tiled-number.lisp (file)

Direct superclasses

tape-machine (class)

Direct methods
Direct slots
Slot: head
Initargs

:head

Readers

head (generic function)

Writers

(setf head) (generic function)

Slot: tape
Initargs

:tape

Readers

tape (generic function)

Writers

(setf tape) (generic function)

Class: ts1-abandoned ()
Package

tm

Source

ts1-type.lisp (file)

Direct superclasses
Class: ts1-active ()
Package

tm

Source

ts1-type.lisp (file)

Direct superclasses
Class: ts1-empty ()
Package

tm

Source

ts1-type.lisp (file)

Direct superclasses
Class: ts1-parked ()
Package

tm

Source

ts1-type.lisp (file)

Direct superclasses
Class: ts1-tape-machine ()
Package

tm

Source

ts1-type.lisp (file)

Direct superclasses

ea-tape-machine (class)

Direct subclasses

ts1-tm (class)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   L   M   T  
Index Entry  Section

F
File, Lisp, tm.asd: The tm<dot>asd file
File, Lisp, tm/package-def/conditions.lisp: The tm/package-def/conditions<dot>lisp file
File, Lisp, tm/package-def/package.lisp: The tm/package-def/package<dot>lisp file
File, Lisp, tm/src-0/functions.lisp: The tm/src-0/functions<dot>lisp file
File, Lisp, tm/src-0/list-qL.lisp: The tm/src-0/list-ql<dot>lisp file
File, Lisp, tm/src-0/reader-macros.lisp: The tm/src-0/reader-macros<dot>lisp file
File, Lisp, tm/src-0/synonyms.lisp: The tm/src-0/synonyms<dot>lisp file
File, Lisp, tm/src-array/tiled-number.lisp: The tm/src-array/tiled-number<dot>lisp file
File, Lisp, tm/src-generators/recursive.lisp: The tm/src-generators/recursive<dot>lisp file
File, Lisp, tm/src-list/bi-tm-decls.lisp: The tm/src-list/bi-tm-decls<dot>lisp file
File, Lisp, tm/src-list/bilist-haz-definitions.lisp: The tm/src-list/bilist-haz-definitions<dot>lisp file
File, Lisp, tm/src-list/bilist-haz-tm-type.lisp: The tm/src-list/bilist-haz-tm-type<dot>lisp file
File, Lisp, tm/src-list/bilist-nd-tm-definitions.lisp: The tm/src-list/bilist-nd-tm-definitions<dot>lisp file
File, Lisp, tm/src-list/bilist-nd-tm-type.lisp: The tm/src-list/bilist-nd-tm-type<dot>lisp file
File, Lisp, tm/src-list/bilist-solo-tm-definitions.lisp: The tm/src-list/bilist-solo-tm-definitions<dot>lisp file
File, Lisp, tm/src-list/bilist-solo-tm-type.lisp: The tm/src-list/bilist-solo-tm-type<dot>lisp file
File, Lisp, tm/src-list/bilist-tm-definitions.lisp: The tm/src-list/bilist-tm-definitions<dot>lisp file
File, Lisp, tm/src-list/bilist-tm-type.lisp: The tm/src-list/bilist-tm-type<dot>lisp file
File, Lisp, tm/src-list/bilist.lisp: The tm/src-list/bilist<dot>lisp file
File, Lisp, tm/src-list/copy.lisp: The tm/src-list/copy<dot>lisp file
File, Lisp, tm/src-list/haz-tm-decls.lisp: The tm/src-list/haz-tm-decls<dot>lisp file
File, Lisp, tm/src-list/haz-tm-type.lisp: The tm/src-list/haz-tm-type<dot>lisp file
File, Lisp, tm/src-list/list-haz-tm-type.lisp: The tm/src-list/list-haz-tm-type<dot>lisp file
File, Lisp, tm/src-list/list-nd-tm-definitions.lisp: The tm/src-list/list-nd-tm-definitions<dot>lisp file
File, Lisp, tm/src-list/list-nd-tm-type.lisp: The tm/src-list/list-nd-tm-type<dot>lisp file
File, Lisp, tm/src-list/list-solo-tm-definitions.lisp: The tm/src-list/list-solo-tm-definitions<dot>lisp file
File, Lisp, tm/src-list/list-solo-tm-type.lisp: The tm/src-list/list-solo-tm-type<dot>lisp file
File, Lisp, tm/src-list/list-tm-definitions.lisp: The tm/src-list/list-tm-definitions<dot>lisp file
File, Lisp, tm/src-list/list-tm-specialized-generic.lisp: The tm/src-list/list-tm-specialized-generic<dot>lisp file
File, Lisp, tm/src-list/list-tm-type.lisp: The tm/src-list/list-tm-type<dot>lisp file
File, Lisp, tm/src-list/nd-tm-decls.lisp: The tm/src-list/nd-tm-decls<dot>lisp file
File, Lisp, tm/src-list/nd-tm-generic.lisp: The tm/src-list/nd-tm-generic<dot>lisp file
File, Lisp, tm/src-list/nd-tm-quantified.lisp: The tm/src-list/nd-tm-quantified<dot>lisp file
File, Lisp, tm/src-list/nd-tm-type.lisp: The tm/src-list/nd-tm-type<dot>lisp file
File, Lisp, tm/src-list/quantifiers.lisp: The tm/src-list/quantifiers<dot>lisp file
File, Lisp, tm/src-list/solo-tm-decls.lisp: The tm/src-list/solo-tm-decls<dot>lisp file
File, Lisp, tm/src-list/solo-tm-quantified.lisp: The tm/src-list/solo-tm-quantified<dot>lisp file
File, Lisp, tm/src-list/solo-tm-type.lisp: The tm/src-list/solo-tm-type<dot>lisp file
File, Lisp, tm/src-list/tm-decls.lisp: The tm/src-list/tm-decls<dot>lisp file
File, Lisp, tm/src-list/tm-generic.lisp: The tm/src-list/tm-generic<dot>lisp file
File, Lisp, tm/src-list/tm-quantified.lisp: The tm/src-list/tm-quantified<dot>lisp file
File, Lisp, tm/src-list/tm-type.lisp: The tm/src-list/tm-type<dot>lisp file
File, Lisp, tm/src-second-level/ea-abandoned.lisp: The tm/src-second-level/ea-abandoned<dot>lisp file
File, Lisp, tm/src-second-level/ea-active.lisp: The tm/src-second-level/ea-active<dot>lisp file
File, Lisp, tm/src-second-level/ea-empty.lisp: The tm/src-second-level/ea-empty<dot>lisp file
File, Lisp, tm/src-second-level/ea-parked-active.lisp: The tm/src-second-level/ea-parked-active<dot>lisp file
File, Lisp, tm/src-second-level/ea-parked.lisp: The tm/src-second-level/ea-parked<dot>lisp file
File, Lisp, tm/src-second-level/ea-tm.lisp: The tm/src-second-level/ea-tm<dot>lisp file
File, Lisp, tm/src-second-level/ea-type.lisp: The tm/src-second-level/ea-type<dot>lisp file
File, Lisp, tm/src-second-level/status-abandoned.lisp: The tm/src-second-level/status-abandoned<dot>lisp file
File, Lisp, tm/src-second-level/status-active.lisp: The tm/src-second-level/status-active<dot>lisp file
File, Lisp, tm/src-second-level/status-copy.lisp: The tm/src-second-level/status-copy<dot>lisp file
File, Lisp, tm/src-second-level/status-empty.lisp: The tm/src-second-level/status-empty<dot>lisp file
File, Lisp, tm/src-second-level/status-parked.lisp: The tm/src-second-level/status-parked<dot>lisp file
File, Lisp, tm/src-second-level/status-quantified.lisp: The tm/src-second-level/status-quantified<dot>lisp file
File, Lisp, tm/src-second-level/status-quantifiers.lisp: The tm/src-second-level/status-quantifiers<dot>lisp file
File, Lisp, tm/src-second-level/status-tm.lisp: The tm/src-second-level/status-tm<dot>lisp file
File, Lisp, tm/src-second-level/status-type.lisp: The tm/src-second-level/status-type<dot>lisp file
File, Lisp, tm/src-second-level/status=.lisp: The tm/src-second-level/status=<dot>lisp file
File, Lisp, tm/src-second-level/ts1-tm.lisp: The tm/src-second-level/ts1-tm<dot>lisp file
File, Lisp, tm/src-second-level/ts1-type.lisp: The tm/src-second-level/ts1-type<dot>lisp file
File, Lisp, tm/src-test/print.lisp: The tm/src-test/print<dot>lisp file
File, Lisp, tm/src-test/test.lisp: The tm/src-test/test<dot>lisp file
File, Lisp, tm/src-tr/ensemble.lisp: The tm/src-tr/ensemble<dot>lisp file
File, Lisp, tm/src-tr/identity.lisp: The tm/src-tr/identity<dot>lisp file
File, Lisp, tm/test-0/functions.lisp: The tm/test-0/functions<dot>lisp file
File, Lisp, tm/test-0/list-qL.lisp: The tm/test-0/list-ql<dot>lisp file
File, Lisp, tm/test-array/tiled-number.lisp: The tm/test-array/tiled-number<dot>lisp file
File, Lisp, tm/test-generators/recursive.lisp: The tm/test-generators/recursive<dot>lisp file
File, Lisp, tm/test-list/bilist.lisp: The tm/test-list/bilist<dot>lisp file
File, Lisp, tm/test-list/copy.lisp: The tm/test-list/copy<dot>lisp file
File, Lisp, tm/test-list/list-nd-tm-definitions.lisp: The tm/test-list/list-nd-tm-definitions<dot>lisp file
File, Lisp, tm/test-list/list-solo-tm-definitions.lisp: The tm/test-list/list-solo-tm-definitions<dot>lisp file
File, Lisp, tm/test-list/list-tm-definitions.lisp: The tm/test-list/list-tm-definitions<dot>lisp file
File, Lisp, tm/test-list/nd-tm-generic.lisp: The tm/test-list/nd-tm-generic<dot>lisp file
File, Lisp, tm/test-list/nd-tm-quantified.lisp: The tm/test-list/nd-tm-quantified<dot>lisp file
File, Lisp, tm/test-list/nd-tm-quantifiers.lisp: The tm/test-list/nd-tm-quantifiers<dot>lisp file
File, Lisp, tm/test-list/quantifiers.lisp: The tm/test-list/quantifiers<dot>lisp file
File, Lisp, tm/test-list/solo-tm-quantified.lisp: The tm/test-list/solo-tm-quantified<dot>lisp file
File, Lisp, tm/test-list/tm-generic.lisp: The tm/test-list/tm-generic<dot>lisp file
File, Lisp, tm/test-list/tm-quantified.lisp: The tm/test-list/tm-quantified<dot>lisp file
File, Lisp, tm/test-second-level/copy.lisp: The tm/test-second-level/copy<dot>lisp file
File, Lisp, tm/test-second-level/ea.lisp: The tm/test-second-level/ea<dot>lisp file
File, Lisp, tm/test-second-level/status-quantified.lisp: The tm/test-second-level/status-quantified<dot>lisp file
File, Lisp, tm/test-second-level/status-quantifiers.lisp: The tm/test-second-level/status-quantifiers<dot>lisp file
File, Lisp, tm/test-second-level/status.lisp: The tm/test-second-level/status<dot>lisp file
File, Lisp, tm/test-second-level/ts1.lisp: The tm/test-second-level/ts1<dot>lisp file
File, Lisp, tm/test-tr/ensemble.lisp: The tm/test-tr/ensemble<dot>lisp file
File, Lisp, tm/test-tr/identity.lisp: The tm/test-tr/identity<dot>lisp file

L
Lisp