The ops5 Reference Manual

This is the ops5 Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 17:29:09 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 ops5

The Ops5 programming language for production systems

Author

Zach Beane <>

License

Public Domain

Source

ops5.asd.

Child Components

3 Files

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


3.1 Lisp


3.1.1 ops5/ops5.asd

Source

ops5.asd.

Parent Component

ops5 (system).

ASDF Systems

ops5.


3.1.2 ops5/package.lisp

Source

ops5.asd.

Parent Component

ops5 (system).

Packages

ops.


3.1.3 ops5/ops-globals.lisp

Dependency

package.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Internals

3.1.4 ops5/ops-util.lisp

Dependency

ops-globals.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Internals

3.1.5 ops5/ops-compile.lisp

Dependency

ops-util.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Internals

3.1.6 ops5/ops-rhs.lisp

Dependency

ops-compile.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Public Interface
Internals

3.1.7 ops5/ops-match.lisp

Dependency

ops-rhs.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Public Interface

match (function).

Internals

3.1.8 ops5/ops-main.lisp

Dependency

ops-match.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Public Interface
Internals

3.1.9 ops5/ops-backup.lisp

Dependency

ops-main.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Internals

3.1.10 ops5/ops-init.lisp

Dependency

ops-backup.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Public Interface

reset-ops (function).

Internals

3.1.11 ops5/ops-io.lisp

Dependency

ops-init.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Internals

3.1.12 ops5/ops.lisp

Dependency

ops-io.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Public Interface

ops (function).


4 Packages

Packages are listed by definition order.


4.1 ops

Source

package.lisp.

Use List

common-lisp.

Public Interface
Internals

5 Definitions

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


5.1 Public Interface


5.1.1 Macros

