The ops5 Reference Manual

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

The ops5 Reference Manual

This is the ops5 Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Aug 15 05:30:34 2022 GMT+0.

Table of Contents


1 Introduction

OPS5

This repository contains a Common Lisp implementation of OPS5. It was obtained from the CMU AI Archive on January 16, 2020, and modified by Zachary Beane to build and run on modern (as of 2020) Common Lisp implementations.

The original software and all updates by Zachary Beane are in the public domain.

The original, unchanged README file is available unchanged as README.orig.


2 Systems

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


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

2.1 ops5

The Ops5 programming language for production systems

Author

Zach Beane <xach@xach.com>

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.


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

3.1 Lisp


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

3.1.1 ops5/ops5.asd

Source

ops5.asd.

Parent Component

ops5 (system).

ASDF Systems

ops5.


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

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

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

3.1.11 ops5/ops-io.lisp

Dependency

ops-init.lisp (file).

Source

ops5.asd.

Parent Component

ops5 (system).

Internals

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

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.


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

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.


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

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.


Previous: , Up: Public Interface   [Contents][Index]

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


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

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.


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

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


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

A.1 Concepts


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

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

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

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

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

Jump to:   *  
S