Macro: crlf (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: literalize (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: make (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: modify (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: p (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: remove (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: strategy (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: vector-attribute (&body l)
Package

ops.

Source

ops-main.lisp.

Macro: write (&body z)
Package

ops.

Source

ops-rhs.lisp.


5.1.2 Ordinary functions

Function: match (flag wme)
Package

ops.

Source

ops-match.lisp.

Function: ops ()

OPS Read-Eval-Print Loop.

Package

ops.

Source

ops.lisp.

Function: reset-ops ()

Clears the state of OPS to allow a new rule set to be loaded.

Package

ops.

Source

ops-init.lisp.


5.2 Internals


5.2.1 Special variables

Special Variable: *accept-file*
Package

ops.

Source

ops-io.lisp.

Special Variable: *action-count*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *action-type*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *alpha-data-part*
Package

ops.

Source

ops-match.lisp.

Special Variable: *alpha-flag-part*
Package

ops.

Source

ops-match.lisp.

Special Variable: *att-list-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *backpointers-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *break-flag*
Package

ops.

Source

ops-main.lisp.

Special Variable: *brkpts*
Package

ops.

Source

ops-main.lisp.

Special Variable: *buckets*
Package

ops.

Source

ops-main.lisp.

Special Variable: *build-trace*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *c1*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c10*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c100*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c101*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c102*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c103*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c104*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c105*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c106*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c107*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c108*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c109*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c11*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c110*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c111*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c112*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c113*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c114*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c115*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c116*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c117*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c118*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c119*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c12*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c120*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c121*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c122*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c123*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c124*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c125*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c126*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c127*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c13*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c14*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c15*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c16*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c17*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c18*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c19*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c2*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c20*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c21*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c22*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c23*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c24*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c25*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c26*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c27*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c28*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c29*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c3*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c30*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c31*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c32*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c33*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c34*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c35*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c36*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c37*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c38*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c39*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c4*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c40*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c41*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c42*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c43*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c44*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c45*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c46*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c47*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c48*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c49*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c5*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c50*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c51*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c52*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c53*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c54*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c55*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c56*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c57*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c58*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c59*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c6*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c60*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c61*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c62*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c63*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c64*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c65*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c66*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c67*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c68*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c69*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c7*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c70*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c71*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c72*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c73*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c74*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c75*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c76*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c77*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c78*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c79*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c8*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c80*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c81*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c82*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c83*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c84*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c85*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c86*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c87*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c88*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c89*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c9*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c90*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c91*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c92*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c93*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c94*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c95*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c96*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c97*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c98*
Package

ops.

Source

ops-match.lisp.

Special Variable: *c99*
Package

ops.

Source

ops-match.lisp.

Special Variable: *ce-count*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *ce-variable-memory*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *ce-vars*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *class-list*
Package

ops.

Source

ops-main.lisp.

Special Variable: *conflict-set*
Package

ops.

Source

ops-main.lisp.

Special Variable: *conflicts-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *critical*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *cur-vars*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *curcond*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *current-token*
Package

ops.

Source

ops-match.lisp.

Special Variable: *current-wm*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *cycle-count*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *data-matched*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *data-part*
Package

ops.

Source

ops-match.lisp.

Special Variable: *external-routine-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *feature-count*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *filters*
Package

ops.

Source

ops-io.lisp.

Special Variable: *first-node*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *flag-part*
Package

ops.

Source

ops-match.lisp.

Special Variable: *halt-flag*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *in-rhs*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *inputfile-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *last*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *last-branch*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *last-node*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *limit-cs*
Package

ops.

Source

ops-main.lisp.

Special Variable: *limit-token*
Package

ops.

Source

ops-main.lisp.

Special Variable: *matrix*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *max-cs*
Package

ops.

Source

ops-main.lisp.

Special Variable: *max-index*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *max-record-index*
Package

ops.

Source

ops-backup.lisp.

Special Variable: *max-token*
Package

ops.

Source

ops-main.lisp.

Special Variable: *max-wm*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *next-index*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *old-wm*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *ops-bind-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *ops-version*
Package

ops.

Source

ops-init.lisp.

Special Variable: *outputfile-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *p-name*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *pcount*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *phase*
Package

ops.

Source

ops-main.lisp.

Special Variable: *ppdat-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *ppline*
Package

ops.

Source

ops-io.lisp.

Special Variable: *production-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *ptrace*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *real-cnt*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *record*
Package

ops.

Source

ops-backup.lisp.

Special Variable: *record-array*
Package

ops.

Source

ops-backup.lisp.

Special Variable: *record-index*
Package

ops.

Source

ops-backup.lisp.

Special Variable: *recording*
Package

ops.

Source

ops-backup.lisp.

Special Variable: *refracts*
Package

ops.

Source

ops-backup.lisp.

Special Variable: *remaining-cycles*
Package

ops.

Source

ops-main.lisp.

Special Variable: *rest*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *result-array*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *rhs-bound-ce-vars*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *rhs-bound-vars*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *sendtocall*
Package

ops.

Source

ops-match.lisp.

Special Variable: *side*
Package

ops.

Source

ops-match.lisp.

Special Variable: *size-result-array*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *strategy*
Package

ops.

Source

ops-main.lisp.

Special Variable: *subnum*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *topnode-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *total-cs*
Package

ops.

Source

ops-main.lisp.

Special Variable: *total-token*
Package

ops.

Source

ops-main.lisp.

Special Variable: *total-wm*
Package

ops.

Source

ops-main.lisp.

Special Variable: *trace-file*
Package

ops.

Source

ops-io.lisp.

Special Variable: *variable-memory*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *vars*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *vector-attribute-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *virtual-cnt*
Package

ops.

Source

ops-compile.lisp.

Special Variable: *wm*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *wm-filter*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *wmpart*-table*
Package

ops.

Source

ops-globals.lisp.

Special Variable: *wmpart-list*
Package

ops.

Source

ops-rhs.lisp.

Special Variable: *write-file*
Package

ops.

Source

ops-io.lisp.

Special Variable: *wtrace*
Package

ops.

Source

ops-globals.lisp.


5.2.2 Macros

Macro: == (x y)
Package

ops.

Source

ops-util.lisp.

Macro: =alg (a b)
Package

ops.

Source

ops-util.lisp.

Macro: accept (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: acceptline (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: append-string (x)
Package

ops.

Source

ops-io.lisp.

Macro: arith (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: bind (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: build (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: call (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: cbind (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: ce-var-dope (var)
Package

ops.

Source

ops-compile.lisp.

Macro: closefile (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: compute (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: cs (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: default (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: excise (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: external (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: fast-symeval (&body z)
Package

ops.

Source

ops-util.lisp.

Macro: literal (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: litval (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: matches (&body rule-list)
Package

ops.

Source

ops-main.lisp.

Macro: openfile (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: pbreak (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: pm (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: ppwm (&body avlist)
Package

ops.

Source

ops-main.lisp.

Macro: rjust (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: run (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: substr (&body l)
Package

ops.

Source

ops-rhs.lisp.

Macro: tabto (&body z)
Package

ops.

Source

ops-rhs.lisp.

Macro: var-dope (var)
Package

ops.

Source

ops-compile.lisp.

Macro: watch (&body z)
Package

ops.

Source

ops-main.lisp.

Macro: wm (&body a)
Package

ops.

Source

ops-main.lisp.


5.2.3 Ordinary functions

Function: $assert ()
Package

ops.

Source

ops-rhs.lisp.

Function: $change (x)
Package

ops.

Source

ops-rhs.lisp.

Function: $ifile (x)
Package

ops.

Source

ops-rhs.lisp.

Function: $litbind (x)
Package

ops.

Source

ops-rhs.lisp.

Function: $ofile (x)
Package

ops.

Source

ops-rhs.lisp.

Function: $parameter (k)
Package

ops.

Source

ops-rhs.lisp.

Function: $parametercount ()
Package

ops.

Source

ops-rhs.lisp.

Function: $reset ()
Package

ops.

Source

ops-rhs.lisp.

Function: $tab (z)
Package

ops.

Source

ops-rhs.lisp.

Function: $value (v)
Package

ops.

Source

ops-rhs.lisp.

Function: $varbind (x)
Package

ops.

Source

ops-rhs.lisp.

Function: %error (what where)
Package

ops.

Source

ops-util.lisp.

Function: %warn (what where)
Package

ops.

Source

ops-util.lisp.

Function: &and (outs lpred rpred tests)
Package

ops.

Source

ops-match.lisp.

Function: &any (outs register const-list)
Package

ops.

Source

ops-match.lisp.

Function: &bus (outs)
Package

ops.

Source

ops-match.lisp.

Function: &mem (left-outs right-outs memory-list)
Package

ops.

Source

ops-match.lisp.

Function: &not (outs lmem rpred tests)
Package

ops.

Source

ops-match.lisp.

Function: &old (a b c d e)
Package

ops.

Source

ops-match.lisp.

Function: &p (rating name var-dope ce-var-dope rhs)
Package

ops.

Source

ops-match.lisp.

Function: &two (left-outs right-outs)
Package

ops.

Source

ops-match.lisp.

Function: accum-stats ()
Package

ops.

Source

ops-main.lisp.

Function: add-bucket (name num)
Package

ops.

Source

ops-main.lisp.

Function: add-test (list new old)
Package

ops.

Source

ops-compile.lisp.

Function: add-to-wm (wme override)
Package

ops.

Source

ops-rhs.lisp.

Function: add-token (memlis flag data-part num)
Package

ops.

Source

ops-match.lisp.

Function: and-left (outs mem tests)
Package

ops.

Source

ops-match.lisp.

Function: and-right (outs mem tests)
Package

ops.

Source

ops-match.lisp.

Function: ari (x)
Package

ops.

Source

ops-rhs.lisp.

Function: ari-unit (a)
Package

ops.

Source

ops-rhs.lisp.

Function: assign-scalars (class)
Package

ops.

Source

ops-main.lisp.

Function: assign-scalars2 (att)
Package

ops.

Source

ops-main.lisp.

Function: assign-vectors (class)
Package

ops.

Source

ops-main.lisp.

Function: assign-vectors2 (att)
Package

ops.

Source

ops-main.lisp.

Function: attach-left (old new)
Package

ops.

Source

ops-compile.lisp.

Function: attach-right (old new)
Package

ops.

Source

ops-compile.lisp.

Function: back (k)
Package

ops.

Source

ops-backup.lisp.

Function: back-print (x)
Package

ops.

Source

ops-backup.lisp.

Function: backup-init ()
Package

ops.

Source

ops-backup.lisp.

Function: begin-record (p data)
Package

ops.

Source

ops-backup.lisp.

Function: best-of (set)
Package

ops.

Source

ops-main.lisp.

Function: best-of* (best rem)
Package

ops.

Source

ops-main.lisp.

Function: beta-equiv (a b)
Package

ops.

Source

ops-compile.lisp.

Function: bound? (var)
Package

ops.

Source

ops-compile.lisp.

Function: broken (rule)
Package

ops.

Source

ops-main.lisp.

Function: buckets ()
Package

ops.

Source

ops-main.lisp.

Function: build-beta (type tests)
Package

ops.

Source

ops-compile.lisp.

Function: build-collect (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ce-bound? (ce-var)
Package

ops.

Source

ops-compile.lisp.

Function: ce-var-part (pnode)
Package

ops.

Source

ops-compile.lisp.

Function: check-0-args (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-accept (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-acceptline (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-action (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-arithmetic (l)
Package

ops.

Source

ops-compile.lisp.

Function: check-bind (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-build (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-build-collect (args)
Package

ops.

Source

ops-compile.lisp.

Function: check-call (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-cbind (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-change& (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-closefile (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-compute (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-crlf (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-default (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-genatom (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-halt (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-last-substr-index (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-limits ()
Package

ops.

Source

ops-main.lisp.

Function: check-litval (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-make (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-modify (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-openfile (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-print-control (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-remove (z)
Package

ops.

Source

ops-compile.lisp.

Function: check-rhs (rhs)
Package

ops.

Source

ops-compile.lisp.

Function: check-rhs-atomic (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-rhs-ce-var (v)
Package

ops.

Source

ops-compile.lisp.

Function: check-rhs-function (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-rhs-value (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-rjust (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-substr (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-substr-index (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-tab-index (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-tabto (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-term (x)
Package

ops.

Source

ops-compile.lisp.

Function: check-write (z)
Package

ops.

Source

ops-compile.lisp.

Function: clear-ops-hash-tables ()
Package

ops.

Source

ops-globals.lisp.

Function: closefile2 (file)
Package

ops.

Source

ops-io.lisp.

Function: cmp-and ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-any ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-atomic ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-atomic-or-any ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-beta (kind)
Package

ops.

Source

ops-compile.lisp.

Function: cmp-ce ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-ce+cevar ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-cevar ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-constant (test)
Package

ops.

Source

ops-compile.lisp.

Function: cmp-element ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-negce ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-new-eq-var (name old)
Package

ops.

Source

ops-compile.lisp.

Function: cmp-new-var (name test)
Package

ops.

Source

ops-compile.lisp.

Function: cmp-nobeta ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-not ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-number (test)
Package

ops.

Source

ops-compile.lisp.

Function: cmp-old-eq-var (test old)
Package

ops.

Source

ops-compile.lisp.

Function: cmp-p (name matrix)
Package

ops.

Source

ops-compile.lisp.

Function: cmp-posce ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-prin ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-product ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-symbol (test)
Package

ops.

Source

ops-compile.lisp.

Function: cmp-tab ()
Package

ops.

Source

ops-compile.lisp.

Function: cmp-var (test)
Package

ops.

Source

ops-compile.lisp.

Function: compile-init ()
Package

ops.

Source

ops-compile.lisp.

Function: compile-production (name matrix)
Package

ops.

Source

ops-compile.lisp.

Function: conflict (a b)
Package

ops.

Source

ops-main.lisp.

Function: conflict-resolution ()
Package

ops.

Source

ops-main.lisp.

Function: conflict-set ()
Package

ops.

Source

ops-main.lisp.

Function: conflict-set-compare (x y)
Package

ops.

Source

ops-main.lisp.

Function: creation-time (wme)
Package

ops.

Source

ops-rhs.lisp.

Function: current-field ()
Package

ops.

Source

ops-compile.lisp.

Function: default-write-file ()
Package

ops.

Source

ops-io.lisp.

Function: disjoint (la lb)
Package

ops.

Source

ops-main.lisp.

Function: do-continue (wmi)
Package

ops.

Source

ops-main.lisp.

Function: do-rjust (width value port)
Package

ops.

Source

ops-io.lisp.

Function: do-tabto (col port)
Package

ops.

Source

ops-io.lisp.

Function: dsort (x)

Destructively sort x into descending order.

Package

ops.

Source

ops-main.lisp.

Function: encode-ce-dope ()
Package

ops.

Source

ops-compile.lisp.

Function: encode-dope ()
Package

ops.

Source

ops-compile.lisp.

Function: encode-pair (a b)
Package

ops.

Source

ops-compile.lisp.

Function: encode-singleton (a)
Package

ops.

Source

ops-compile.lisp.

Function: end-of-ce ()
Package

ops.

Source

ops-compile.lisp.

Function: end-of-p ()
Package

ops.

Source

ops-compile.lisp.

Function: end-record ()
Package

ops.

Source

ops-backup.lisp.

Function: equiv (a b)
Package

ops.

Source

ops-compile.lisp.

Function: erase-literal-info (class)
Package

ops.

Source

ops-main.lisp.

Function: erase-literal-info2 (att)
Package

ops.

Source

ops-main.lisp.

Function: eval-args (z)
Package

ops.

Source

ops-rhs.lisp.

Function: eval-function (form)
Package

ops.

Source

ops-rhs.lisp.

Function: eval-nodelist (nl)
Package

ops.

Source

ops-match.lisp.

Function: eval-rhs (pname data)
Package

ops.

Source

ops-rhs.lisp.

Function: excise-p (name)
Package

ops.

Source

ops-main.lisp.

Function: external2 (z)
Package

ops.

Source

ops-main.lisp.

Function: external3 (x)
Package

ops.

Source

ops-main.lisp.

Function: externalp (x)
Package

ops.

Source

ops-compile.lisp.

Function: field-name (num)
Package

ops.

Source

ops-compile.lisp.

Function: filter (elm)
Package

ops.

Source

ops-io.lisp.

Function: find-common-atom (la lb)
Package

ops.

Source

ops-main.lisp.

Function: find-equiv-beta-node (node list)
Package

ops.

Source

ops-compile.lisp.

Function: find-equiv-node (node list)
Package

ops.

Source

ops-compile.lisp.

Function: find-left-mem (node)
Package

ops.

Source

ops-main.lisp.

Function: find-right-mem (node)
Package

ops.

Source

ops-main.lisp.

Function: finish-literalize ()
Package

ops.

Source

ops-main.lisp.

Function: flat-value (x)
Package

ops.

Source

ops-io.lisp.

Function: fudge ()
Package

ops.

Source

ops-compile.lisp.

Function: fudge* (z)
Package

ops.

Source

ops-compile.lisp.

Function: gelm (x k)
Package

ops.

Source

ops-util.lisp.

Function: genatom ()
Package

ops.

Source

ops-rhs.lisp.

Function: get-bind (x)
Package

ops.

Source

ops-compile.lisp.

Function: get-ce-var-bind (x)
Package

ops.

Source

ops-rhs.lisp.

Function: get-num-ce (x)
Package

ops.

Source

ops-rhs.lisp.

Function: get-wm (z)
Package

ops.

Source

ops-rhs.lisp.

Function: getupto (end)
Package

ops.

Source

ops-io.lisp.

Function: getval ()
Package

ops.

Source

ops-io.lisp.

Function: halt ()
Package

ops.

Source

ops-rhs.lisp.

Function: have-compiled-production ()
Package

ops.

Source

ops-main.lisp.

Function: ident (x y)
Package

ops.

Source

ops-io.lisp.

Function: incr-subnum ()
Package

ops.

Source

ops-compile.lisp.

Function: infile (f_name)
Package

ops.

Source

ops-io.lisp.

Function: init-ce-var-mem (vlist)
Package

ops.

Source

ops-rhs.lisp.

Function: init-var-mem (vlist)
Package

ops.

Source

ops-rhs.lisp.

Function: initialize-record ()
Package

ops.

Source

ops-backup.lisp.

Function: insertcs (name data rating)
Package

ops.

Source

ops-main.lisp.

Function: instantiation (conflict-elem)
Package

ops.

Source

ops-main.lisp.

Function: io-init ()
Package

ops.

Source

ops-io.lisp.

Function: is-vector-attribute (att)
Package

ops.

Source

ops-globals.lisp.

Function: kill-node (node)
Package

ops.

Source

ops-main.lisp.

Function: left-outs (node)
Package

ops.

Source

ops-compile.lisp.

Function: lex ()
Package

ops.

Source

ops-compile.lisp.

Package

ops.

Source

ops-compile.lisp.

Package

ops.

Source

ops-compile.lisp.

Package

ops.

Source

ops-compile.lisp.

Package

ops.

Source

ops-compile.lisp.

Package

ops.

Source

ops-compile.lisp.

Function: literal-binding-of (name)
Package

ops.

Source

ops-main.lisp.

Function: main ()
Package

ops.

Source

ops-main.lisp.

Function: main-init ()
Package

ops.

Source

ops-main.lisp.

Function: make-bottom-node ()
Package

ops.

Source

ops-compile.lisp.

Function: make-ce-var-bind (var elem)
Package

ops.

Source

ops-rhs.lisp.

Function: make-nums (k)
Package

ops.

Source

ops-main.lisp.

Function: make-var-bind (var elem)
Package

ops.

Source

ops-rhs.lisp.

Function: mapwm (fn)
Package

ops.

Source

ops-rhs.lisp.

Function: mark-conflicts (rem all)
Package

ops.

Source

ops-main.lisp.

Function: mark-conflicts2 (atm lst)
Package

ops.

Source

ops-main.lisp.

Function: match-init ()
Package

ops.

Source

ops-match.lisp.

Function: matches2 (p)
Package

ops.

Source

ops-main.lisp.

Function: matches3 (nodes ce part)
Package

ops.

Source

ops-main.lisp.

Function: memory-part (mem-node)
Package

ops.

Source

ops-compile.lisp.

Function: new-subnum (k)
Package

ops.

Source

ops-compile.lisp.

Function: not-left (outs mem tests own-mem)
Package

ops.

Source

ops-match.lisp.

Function: not-right (outs mem tests)
Package

ops.

Source

ops-match.lisp.

Function: note-ce-variable (ce-var)
Package

ops.

Source

ops-compile.lisp.

Function: note-user-assigns (class)
Package

ops.

Source

ops-main.lisp.

Function: note-user-assigns2 (att)
Package

ops.

Source

ops-main.lisp.

Function: note-user-vector-assigns (att given needed)
Package

ops.

Source

ops-main.lisp.

Function: note-variable (var)
Package

ops.

Source

ops-compile.lisp.

Function: ops-accept (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-acceptline (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-arith (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-bind (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-build (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-call (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-cbind (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-closefile (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-compute (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-crlf (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-cs (z)
Package

ops.

Source

ops-main.lisp.

Function: ops-default (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-excise (z)
Package

ops.

Source

ops-main.lisp.

Function: ops-external (z)
Package

ops.

Source

ops-main.lisp.

Function: ops-init ()
Package

ops.

Source

ops-init.lisp.

Function: ops-literal (z)
Package

ops.

Source

ops-main.lisp.

Function: ops-literalize (l)
Package

ops.

Source

ops-main.lisp.

Function: ops-litval (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-make (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-matches (rule-list)
Package

ops.

Source

ops-main.lisp.

Function: ops-modify (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-openfile (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-p (z)
Package

ops.

Source

ops-compile.lisp.

Function: ops-pbreak (z)
Package

ops.

Source

ops-main.lisp.

Function: ops-pm (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-ppwm (avlist)
Package

ops.

Source

ops-io.lisp.

Function: ops-remove (z)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-rjust (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-run (z)
Package

ops.

Source

ops-main.lisp.

Function: ops-strategy (z)
Package

ops.

Source

ops-main.lisp.

Function: ops-substr (l)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-tabto (z)
Package

ops.

Source

ops-io.lisp.

Function: ops-vector-attribute (l)
Package

ops.

Source

ops-main.lisp.

Function: ops-watch (z)
Package

ops.

Source

ops-main.lisp.

Function: ops-wm (a)
Package

ops.

Source

ops-rhs.lisp.

Function: ops-write (z)
Package

ops.

Source

ops-io.lisp.

Function: order-part (conflict-elem)
Package

ops.

Source

ops-main.lisp.

Function: order-tags (dat)
Package

ops.

Source

ops-main.lisp.

Function: outfile (f_name)
Package

ops.

Source

ops-io.lisp.

Function: pbreak2 (rule)
Package

ops.

Source

ops-main.lisp.

Function: peek-lex ()
Package

ops.

Source

ops-compile.lisp.

Function: peek-sublex ()
Package

ops.

Source

ops-compile.lisp.

Function: pname-instantiation (conflict-elem)
Package

ops.

Source

ops-main.lisp.

Function: ppattval ()
Package

ops.

Source

ops-io.lisp.

Function: ppelm (elm port)
Package

ops.

Source

ops-io.lisp.

Function: ppline (line)
Package

ops.

Source

ops-io.lisp.

Function: ppline2 ()
Package

ops.

Source

ops-io.lisp.

Function: pponlyval ()
Package

ops.

Source

ops-io.lisp.

Function: pprule (name)
Package

ops.

Source

ops-io.lisp.

Function: ppval (val att lastpos port)
Package

ops.

Source

ops-io.lisp.

Function: ppwm2 (elm-tag)
Package

ops.

Source

ops-io.lisp.

Function: prepare-lex (prod)
Package

ops.

Source

ops-compile.lisp.

Function: prepare-sublex (ce)
Package

ops.

Source

ops-compile.lisp.

Function: print-times (mess)
Package

ops.

Source

ops-main.lisp.

Function: process-changes (adds dels)
Package

ops.

Source

ops-main.lisp.

Function: promote-var (dope)
Package

ops.

Source

ops-compile.lisp.

Function: protomem ()
Package

ops.

Source

ops-compile.lisp.

Function: put-ppdat (class)
Package

ops.

Source

ops-main.lisp.

Function: rating-part (pnode)
Package

ops.

Source

ops-compile.lisp.

Function: real-add-token (lis data-part num)
Package

ops.

Source

ops-match.lisp.

Function: record-change (direct time elm)
Package

ops.

Source

ops-backup.lisp.

Function: record-index-plus (k)
Package

ops.

Source

ops-backup.lisp.

Function: record-refract (rule data)
Package

ops.

Source

ops-backup.lisp.

Function: refracted (rule data)
Package

ops.

Source

ops-backup.lisp.

Function: refresh ()
Package

ops.

Source

ops-rhs.lisp.

Function: refresh-add (x)
Package

ops.

Source

ops-rhs.lisp.

Function: refresh-collect (x)
Package

ops.

Source

ops-rhs.lisp.

Function: refresh-del (x)
Package

ops.

Source

ops-rhs.lisp.

Function: rematm (atm list)
Package

ops.

Source

ops-main.lisp.

Function: remove-from-conflict-set (name)
Package

ops.

Source

ops-main.lisp.

Function: remove-from-wm (wme)
Package

ops.

Source

ops-rhs.lisp.

Function: remove-old (lis data num)
Package

ops.

Source

ops-match.lisp.

Function: remove-old-no-num (lis data)
Package

ops.

Source

ops-match.lisp.

Function: remove-old-num (lis data)
Package

ops.

Source

ops-match.lisp.

Function: removecs (name data)
Package

ops.

Source

ops-main.lisp.

Function: rest-of-ce ()
Package

ops.

Source

ops-compile.lisp.

Function: rest-of-p ()
Package

ops.

Source

ops-compile.lisp.

Function: rhs-init ()
Package

ops.

Source

ops-rhs.lisp.

Function: rhs-part (pnode)
Package

ops.

Source

ops-compile.lisp.

Function: rhs-tab (z)
Package

ops.

Source

ops-rhs.lisp.

Function: right-outs (node)
Package

ops.

Source

ops-compile.lisp.

Function: sendto (flag data side nl)
Package

ops.

Source

ops-match.lisp.

Function: set-vector-attribute (att)
Package

ops.

Source

ops-globals.lisp.

Function: still-present (data)
Package

ops.

Source

ops-backup.lisp.

Function: store-binding (name lit)
Package

ops.

Source

ops-main.lisp.

Function: sublex ()
Package

ops.

Source

ops-compile.lisp.

Function: teqa (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: teqb (new eqvar)
Package

ops.

Source

ops-match.lisp.

Function: teqn (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: teqs (outs vara varb)
Package

ops.

Source

ops-match.lisp.

Function: test-attribute-names (l)
Package

ops.

Source

ops-main.lisp.

Function: test-attribute-names2 (atm)
Package

ops.

Source

ops-main.lisp.

Function: tgeb (new eqvar)
Package

ops.

Source

ops-match.lisp.

Function: tgen (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: tges (outs vara varb)
Package

ops.

Source

ops-match.lisp.

Function: tgtb (new eqvar)
Package

ops.

Source

ops-match.lisp.

Function: tgtn (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: tgts (outs vara varb)
Package

ops.

Source

ops-match.lisp.

Function: time-tag-print (data port)
Package

ops.

Source

ops-rhs.lisp.

Function: tleb (new eqvar)
Package

ops.

Source

ops-match.lisp.

Function: tlen (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: tles (outs vara varb)
Package

ops.

Source

ops-match.lisp.

Function: tltb (new eqvar)
Package

ops.

Source

ops-match.lisp.

Function: tltn (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: tlts (outs vara varb)
Package

ops.

Source

ops-match.lisp.

Function: tnea (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: tneb (new eqvar)
Package

ops.

Source

ops-match.lisp.

Function: tnen (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: tnes (outs vara varb)
Package

ops.

Source

ops-match.lisp.

Function: top-level-remove (z)
Package

ops.

Source

ops-main.lisp.

Function: top-levels-eq (la lb)
Package

ops.

Source

ops-util.lisp.

Function: trace-file ()
Package

ops.

Source

ops-io.lisp.

Function: tree-remove (element tree &key test)

TREE-REMOVE is a function which deletes every occurence
of ELEMENT from TREE. This function was defined because Common Lisp’s REMOVE function only removes top level elements from a list.

Package

ops.

Source

ops-util.lisp.

Function: txxa (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: txxb (new eqvar)
Package

ops.

Source

ops-match.lisp.

Function: txxn (outs register constant)
Package

ops.

Source

ops-match.lisp.

Function: txxs (outs vara varb)
Package

ops.

Source

ops-match.lisp.

Function: undo-record (r)
Package

ops.

Source

ops-backup.lisp.

Function: unflat (x)
Package

ops.

Source

ops-rhs.lisp.

Function: unflat* ()
Package

ops.

Source

ops-rhs.lisp.

Function: use-result-array ()

Use-result-array returns the contents of the result array as a list.

Package

ops.

Source

ops-rhs.lisp.

Function: var-part (pnode)
Package

ops.

Source

ops-compile.lisp.

Function: variablep (x)
Package

ops.

Source

ops-util.lisp.

Function: wm-hash (x)
Package

ops.

Source

ops-rhs.lisp.

Function: write-elms (wme-or-count)
Package

ops.

Source

ops-main.lisp.

Function: write-elms2 (x)
Package

ops.

Source

ops-main.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   $   %   &   =  
A   B   C   D   E   F   G   H   I   K   L   M   N   O   P   R   S   T   U   V   W  
Index Entry  Section

$
$assert: Private ordinary functions
$change: Private ordinary functions
$ifile: Private ordinary functions
$litbind: Private ordinary functions
$ofile: Private ordinary functions
$parameter: Private ordinary functions
$parametercount: Private ordinary functions
$reset: Private ordinary functions
$tab: Private ordinary functions
$value: Private ordinary functions
$varbind: Private ordinary functions

%
%error: Private ordinary functions
%warn: Private ordinary functions

&
&and: Private ordinary functions
&any: Private ordinary functions
&bus: Private ordinary functions
&mem: Private ordinary functions
&not: Private ordinary functions
&old: Private ordinary functions
&p: Private ordinary functions
&two: Private ordinary functions

=
==: Private macros
=alg: Private macros

A
accept: Private macros
acceptline: Private macros
accum-stats: Private ordinary functions
add-bucket: Private ordinary functions
add-test: Private ordinary functions
add-to-wm: Private ordinary functions
add-token: Private ordinary functions
and-left: Private ordinary functions
and-right: Private ordinary functions
append-string: Private macros
ari: Private ordinary functions
ari-unit: Private ordinary functions
arith: Private macros
assign-scalars: Private ordinary functions
assign-scalars2: Private ordinary functions
assign-vectors: Private ordinary functions
assign-vectors2: Private ordinary functions
attach-left: Private ordinary functions
attach-right: Private ordinary functions

B
back: Private ordinary functions
back-print: Private ordinary functions
backup-init: Private ordinary functions
begin-record: Private ordinary functions
best-of: Private ordinary functions
best-of*: Private ordinary functions
beta-equiv: Private ordinary functions
bind: Private macros
bound?: Private ordinary functions
broken: Private ordinary functions
buckets: Private ordinary functions
build: Private macros
build-beta: Private ordinary functions
build-collect: Private ordinary functions

C
call: Private macros
cbind: Private macros
ce-bound?: Private ordinary functions
ce-var-dope: Private macros
ce-var-part: Private ordinary functions
check-0-args: Private ordinary functions
check-accept: Private ordinary functions
check-acceptline: Private ordinary functions
check-action: Private ordinary functions
check-arithmetic: Private ordinary functions
check-bind: Private ordinary functions
check-build: Private ordinary functions
check-build-collect: Private ordinary functions
check-call: Private ordinary functions
check-cbind: Private ordinary functions
check-change&: Private ordinary functions
check-closefile: Private ordinary functions
check-compute: Private ordinary functions
check-crlf: Private ordinary functions
check-default: Private ordinary functions
check-genatom: Private ordinary functions
check-halt: Private ordinary functions
check-last-substr-index: Private ordinary functions
check-limits: Private ordinary functions
check-litval: Private ordinary functions
check-make: Private ordinary functions
check-modify: Private ordinary functions
check-openfile: Private ordinary functions
check-print-control: Private ordinary functions
check-remove: Private ordinary functions
check-rhs: Private ordinary functions
check-rhs-atomic: Private ordinary functions
check-rhs-ce-var: Private ordinary functions
check-rhs-function: Private ordinary functions
check-rhs-value: Private ordinary functions
check-rjust: Private ordinary functions
check-substr: Private ordinary functions
check-substr-index: Private ordinary functions
check-tab-index: Private ordinary functions
check-tabto: Private ordinary functions
check-term: Private ordinary functions
check-write: Private ordinary functions
clear-ops-hash-tables: Private ordinary functions
closefile: Private macros
closefile2: Private ordinary functions
cmp-and: Private ordinary functions
cmp-any: Private ordinary functions
cmp-atomic: Private ordinary functions
cmp-atomic-or-any: Private ordinary functions
cmp-beta: Private ordinary functions
cmp-ce: Private ordinary functions
cmp-ce+cevar: Private ordinary functions
cmp-cevar: Private ordinary functions
cmp-constant: Private ordinary functions
cmp-element: Private ordinary functions
cmp-negce: Private ordinary functions
cmp-new-eq-var: Private ordinary functions
cmp-new-var: Private ordinary functions
cmp-nobeta: Private ordinary functions
cmp-not: Private ordinary functions
cmp-number: Private ordinary functions
cmp-old-eq-var: Private ordinary functions
cmp-p: Private ordinary functions
cmp-posce: Private ordinary functions
cmp-prin: Private ordinary functions
cmp-product: Private ordinary functions
cmp-symbol: Private ordinary functions
cmp-tab: Private ordinary functions
cmp-var: Private ordinary functions
compile-init: Private ordinary functions
compile-production: Private ordinary functions
compute: Private macros
conflict: Private ordinary functions
conflict-resolution: Private ordinary functions
conflict-set: Private ordinary functions
conflict-set-compare: Private ordinary functions
creation-time: Private ordinary functions
crlf: Public macros
cs: Private macros
current-field: Private ordinary functions

D
default: Private macros
default-write-file: Private ordinary functions
disjoint: Private ordinary functions
do-continue: Private ordinary functions
do-rjust: Private ordinary functions
do-tabto: Private ordinary functions
dsort: Private ordinary functions

E
encode-ce-dope: Private ordinary functions
encode-dope: Private ordinary functions
encode-pair: Private ordinary functions
encode-singleton: Private ordinary functions
end-of-ce: Private ordinary functions
end-of-p: Private ordinary functions
end-record: Private ordinary functions
equiv: Private ordinary functions
erase-literal-info: Private ordinary functions
erase-literal-info2: Private ordinary functions
eval-args: Private ordinary functions
eval-function: Private ordinary functions
eval-nodelist: Private ordinary functions
eval-rhs: Private ordinary functions
excise: Private macros
excise-p: Private ordinary functions
external: Private macros
external2: Private ordinary functions
external3: Private ordinary functions
externalp: Private ordinary functions

F
fast-symeval: Private macros
field-name: Private ordinary functions
filter: Private ordinary functions
find-common-atom: Private ordinary functions
find-equiv-beta-node: Private ordinary functions
find-equiv-node: Private ordinary functions
find-left-mem: Private ordinary functions
find-right-mem: Private ordinary functions
finish-literalize: Private ordinary functions
flat-value: Private ordinary functions
fudge: Private ordinary functions
fudge*: Private ordinary functions
Function, $assert: Private ordinary functions
Function, $change: Private ordinary functions
Function, $ifile: Private ordinary functions
Function, $litbind: Private ordinary functions
Function, $ofile: Private ordinary functions
Function, $parameter: Private ordinary functions
Function, $parametercount: Private ordinary functions
Function, $reset: Private ordinary functions
Function, $tab: Private ordinary functions
Function, $value: Private ordinary functions
Function, $varbind: Private ordinary functions
Function, %error: Private ordinary functions
Function, %warn: Private ordinary functions
Function, &and: Private ordinary functions
Function, &any: Private ordinary functions
Function, &bus: Private ordinary functions
Function, &mem: Private ordinary functions
Function, &not: Private ordinary functions
Function, &old: Private ordinary functions
Function, &p: Private ordinary functions
Function, &two: Private ordinary functions
Function, accum-stats: Private ordinary functions
Function, add-bucket: Private ordinary functions
Function, add-test: Private ordinary functions
Function, add-to-wm: Private ordinary functions
Function, add-token: Private ordinary functions
Function, and-left: Private ordinary functions
Function, and-right: Private ordinary functions
Function, ari: Private ordinary functions
Function, ari-unit: Private ordinary functions
Function, assign-scalars: Private ordinary functions
Function, assign-scalars2: Private ordinary functions
Function, assign-vectors: Private ordinary functions
Function, assign-vectors2: Private ordinary functions
Function, attach-left: Private ordinary functions
Function, attach-right: Private ordinary functions
Function, back: Private ordinary functions
Function, back-print: Private ordinary functions
Function, backup-init: Private ordinary functions
Function, begin-record: Private ordinary functions
Function, best-of: Private ordinary functions
Function, best-of*: Private ordinary functions
Function, beta-equiv: Private ordinary functions
Function, bound?: Private ordinary functions
Function, broken: Private ordinary functions
Function, buckets: Private ordinary functions
Function, build-beta: Private ordinary functions
Function, build-collect: Private ordinary functions
Function, ce-bound?: Private ordinary functions
Function, ce-var-part: Private ordinary functions
Function, check-0-args: Private ordinary functions
Function, check-accept: Private ordinary functions
Function, check-acceptline: Private ordinary functions
Function, check-action: Private ordinary functions
Function, check-arithmetic: Private ordinary functions
Function, check-bind: Private ordinary functions
Function, check-build: Private ordinary functions
Function, check-build-collect: Private ordinary functions
Function, check-call: Private ordinary functions
Function, check-cbind: Private ordinary functions
Function, check-change&: Private ordinary functions
Function, check-closefile: Private ordinary functions
Function, check-compute: Private ordinary functions
Function, check-crlf: Private ordinary functions
Function, check-default: Private ordinary functions
Function, check-genatom: Private ordinary functions
Function, check-halt: Private ordinary functions
Function, check-last-substr-index: Private ordinary functions
Function, check-limits: Private ordinary functions
Function, check-litval: Private ordinary functions
Function, check-make: Private ordinary functions
Function, check-modify: Private ordinary functions
Function, check-openfile: Private ordinary functions
Function, check-print-control: Private ordinary functions
Function, check-remove: Private ordinary functions
Function, check-rhs: Private ordinary functions
Function, check-rhs-atomic: Private ordinary functions
Function, check-rhs-ce-var: Private ordinary functions
Function, check-rhs-function: Private ordinary functions
Function, check-rhs-value: Private ordinary functions
Function, check-rjust: Private ordinary functions
Function, check-substr: Private ordinary functions
Function, check-substr-index: Private ordinary functions
Function, check-tab-index: Private ordinary functions
Function, check-tabto: Private ordinary functions
Function, check-term: Private ordinary functions
Function, check-write: Private ordinary functions
Function, clear-ops-hash-tables: Private ordinary functions
Function, closefile2: Private ordinary functions
Function, cmp-and: Private ordinary functions
Function, cmp-any: Private ordinary functions
Function, cmp-atomic: Private ordinary functions
Function, cmp-atomic-or-any: Private ordinary functions
Function, cmp-beta: Private ordinary functions
Function, cmp-ce: Private ordinary functions
Function, cmp-ce+cevar: Private ordinary functions
Function, cmp-cevar: Private ordinary functions
Function, cmp-constant: Private ordinary functions
Function, cmp-element: Private ordinary functions
Function, cmp-negce: Private ordinary functions
Function, cmp-new-eq-var: Private ordinary functions
Function, cmp-new-var: Private ordinary functions
Function, cmp-nobeta: Private ordinary functions
Function, cmp-not: Private ordinary functions
Function, cmp-number: Private ordinary functions
Function, cmp-old-eq-var: Private ordinary functions
Function, cmp-p: Private ordinary functions
Function, cmp-posce: Private ordinary functions
Function, cmp-prin: Private ordinary functions
Function, cmp-product: Private ordinary functions
Function, cmp-symbol: Private ordinary functions
Function, cmp-tab: Private ordinary functions
Function, cmp-var: Private ordinary functions
Function, compile-init: Private ordinary functions
Function, compile-production: Private ordinary functions
Function, conflict: Private ordinary functions
Function, conflict-resolution: Private ordinary functions
Function, conflict-set: Private ordinary functions
Function, conflict-set-compare: Private ordinary functions
Function, creation-time: Private ordinary functions
Function, current-field: Private ordinary functions
Function, default-write-file: Private ordinary functions
Function, disjoint: Private ordinary functions
Function, do-continue: Private ordinary functions
Function, do-rjust: Private ordinary functions
Function, do-tabto: Private ordinary functions
Function, dsort: Private ordinary functions
Function, encode-ce-dope: Private ordinary functions
Function, encode-dope: Private ordinary functions
Function, encode-pair: Private ordinary functions
Function, encode-singleton: Private ordinary functions
Function, end-of-ce: Private ordinary functions
Function, end-of-p: Private ordinary functions
Function, end-record: Private ordinary functions
Function, equiv: Private ordinary functions
Function, erase-literal-info: Private ordinary functions
Function, erase-literal-info2: Private ordinary functions
Function, eval-args: Private ordinary functions
Function, eval-function: Private ordinary functions
Function, eval-nodelist: Private ordinary functions
Function, eval-rhs: Private ordinary functions
Function, excise-p: Private ordinary functions
Function, external2: Private ordinary functions
Function, external3: Private ordinary functions
Function, externalp: Private ordinary functions
Function, field-name: Private ordinary functions
Function, filter: Private ordinary functions
Function, find-common-atom: Private ordinary functions
Function, find-equiv-beta-node: Private ordinary functions
Function, find-equiv-node: Private ordinary functions
Function, find-left-mem: Private ordinary functions
Function, find-right-mem: Private ordinary functions
Function, finish-literalize: Private ordinary functions
Function, flat-value: Private ordinary functions
Function, fudge: Private ordinary functions
Function, fudge*: Private ordinary functions
Function, gelm: Private ordinary functions
Function, genatom: Private ordinary functions
Function, get-bind: Private ordinary functions
Function, get-ce-var-bind: Private ordinary functions
Function, get-num-ce: Private ordinary functions
Function, get-wm: Private ordinary functions
Function, getupto: Private ordinary functions
Function, getval: Private ordinary functions
Function, halt: Private ordinary functions
Function, have-compiled-production: Private ordinary functions
Function, ident: Private ordinary functions
Function, incr-subnum: Private ordinary functions
Function, infile: Private ordinary functions
Function, init-ce-var-mem: Private ordinary functions
Function, init-var-mem: Private ordinary functions
Function, initialize-record: Private ordinary functions
Function, insertcs: Private ordinary functions
Function, instantiation: Private ordinary functions
Function, io-init: Private ordinary functions
Function, is-vector-attribute: Private ordinary functions
Function, kill-node: Private ordinary functions
Function, left-outs: Private ordinary functions
Function, lex: Private ordinary functions
Function, link-both: Private ordinary functions
Function, link-left: Private ordinary functions
Function, link-new-beta-node: Private ordinary functions
Function, link-new-node: Private ordinary functions
Function, link-to-branch: Private ordinary functions
Function, literal-binding-of: Private ordinary functions
Function, main: Private ordinary functions
Function, main-init: Private ordinary functions
Function, make-bottom-node: Private ordinary functions
Function, make-ce-var-bind: Private ordinary functions
Function, make-nums: Private ordinary functions
Function, make-var-bind: Private ordinary functions
Function, mapwm: Private ordinary functions
Function, mark-conflicts: Private ordinary functions
Function, mark-conflicts2: Private ordinary functions
Function, match: Public ordinary functions
Function, match-init: Private ordinary functions
Function, matches2: Private ordinary functions
Function, matches3: Private ordinary functions
Function, memory-part: Private ordinary functions
Function, new-subnum: Private ordinary functions
Function, not-left: Private ordinary functions
Function, not-right: Private ordinary functions
Function, note-ce-variable: Private ordinary functions
Function, note-user-assigns: Private ordinary functions
Function, note-user-assigns2: Private ordinary functions
Function, note-user-vector-assigns: Private ordinary functions
Function, note-variable: Private ordinary functions
Function, ops: Public ordinary functions
Function, ops-accept: Private ordinary functions
Function, ops-acceptline: Private ordinary functions
Function, ops-arith: Private ordinary functions
Function, ops-bind: Private ordinary functions
Function, ops-build: Private ordinary functions
Function, ops-call: Private ordinary functions
Function, ops-cbind: Private ordinary functions
Function, ops-closefile: Private ordinary functions
Function, ops-compute: Private ordinary functions
Function, ops-crlf: Private ordinary functions
Function, ops-cs: Private ordinary functions
Function, ops-default: Private ordinary functions
Function, ops-excise: Private ordinary functions
Function, ops-external: Private ordinary functions
Function, ops-init: Private ordinary functions
Function, ops-literal: Private ordinary functions
Function, ops-literalize: Private ordinary functions
Function, ops-litval: Private ordinary functions
Function, ops-make: Private ordinary functions
Function, ops-matches: Private ordinary functions
Function, ops-modify: Private ordinary functions
Function, ops-openfile: Private ordinary functions
Function, ops-p: Private ordinary functions
Function, ops-pbreak: Private ordinary functions
Function, ops-pm: Private ordinary functions
Function, ops-ppwm: Private ordinary functions
Function, ops-remove: Private ordinary functions
Function, ops-rjust: Private ordinary functions
Function, ops-run: Private ordinary functions
Function, ops-strategy: Private ordinary functions
Function, ops-substr: Private ordinary functions
Function, ops-tabto: Private ordinary functions
Function, ops-vector-attribute: Private ordinary functions
Function, ops-watch: Private ordinary functions
Function, ops-wm: Private ordinary functions
Function, ops-write: Private ordinary functions
Function, order-part: Private ordinary functions
Function, order-tags: Private ordinary functions
Function, outfile: Private ordinary functions
Function, pbreak2: Private ordinary functions
Function, peek-lex: Private ordinary functions
Function, peek-sublex: Private ordinary functions
Function, pname-instantiation: Private ordinary functions
Function, ppattval: Private ordinary functions
Function, ppelm: Private ordinary functions
Function, ppline: Private ordinary functions
Function, ppline2: Private ordinary functions
Function, pponlyval: Private ordinary functions
Function, pprule: Private ordinary functions
Function, ppval: Private ordinary functions
Function, ppwm2: Private ordinary functions
Function, prepare-lex: Private ordinary functions
Function, prepare-sublex: Private ordinary functions
Function, print-times: Private ordinary functions
Function, process-changes: Private ordinary functions
Function, promote-var: Private ordinary functions
Function, protomem: Private ordinary functions
Function, put-ppdat: Private ordinary functions
Function, rating-part: Private ordinary functions
Function, real-add-token: Private ordinary functions
Function, record-change: Private ordinary functions
Function, record-index-plus: Private ordinary functions
Function, record-refract: Private ordinary functions
Function, refracted: Private ordinary functions
Function, refresh: Private ordinary functions
Function, refresh-add: Private ordinary functions
Function, refresh-collect: Private ordinary functions
Function, refresh-del: Private ordinary functions
Function, rematm: Private ordinary functions
Function, remove-from-conflict-set: Private ordinary functions
Function, remove-from-wm: Private ordinary functions
Function, remove-old: Private ordinary functions
Function, remove-old-no-num: Private ordinary functions
Function, remove-old-num: Private ordinary functions
Function, removecs: Private ordinary functions
Function, reset-ops: Public ordinary functions
Function, rest-of-ce: Private ordinary functions
Function, rest-of-p: Private ordinary functions
Function, rhs-init: Private ordinary functions
Function, rhs-part: Private ordinary functions
Function, rhs-tab: Private ordinary functions
Function, right-outs: Private ordinary functions
Function, sendto: Private ordinary functions
Function, set-vector-attribute: Private ordinary functions
Function, still-present: Private ordinary functions
Function, store-binding: Private ordinary functions
Function, sublex: Private ordinary functions
Function, teqa: Private ordinary functions
Function, teqb: Private ordinary functions
Function, teqn: Private ordinary functions
Function, teqs: Private ordinary functions
Function, test-attribute-names: Private ordinary functions
Function, test-attribute-names2: Private ordinary functions
Function, tgeb: Private ordinary functions
Function, tgen: Private ordinary functions
Function, tges: Private ordinary functions
Function, tgtb: Private ordinary functions
Function, tgtn: Private ordinary functions
Function, tgts: Private ordinary functions
Function, time-tag-print: Private ordinary functions
Function, tleb: Private ordinary functions
Function, tlen: Private ordinary functions
Function, tles: Private ordinary functions
Function, tltb: Private ordinary functions
Function, tltn: Private ordinary functions
Function, tlts: Private ordinary functions
Function, tnea: Private ordinary functions
Function, tneb: Private ordinary functions
Function, tnen: Private ordinary functions
Function, tnes: Private ordinary functions
Function, top-level-remove: Private ordinary functions
Function, top-levels-eq: Private ordinary functions
Function, trace-file: Private ordinary functions
Function, tree-remove: Private ordinary functions
Function, txxa: Private ordinary functions
Function, txxb: Private ordinary functions
Function, txxn: Private ordinary functions
Function, txxs: Private ordinary functions
Function, undo-record: Private ordinary functions
Function, unflat: Private ordinary functions
Function, unflat*: Private ordinary functions
Function, use-result-array: Private ordinary functions
Function, var-part: Private ordinary functions
Function, variablep: Private ordinary functions
Function, wm-hash: Private ordinary functions
Function, write-elms: Private ordinary functions
Function, write-elms2: Private ordinary functions

G
gelm: Private ordinary functions
genatom: Private ordinary functions
get-bind: Private ordinary functions
get-ce-var-bind: Private ordinary functions
get-num-ce: Private ordinary functions
get-wm: Private ordinary functions
getupto: Private ordinary functions
getval: Private ordinary functions

H
halt: Private ordinary functions
have-compiled-production: Private ordinary functions

I
ident: Private ordinary functions
incr-subnum: Private ordinary functions
infile: Private ordinary functions
init-ce-var-mem: Private ordinary functions
init-var-mem: Private ordinary functions
initialize-record: Private ordinary functions
insertcs: Private ordinary functions
instantiation: Private ordinary functions
io-init: Private ordinary functions
is-vector-attribute: Private ordinary functions

K
kill-node: Private ordinary functions

L
left-outs: Private ordinary functions
lex: Private ordinary functions
link-both: Private ordinary functions
link-left: Private ordinary functions
link-new-beta-node: Private ordinary functions
link-new-node: Private ordinary functions
link-to-branch: Private ordinary functions
literal: Private macros
literal-binding-of: Private ordinary functions
literalize: Public macros
litval: Private macros

M
Macro, ==: Private macros
Macro, =alg: Private macros
Macro, accept: Private macros
Macro, acceptline: Private macros
Macro, append-string: Private macros
Macro, arith: Private macros
Macro, bind: Private macros
Macro, build: Private macros
Macro, call: Private macros
Macro, cbind: Private macros
Macro, ce-var-dope: Private macros
Macro, closefile: Private macros
Macro, compute: Private macros
Macro, crlf: Public macros
Macro, cs: Private macros
Macro, default: Private macros
Macro, excise: Private macros
Macro, external: Private macros
Macro, fast-symeval: Private macros
Macro, literal: Private macros
Macro, literalize: Public macros
Macro, litval: Private macros
Macro, make: Public macros
Macro, matches: Private macros
Macro, modify: Public macros
Macro, openfile: Private macros
Macro, p: Public macros
Macro, pbreak: Private macros
Macro, pm: Private macros
Macro, ppwm: Private macros
Macro, remove: Public macros
Macro, rjust: Private macros
Macro, run: Private macros
Macro, strategy: Public macros
Macro, substr: Private macros
Macro, tabto: Private macros
Macro, var-dope: Private macros
Macro, vector-attribute: Public macros
Macro, watch: Private macros
Macro, wm: Private macros
Macro, write: Public macros
main: Private ordinary functions
main-init: Private ordinary functions
make: Public macros
make-bottom-node: Private ordinary functions
make-ce-var-bind: Private ordinary functions
make-nums: Private ordinary functions
make-var-bind: Private ordinary functions
mapwm: Private ordinary functions
mark-conflicts: Private ordinary functions
mark-conflicts2: Private ordinary functions
match: Public ordinary functions
match-init: Private ordinary functions
matches: Private macros
matches2: Private ordinary functions
matches3: Private ordinary functions
memory-part: Private ordinary functions
modify: Public macros

N
new-subnum: Private ordinary functions
not-left: Private ordinary functions
not-right: Private ordinary functions
note-ce-variable: Private ordinary functions
note-user-assigns: Private ordinary functions
note-user-assigns2: Private ordinary functions
note-user-vector-assigns: Private ordinary functions
note-variable: Private ordinary functions

O
openfile: Private macros
ops: Public ordinary functions
ops-accept: Private ordinary functions
ops-acceptline: Private ordinary functions
ops-arith: Private ordinary functions
ops-bind: Private ordinary functions
ops-build: Private ordinary functions
ops-call: Private ordinary functions
ops-cbind: Private ordinary functions
ops-closefile: Private ordinary functions
ops-compute: Private ordinary functions
ops-crlf: Private ordinary functions
ops-cs: Private ordinary functions
ops-default: Private ordinary functions
ops-excise: Private ordinary functions
ops-external: Private ordinary functions
ops-init: Private ordinary functions
ops-literal: Private ordinary functions
ops-literalize: Private ordinary functions
ops-litval: Private ordinary functions
ops-make: Private ordinary functions
ops-matches: Private ordinary functions
ops-modify: Private ordinary functions
ops-openfile: Private ordinary functions
ops-p: Private ordinary functions
ops-pbreak: Private ordinary functions
ops-pm: Private ordinary functions
ops-ppwm: Private ordinary functions
ops-remove: Private ordinary functions
ops-rjust: Private ordinary functions
ops-run: Private ordinary functions
ops-strategy: Private ordinary functions
ops-substr: Private ordinary functions
ops-tabto: Private ordinary functions
ops-vector-attribute: Private ordinary functions
ops-watch: Private ordinary functions
ops-wm: Private ordinary functions
ops-write: Private ordinary functions
order-part: Private ordinary functions
order-tags: Private ordinary functions
outfile: Private ordinary functions

P
p: Public macros
pbreak: Private macros
pbreak2: Private ordinary functions
peek-lex: Private ordinary functions
peek-sublex: Private ordinary functions
pm: Private macros
pname-instantiation: Private ordinary functions
ppattval: Private ordinary functions
ppelm: Private ordinary functions
ppline: Private ordinary functions
ppline2: Private ordinary functions
pponlyval: Private ordinary functions
pprule: Private ordinary functions
ppval: Private ordinary functions
ppwm: Private macros
ppwm2: Private ordinary functions
prepare-lex: Private ordinary functions
prepare-sublex: Private ordinary functions
print-times: Private ordinary functions
process-changes: Private ordinary functions
promote-var: Private ordinary functions
protomem: Private ordinary functions
put-ppdat: Private ordinary functions

R
rating-part: Private ordinary functions
real-add-token: Private ordinary functions
record-change: Private ordinary functions
record-index-plus: Private ordinary functions
record-refract: Private ordinary functions
refracted: Private ordinary functions
refresh: Private ordinary functions
refresh-add: Private ordinary functions
refresh-collect: Private ordinary functions
refresh-del: Private ordinary functions
rematm: Private ordinary functions
remove: Public macros
remove-from-conflict-set: Private ordinary functions
remove-from-wm: Private ordinary functions
remove-old: Private ordinary functions
remove-old-no-num: Private ordinary functions
remove-old-num: Private ordinary functions
removecs: Private ordinary functions
reset-ops: Public ordinary functions
rest-of-ce: Private ordinary functions
rest-of-p: Private ordinary functions
rhs-init: Private ordinary functions
rhs-part: Private ordinary functions
rhs-tab: Private ordinary functions
right-outs: Private ordinary functions
rjust: Private macros
run: Private macros

S
sendto: Private ordinary functions
set-vector-attribute: Private ordinary functions
still-present: Private ordinary functions
store-binding: Private ordinary functions
strategy: Public macros
sublex: Private ordinary functions
substr: Private macros

T
tabto: Private macros
teqa: Private ordinary functions
teqb: Private ordinary functions
teqn: Private ordinary functions
teqs: Private ordinary functions
test-attribute-names: Private ordinary functions
test-attribute-names2: Private ordinary functions
tgeb: Private ordinary functions
tgen: Private ordinary functions
tges: Private ordinary functions
tgtb: Private ordinary functions
tgtn: Private ordinary functions
tgts: Private ordinary functions
time-tag-print: Private ordinary functions
tleb: Private ordinary functions
tlen: Private ordinary functions
tles: Private ordinary functions
tltb: Private ordinary functions
tltn: Private ordinary functions
tlts: Private ordinary functions
tnea: Private ordinary functions
tneb: Private ordinary functions
tnen: Private ordinary functions
tnes: Private ordinary functions
top-level-remove: Private ordinary functions
top-levels-eq: Private ordinary functions
trace-file: Private ordinary functions
tree-remove: Private ordinary functions
txxa: Private ordinary functions
txxb: Private ordinary functions
txxn: Private ordinary functions
txxs: Private ordinary functions

U
undo-record: Private ordinary functions
unflat: Private ordinary functions
unflat*: Private ordinary functions
use-result-array: Private ordinary functions

V
var-dope: Private macros
var-part: Private ordinary functions
variablep: Private ordinary functions
vector-attribute: Public macros

W
watch: Private macros
wm: Private macros
wm-hash: Private ordinary functions
write: Public macros
write-elms: Private ordinary functions
write-elms2: Private ordinary functions


A.3 Variables

Jump to:   *  
S  
Index Entry  Section

*
*accept-file*: Private special variables
*action-count*: Private special variables
*action-type*: Private special variables
*alpha-data-part*: Private special variables
*alpha-flag-part*: Private special variables
*att-list-table*: Private special variables
*backpointers-table*: Private special variables
*break-flag*: Private special variables
*brkpts*: Private special variables
*buckets*: Private special variables
*build-trace*: Private special variables
*c1*: Private special variables
*c10*: Private special variables
*c100*: Private special variables
*c101*: Private special variables
*c102*: Private special variables
*c103*: Private special variables
*c104*: Private special variables
*c105*: Private special variables
*c106*: Private special variables
*c107*: Private special variables
*c108*: Private special variables
*c109*: Private special variables
*c11*: Private special variables
*c110*: Private special variables
*c111*: Private special variables
*c112*: Private special variables
*c113*: Private special variables
*c114*: Private special variables
*c115*: Private special variables
*c116*: Private special variables
*c117*: Private special variables
*c118*: Private special variables
*c119*: Private special variables
*c12*: Private special variables
*c120*: Private special variables
*c121*: Private special variables
*c122*: Private special variables
*c123*: Private special variables
*c124*: Private special variables
*c125*: Private special variables
*c126*: Private special variables
*c127*: Private special variables
*c13*: Private special variables
*c14*: Private special variables
*c15*: Private special variables
*c16*: Private special variables
*c17*: Private special variables
*c18*: Private special variables
*c19*: Private special variables
*c2*: Private special variables
*c20*: Private special variables
*c21*: Private special variables
*c22*: Private special variables
*c23*: Private special variables
*c24*: Private special variables
*c25*: Private special variables
*c26*: Private special variables
*c27*: Private special variables
*c28*: Private special variables
*c29*: Private special variables
*c3*: Private special variables
*c30*: Private special variables
*c31*: Private special variables
*c32*: Private special variables
*c33*: Private special variables
*c34*: Private special variables
*c35*: Private special variables
*c36*: Private special variables
*c37*: Private special variables
*c38*: Private special variables
*c39*: Private special variables
*c4*: Private special variables
*c40*: Private special variables
*c41*: Private special variables
*c42*: Private special variables
*c43*: Private special variables
*c44*: Private special variables
*c45*: Private special variables
*c46*: Private special variables
*c47*: Private special variables
*c48*: Private special variables
*c49*: Private special variables
*c5*: Private special variables
*c50*: Private special variables
*c51*: Private special variables
*c52*: Private special variables
*c53*: Private special variables
*c54*: Private special variables
*c55*: Private special variables
*c56*: Private special variables
*c57*: Private special variables
*c58*: Private special variables
*c59*: Private special variables
*c6*: Private special variables
*c60*: Private special variables
*c61*: Private special variables
*c62*: Private special variables
*c63*: Private special variables
*c64*: Private special variables
*c65*: Private special variables
*c66*: Private special variables
*c67*: Private special variables
*c68*: Private special variables
*c69*: Private special variables
*c7*: Private special variables
*c70*: Private special variables
*c71*: Private special variables
*c72*: Private special variables
*c73*: Private special variables
*c74*: Private special variables
*c75*: Private special variables
*c76*: Private special variables
*c77*: Private special variables
*c78*: Private special variables
*c79*: Private special variables
*c8*: Private special variables
*c80*: Private special variables
*c81*: Private special variables
*c82*: Private special variables
*c83*: Private special variables
*c84*: Private special variables
*c85*: Private special variables
*c86*: Private special variables
*c87*: Private special variables
*c88*: Private special variables
*c89*: Private special variables
*c9*: Private special variables
*c90*: Private special variables
*c91*: Private special variables
*c92*: Private special variables
*c93*: Private special variables
*c94*: Private special variables
*c95*: Private special variables
*c96*: Private special variables
*c97*: Private special variables
*c98*: Private special variables
*c99*: Private special variables
*ce-count*: Private special variables
*ce-variable-memory*: Private special variables
*ce-vars*: Private special variables
*class-list*: Private special variables
*conflict-set*: Private special variables
*conflicts-table*: Private special variables
*critical*: Private special variables
*cur-vars*: Private special variables
*curcond*: Private special variables
*current-token*: Private special variables
*current-wm*: Private special variables
*cycle-count*: Private special variables
*data-matched*: Private special variables
*data-part*: Private special variables
*external-routine-table*: Private special variables
*feature-count*: Private special variables
*filters*: Private special variables
*first-node*: Private special variables
*flag-part*: Private special variables
*halt-flag*: Private special variables
*in-rhs*: Private special variables
*inputfile-table*: Private special variables
*last*: Private special variables
*last-branch*: Private special variables
*last-node*: Private special variables
*limit-cs*: Private special variables
*limit-token*: Private special variables
*matrix*: Private special variables
*max-cs*: Private special variables
*max-index*: Private special variables
*max-record-index*: Private special variables
*max-token*: Private special variables
*max-wm*: Private special variables
*next-index*: Private special variables
*old-wm*: Private special variables
*ops-bind-table*: Private special variables
*ops-version*: Private special variables
*outputfile-table*: Private special variables
*p-name*: Private special variables
*pcount*: Private special variables
*phase*: Private special variables
*ppdat-table*: Private special variables
*ppline*: Private special variables
*production-table*: Private special variables
*ptrace*: Private special variables
*real-cnt*: Private special variables
*record*: Private special variables
*record-array*: Private special variables
*record-index*: Private special variables
*recording*: Private special variables
*refracts*: Private special variables
*remaining-cycles*: Private special variables
*rest*: Private special variables
*result-array*: Private special variables
*rhs-bound-ce-vars*: Private special variables
*rhs-bound-vars*: Private special variables
*sendtocall*: Private special variables
*side*: Private special variables
*size-result-array*: Private special variables
*strategy*: Private special variables
*subnum*: Private special variables
*topnode-table*: Private special variables
*total-cs*: Private special variables
*total-token*: Private special variables
*total-wm*: Private special variables
*trace-file*: Private special variables
*variable-memory*: Private special variables
*vars*: Private special variables
*vector-attribute-table*: Private special variables
*virtual-cnt*: Private special variables
*wm*: Private special variables
*wm-filter*: Private special variables
*wmpart*-table*: Private special variables
*wmpart-list*: Private special variables
*write-file*: Private special variables
*wtrace*: Private special variables

S
Special Variable, *accept-file*: Private special variables
Special Variable, *action-count*: Private special variables
Special Variable, *action-type*: Private special variables
Special Variable, *alpha-data-part*: Private special variables
Special Variable, *alpha-flag-part*: Private special variables
Special Variable, *att-list-table*: Private special variables
Special Variable, *backpointers-table*: Private special variables
Special Variable, *break-flag*: Private special variables
Special Variable, *brkpts*: Private special variables
Special Variable, *buckets*: Private special variables
Special Variable, *build-trace*: Private special variables
Special Variable, *c1*: Private special variables
Special Variable, *c10*: Private special variables
Special Variable, *c100*: Private special variables
Special Variable, *c101*: Private special variables
Special Variable, *c102*: Private special variables
Special Variable, *c103*: Private special variables
Special Variable, *c104*: Private special variables
Special Variable, *c105*: Private special variables
Special Variable, *c106*: Private special variables
Special Variable, *c107*: Private special variables
Special Variable, *c108*: Private special variables
Special Variable, *c109*: Private special variables
Special Variable, *c11*: Private special variables
Special Variable, *c110*: Private special variables
Special Variable, *c111*: Private special variables
Special Variable, *c112*: Private special variables
Special Variable, *c113*: Private special variables
Special Variable, *c114*: Private special variables
Special Variable, *c115*: Private special variables
Special Variable, *c116*: Private special variables
Special Variable, *c117*: Private special variables
Special Variable, *c118*: Private special variables
Special Variable, *c119*: Private special variables
Special Variable, *c12*: Private special variables
Special Variable, *c120*: Private special variables
Special Variable, *c121*: Private special variables
Special Variable, *c122*: Private special variables
Special Variable, *c123*: Private special variables
Special Variable, *c124*: Private special variables
Special Variable, *c125*: Private special variables
Special Variable, *c126*: Private special variables
Special Variable, *c127*: Private special variables
Special Variable, *c13*: Private special variables
Special Variable, *c14*: Private special variables
Special Variable, *c15*: Private special variables
Special Variable, *c16*: Private special variables
Special Variable, *c17*: Private special variables
Special Variable, *c18*: Private special variables
Special Variable, *c19*: Private special variables
Special Variable, *c2*: Private special variables
Special Variable, *c20*: Private special variables
Special Variable, *c21*: Private special variables
Special Variable, *c22*: Private special variables
Special Variable, *c23*: Private special variables
Special Variable, *c24*: Private special variables
Special Variable, *c25*: Private special variables
Special Variable, *c26*: Private special variables
Special Variable, *c27*: Private special variables
Special Variable, *c28*: Private special variables
Special Variable, *c29*: Private special variables
Special Variable, *c3*: Private special variables
Special Variable, *c30*: Private special variables
Special Variable, *c31*: Private special variables
Special Variable, *c32*: Private special variables
Special Variable, *c33*: Private special variables
Special Variable, *c34*: Private special variables
Special Variable, *c35*: Private special variables
Special Variable, *c36*: Private special variables
Special Variable, *c37*: Private special variables
Special Variable, *c38*: Private special variables
Special Variable, *c39*: Private special variables
Special Variable, *c4*: Private special variables
Special Variable, *c40*: Private special variables
Special Variable, *c41*: Private special variables
Special Variable, *c42*: Private special variables
Special Variable, *c43*: Private special variables
Special Variable, *c44*: Private special variables
Special Variable, *c45*: Private special variables
Special Variable, *c46*: Private special variables
Special Variable, *c47*: Private special variables
Special Variable, *c48*: Private special variables
Special Variable, *c49*: Private special variables
Special Variable, *c5*: Private special variables
Special Variable, *c50*: Private special variables
Special Variable, *c51*: Private special variables
Special Variable, *c52*: Private special variables
Special Variable, *c53*: Private special variables
Special Variable, *c54*: Private special variables
Special Variable, *c55*: Private special variables
Special Variable, *c56*: Private special variables
Special Variable, *c57*: Private special variables
Special Variable, *c58*: Private special variables
Special Variable, *c59*: Private special variables
Special Variable, *c6*: Private special variables
Special Variable, *c60*: Private special variables
Special Variable, *c61*: Private special variables
Special Variable, *c62*: Private special variables
Special Variable, *c63*: Private special variables
Special Variable, *c64*: Private special variables
Special Variable, *c65*: Private special variables
Special Variable, *c66*: Private special variables
Special Variable, *c67*: Private special variables
Special Variable, *c68*: Private special variables
Special Variable, *c69*: Private special variables
Special Variable, *c7*: Private special variables
Special Variable, *c70*: Private special variables
Special Variable, *c71*: Private special variables
Special Variable, *c72*: Private special variables
Special Variable, *c73*: Private special variables
Special Variable, *c74*: Private special variables
Special Variable, *c75*: Private special variables
Special Variable, *c76*: Private special variables
Special Variable, *c77*: Private special variables
Special Variable, *c78*: Private special variables
Special Variable, *c79*: Private special variables
Special Variable, *c8*: Private special variables
Special Variable, *c80*: Private special variables
Special Variable, *c81*: Private special variables
Special Variable, *c82*: Private special variables
Special Variable, *c83*: Private special variables
Special Variable, *c84*: Private special variables
Special Variable, *c85*: Private special variables
Special Variable, *c86*: Private special variables
Special Variable, *c87*: Private special variables
Special Variable, *c88*: Private special variables
Special Variable, *c89*: Private special variables
Special Variable, *c9*: Private special variables
Special Variable, *c90*: Private special variables
Special Variable, *c91*: Private special variables
Special Variable, *c92*: Private special variables
Special Variable, *c93*: Private special variables
Special Variable, *c94*: Private special variables
Special Variable, *c95*: Private special variables
Special Variable, *c96*: Private special variables
Special Variable, *c97*: Private special variables
Special Variable, *c98*: Private special variables
Special Variable, *c99*: Private special variables
Special Variable, *ce-count*: Private special variables
Special Variable, *ce-variable-memory*: Private special variables
Special Variable, *ce-vars*: Private special variables
Special Variable, *class-list*: Private special variables
Special Variable, *conflict-set*: Private special variables
Special Variable, *conflicts-table*: Private special variables
Special Variable, *critical*: Private special variables
Special Variable, *cur-vars*: Private special variables
Special Variable, *curcond*: Private special variables
Special Variable, *current-token*: Private special variables
Special Variable, *current-wm*: Private special variables
Special Variable, *cycle-count*: Private special variables
Special Variable, *data-matched*: Private special variables
Special Variable, *data-part*: Private special variables
Special Variable, *external-routine-table*: Private special variables
Special Variable, *feature-count*: Private special variables
Special Variable, *filters*: Private special variables
Special Variable, *first-node*: Private special variables
Special Variable, *flag-part*: Private special variables
Special Variable, *halt-flag*: Private special variables
Special Variable, *in-rhs*: Private special variables
Special Variable, *inputfile-table*: Private special variables
Special Variable, *last*: Private special variables
Special Variable, *last-branch*: Private special variables
Special Variable, *last-node*: Private special variables
Special Variable, *limit-cs*: Private special variables
Special Variable, *limit-token*: Private special variables
Special Variable, *matrix*: Private special variables
Special Variable, *max-cs*: Private special variables
Special Variable, *max-index*: Private special variables
Special Variable, *max-record-index*: Private special variables
Special Variable, *max-token*: Private special variables
Special Variable, *max-wm*: Private special variables
Special Variable, *next-index*: Private special variables
Special Variable, *old-wm*: Private special variables
Special Variable, *ops-bind-table*: Private special variables
Special Variable, *ops-version*: Private special variables
Special Variable, *outputfile-table*: Private special variables
Special Variable, *p-name*: Private special variables
Special Variable, *pcount*: Private special variables
Special Variable, *phase*: Private special variables
Special Variable, *ppdat-table*: Private special variables
Special Variable, *ppline*: Private special variables
Special Variable, *production-table*: Private special variables
Special Variable, *ptrace*: Private special variables
Special Variable, *real-cnt*: Private special variables
Special Variable, *record*: Private special variables
Special Variable, *record-array*: Private special variables
Special Variable, *record-index*: Private special variables
Special Variable, *recording*: Private special variables
Special Variable, *refracts*: Private special variables
Special Variable, *remaining-cycles*: Private special variables
Special Variable, *rest*: Private special variables
Special Variable, *result-array*: Private special variables
Special Variable, *rhs-bound-ce-vars*: Private special variables
Special Variable, *rhs-bound-vars*: Private special variables
Special Variable, *sendtocall*: Private special variables
Special Variable, *side*: Private special variables
Special Variable, *size-result-array*: Private special variables
Special Variable, *strategy*: Private special variables
Special Variable, *subnum*: Private special variables
Special Variable, *topnode-table*: Private special variables
Special Variable, *total-cs*: Private special variables
Special Variable, *total-token*: Private special variables
Special Variable, *total-wm*: Private special variables
Special Variable, *trace-file*: Private special variables
Special Variable, *variable-memory*: Private special variables
Special Variable, *vars*: Private special variables
Special Variable, *vector-attribute-table*: Private special variables
Special Variable, *virtual-cnt*: Private special variables
Special Variable, *wm*: Private special variables
Special Variable, *wm-filter*: Private special variables
Special Variable, *wmpart*-table*: Private special variables
Special Variable, *wmpart-list*: Private special variables
Special Variable, *write-file*: Private special variables
Special Variable, *wtrace*: Private special variables