The ops5 Reference Manual

Table of Contents

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

The ops5 Reference Manual

This is the ops5 Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Wed Mar 25 18:49:36 2020 GMT+0.


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

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.


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

2 Systems

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


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

2.1 ops5

Author

Zach Beane <xach@xach.com>

License

Public Domain

Description

The Ops5 programming language for production systems

Source

ops5.asd (file)

Components

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

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 files   [Contents][Index]

3.1.1 ops5.asd

Location

ops5.asd

Systems

ops5 (system)


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

3.1.2 ops5/package.lisp

Parent

ops5 (system)

Location

package.lisp

Packages

ops


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

3.1.3 ops5/ops-globals.lisp

Dependency

package.lisp (file)

Parent

ops5 (system)

Location

ops-globals.lisp

Internal Definitions

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

3.1.4 ops5/ops-util.lisp

Dependency

ops-globals.lisp (file)

Parent

ops5 (system)

Location

ops-util.lisp

Internal Definitions

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

3.1.5 ops5/ops-compile.lisp

Dependency

ops-util.lisp (file)

Parent

ops5 (system)

Location

ops-compile.lisp

Internal Definitions

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

3.1.6 ops5/ops-rhs.lisp

Dependency

ops-compile.lisp (file)

Parent

ops5 (system)

Location

ops-rhs.lisp

Exported Definitions
Internal Definitions

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

3.1.7 ops5/ops-match.lisp

Dependency

ops-rhs.lisp (file)

Parent

ops5 (system)

Location

ops-match.lisp

Exported Definitions

match (function)

Internal Definitions

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

3.1.8 ops5/ops-main.lisp

Dependency

ops-match.lisp (file)

Parent

ops5 (system)

Location

ops-main.lisp

Exported Definitions
Internal Definitions

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

3.1.9 ops5/ops-backup.lisp

Dependency

ops-main.lisp (file)

Parent

ops5 (system)

Location

ops-backup.lisp

Internal Definitions

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

3.1.10 ops5/ops-init.lisp

Dependency

ops-backup.lisp (file)

Parent

ops5 (system)

Location

ops-init.lisp

Exported Definitions

reset-ops (function)

Internal Definitions

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

3.1.11 ops5/ops-io.lisp

Dependency

ops-init.lisp (file)

Parent

ops5 (system)

Location

ops-io.lisp

Internal Definitions

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

3.1.12 ops5/ops.lisp

Dependency

ops-io.lisp (file)

Parent

ops5 (system)

Location

ops.lisp

Exported Definitions

ops (function)


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

4 Packages

Packages are listed by definition order.


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

4.1 ops

Source

package.lisp (file)

Use List

common-lisp

Exported Definitions
Internal Definitions

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

5 Definitions

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


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

5.1 Exported definitions


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

5.1.1 Macros

Macro: crlf &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: literalize &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: make &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: modify &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: p &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: remove &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: strategy &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: vector-attribute &body L
Package

ops

Source

ops-main.lisp (file)

Macro: write &body Z
Package

ops

Source

ops-rhs.lisp (file)


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

5.1.2 Functions

Function: match FLAG WME
Package

ops

Source

ops-match.lisp (file)

Function: ops ()

OPS Read-Eval-Print Loop.

Package

ops

Source

ops.lisp (file)

Function: reset-ops ()

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

Package

ops

Source

ops-init.lisp (file)


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

5.2 Internal definitions


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

5.2.1 Special variables

Special Variable: *accept-file*
Package

ops

Source

ops-io.lisp (file)

Special Variable: *action-count*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *action-type*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *alpha-data-part*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *alpha-flag-part*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *att-list-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *backpointers-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *break-flag*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *brkpts*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *buckets*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *build-trace*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *c1*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c10*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c100*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c101*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c102*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c103*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c104*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c105*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c106*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c107*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c108*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c109*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c11*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c110*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c111*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c112*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c113*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c114*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c115*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c116*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c117*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c118*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c119*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c12*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c120*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c121*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c122*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c123*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c124*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c125*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c126*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c127*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c13*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c14*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c15*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c16*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c17*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c18*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c19*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c2*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c20*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c21*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c22*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c23*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c24*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c25*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c26*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c27*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c28*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c29*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c3*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c30*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c31*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c32*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c33*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c34*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c35*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c36*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c37*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c38*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c39*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c4*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c40*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c41*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c42*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c43*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c44*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c45*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c46*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c47*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c48*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c49*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c5*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c50*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c51*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c52*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c53*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c54*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c55*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c56*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c57*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c58*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c59*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c6*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c60*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c61*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c62*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c63*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c64*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c65*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c66*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c67*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c68*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c69*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c7*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c70*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c71*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c72*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c73*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c74*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c75*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c76*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c77*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c78*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c79*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c8*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c80*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c81*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c82*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c83*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c84*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c85*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c86*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c87*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c88*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c89*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c9*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c90*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c91*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c92*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c93*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c94*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c95*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c96*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c97*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c98*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *c99*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *ce-count*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *ce-variable-memory*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *ce-vars*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *class-list*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *conflict-set*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *conflicts-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *critical*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *cur-vars*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *curcond*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *current-token*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *current-wm*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *cycle-count*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *data-matched*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *data-part*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *external-routine-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *feature-count*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *filters*
Package

ops

Source

ops-io.lisp (file)

Special Variable: *first-node*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *flag-part*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *halt-flag*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *in-rhs*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *inputfile-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *last*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *last-branch*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *last-node*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *limit-cs*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *limit-token*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *matrix*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *max-cs*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *max-index*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *max-record-index*
Package

ops

Source

ops-backup.lisp (file)

Special Variable: *max-token*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *max-wm*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *next-index*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *old-wm*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *ops-bind-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *ops-version*
Package

ops

Source

ops-init.lisp (file)

Special Variable: *outputfile-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *p-name*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *pcount*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *phase*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *ppdat-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *ppline*
Package

ops

Source

ops-io.lisp (file)

Special Variable: *production-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *ptrace*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *real-cnt*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *record*
Package

ops

Source

ops-backup.lisp (file)

Special Variable: *record-array*
Package

ops

Source

ops-backup.lisp (file)

Special Variable: *record-index*
Package

ops

Source

ops-backup.lisp (file)

Special Variable: *recording*
Package

ops

Source

ops-backup.lisp (file)

Special Variable: *refracts*
Package

ops

Source

ops-backup.lisp (file)

Special Variable: *remaining-cycles*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *rest*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *result-array*
Package

ops

Source

ops-rhs.lisp (file)

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

ops

Source

ops-compile.lisp (file)

Special Variable: *rhs-bound-vars*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *sendtocall*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *side*
Package

ops

Source

ops-match.lisp (file)

Special Variable: *size-result-array*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *strategy*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *subnum*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *topnode-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *total-cs*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *total-token*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *total-wm*
Package

ops

Source

ops-main.lisp (file)

Special Variable: *trace-file*
Package

ops

Source

ops-io.lisp (file)

Special Variable: *variable-memory*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *vars*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *vector-attribute-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *virtual-cnt*
Package

ops

Source

ops-compile.lisp (file)

Special Variable: *wm*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *wm-filter*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *wmpart*-table*
Package

ops

Source

ops-globals.lisp (file)

Special Variable: *wmpart-list*
Package

ops

Source

ops-rhs.lisp (file)

Special Variable: *write-file*
Package

ops

Source

ops-io.lisp (file)

Special Variable: *wtrace*
Package

ops

Source

ops-globals.lisp (file)


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

5.2.2 Macros

Macro: == X Y
Package

ops

Source

ops-util.lisp (file)

Macro: =alg A B
Package

ops

Source

ops-util.lisp (file)

Macro: accept &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: acceptline &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: append-string X
Package

ops

Source

ops-io.lisp (file)

Macro: arith &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: bind &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: build &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: call &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: cbind &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: ce-var-dope VAR
Package

ops

Source

ops-compile.lisp (file)

Macro: closefile &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: compute &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: cs &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: default &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: excise &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: external &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: fast-symeval &body Z
Package

ops

Source

ops-util.lisp (file)

Macro: literal &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: litval &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: matches &body RULE-LIST
Package

ops

Source

ops-main.lisp (file)

Macro: openfile &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: pbreak &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: pm &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: ppwm &body AVLIST
Package

ops

Source

ops-main.lisp (file)

Macro: rjust &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: run &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: substr &body L
Package

ops

Source

ops-rhs.lisp (file)

Macro: tabto &body Z
Package

ops

Source

ops-rhs.lisp (file)

Macro: var-dope VAR
Package

ops

Source

ops-compile.lisp (file)

Macro: watch &body Z
Package

ops

Source

ops-main.lisp (file)

Macro: wm &body A
Package

ops

Source

ops-main.lisp (file)


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

5.2.3 Functions

Function: $assert ()
Package

ops

Source

ops-rhs.lisp (file)

Function: $change X
Package

ops

Source

ops-rhs.lisp (file)

Function: $ifile X
Package

ops

Source

ops-rhs.lisp (file)

Function: $litbind X
Package

ops

Source

ops-rhs.lisp (file)

Function: $ofile X
Package

ops

Source

ops-rhs.lisp (file)

Function: $parameter K
Package

ops

Source

ops-rhs.lisp (file)

Function: $parametercount ()
Package

ops

Source

ops-rhs.lisp (file)

Function: $reset ()
Package

ops

Source

ops-rhs.lisp (file)

Function: $tab Z
Package

ops

Source

ops-rhs.lisp (file)

Function: $value V
Package

ops

Source

ops-rhs.lisp (file)

Function: $varbind X
Package

ops

Source

ops-rhs.lisp (file)

Function: %error WHAT WHERE
Package

ops

Source

ops-util.lisp (file)

Function: %warn WHAT WHERE
Package

ops

Source

ops-util.lisp (file)

Function: &and OUTS LPRED RPRED TESTS
Package

ops

Source

ops-match.lisp (file)

Function: &any OUTS REGISTER CONST-LIST
Package

ops

Source

ops-match.lisp (file)

Function: &bus OUTS
Package

ops

Source

ops-match.lisp (file)

Function: &mem LEFT-OUTS RIGHT-OUTS MEMORY-LIST
Package

ops

Source

ops-match.lisp (file)

Function: &not OUTS LMEM RPRED TESTS
Package

ops

Source

ops-match.lisp (file)

Function: &old A B C D E
Package

ops

Source

ops-match.lisp (file)

Function: &p RATING NAME VAR-DOPE CE-VAR-DOPE RHS
Package

ops

Source

ops-match.lisp (file)

Function: &two LEFT-OUTS RIGHT-OUTS
Package

ops

Source

ops-match.lisp (file)

Function: accum-stats ()
Package

ops

Source

ops-main.lisp (file)

Function: add-bucket NAME NUM
Package

ops

Source

ops-main.lisp (file)

Function: add-test LIST NEW OLD
Package

ops

Source

ops-compile.lisp (file)

Function: add-to-wm WME OVERRIDE
Package

ops

Source

ops-rhs.lisp (file)

Function: add-token MEMLIS FLAG DATA-PART NUM
Package

ops

Source

ops-match.lisp (file)

Function: and-left OUTS MEM TESTS
Package

ops

Source

ops-match.lisp (file)

Function: and-right OUTS MEM TESTS
Package

ops

Source

ops-match.lisp (file)

Function: ari X
Package

ops

Source

ops-rhs.lisp (file)

Function: ari-unit A
Package

ops

Source

ops-rhs.lisp (file)

Function: assign-scalars CLASS
Package

ops

Source

ops-main.lisp (file)

Function: assign-scalars2 ATT
Package

ops

Source

ops-main.lisp (file)

Function: assign-vectors CLASS
Package

ops

Source

ops-main.lisp (file)

Function: assign-vectors2 ATT
Package

ops

Source

ops-main.lisp (file)

Function: attach-left OLD NEW
Package

ops

Source

ops-compile.lisp (file)

Function: attach-right OLD NEW
Package

ops

Source

ops-compile.lisp (file)

Function: back K
Package

ops

Source

ops-backup.lisp (file)

Function: back-print X
Package

ops

Source

ops-backup.lisp (file)

Function: backup-init ()
Package

ops

Source

ops-backup.lisp (file)

Function: begin-record P DATA
Package

ops

Source

ops-backup.lisp (file)

Function: best-of SET
Package

ops

Source

ops-main.lisp (file)

Function: best-of* BEST REM
Package

ops

Source

ops-main.lisp (file)

Function: beta-equiv A B
Package

ops

Source

ops-compile.lisp (file)

Function: bound? VAR
Package

ops

Source

ops-compile.lisp (file)

Function: broken RULE
Package

ops

Source

ops-main.lisp (file)

Function: buckets ()
Package

ops

Source

ops-main.lisp (file)

Function: build-beta TYPE TESTS
Package

ops

Source

ops-compile.lisp (file)

Function: build-collect Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ce-bound? CE-VAR
Package

ops

Source

ops-compile.lisp (file)

Function: ce-var-part PNODE
Package

ops

Source

ops-compile.lisp (file)

Function: check-0-args X
Package

ops

Source

ops-compile.lisp (file)

Function: check-accept X
Package

ops

Source

ops-compile.lisp (file)

Function: check-acceptline X
Package

ops

Source

ops-compile.lisp (file)

Function: check-action X
Package

ops

Source

ops-compile.lisp (file)

Function: check-arithmetic L
Package

ops

Source

ops-compile.lisp (file)

Function: check-bind Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-build Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-build-collect ARGS
Package

ops

Source

ops-compile.lisp (file)

Function: check-call Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-cbind Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-change& Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-closefile Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-compute X
Package

ops

Source

ops-compile.lisp (file)

Function: check-crlf X
Package

ops

Source

ops-compile.lisp (file)

Function: check-default Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-genatom X
Package

ops

Source

ops-compile.lisp (file)

Function: check-halt Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-last-substr-index X
Package

ops

Source

ops-compile.lisp (file)

Function: check-limits ()
Package

ops

Source

ops-main.lisp (file)

Function: check-litval X
Package

ops

Source

ops-compile.lisp (file)

Function: check-make Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-modify Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-openfile Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-print-control X
Package

ops

Source

ops-compile.lisp (file)

Function: check-remove Z
Package

ops

Source

ops-compile.lisp (file)

Function: check-rhs RHS
Package

ops

Source

ops-compile.lisp (file)

Function: check-rhs-atomic X
Package

ops

Source

ops-compile.lisp (file)

Function: check-rhs-ce-var V
Package

ops

Source

ops-compile.lisp (file)

Function: check-rhs-function X
Package

ops

Source

ops-compile.lisp (file)

Function: check-rhs-value X
Package

ops

Source

ops-compile.lisp (file)

Function: check-rjust X
Package

ops

Source

ops-compile.lisp (file)

Function: check-substr X
Package

ops

Source

ops-compile.lisp (file)

Function: check-substr-index X
Package

ops

Source

ops-compile.lisp (file)

Function: check-tab-index X
Package

ops

Source

ops-compile.lisp (file)

Function: check-tabto X
Package

ops

Source

ops-compile.lisp (file)

Function: check-term X
Package

ops

Source

ops-compile.lisp (file)

Function: check-write Z
Package

ops

Source

ops-compile.lisp (file)

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

ops

Source

ops-globals.lisp (file)

Function: closefile2 FILE
Package

ops

Source

ops-io.lisp (file)

Function: cmp-and ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-any ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-atomic ()
Package

ops

Source

ops-compile.lisp (file)

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

ops

Source

ops-compile.lisp (file)

Function: cmp-beta KIND
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-ce ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-ce+cevar ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-cevar ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-constant TEST
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-element ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-negce ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-new-eq-var NAME OLD
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-new-var NAME TEST
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-nobeta ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-not ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-number TEST
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-old-eq-var TEST OLD
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-p NAME MATRIX
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-posce ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-prin ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-product ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-symbol TEST
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-tab ()
Package

ops

Source

ops-compile.lisp (file)

Function: cmp-var TEST
Package

ops

Source

ops-compile.lisp (file)

Function: compile-init ()
Package

ops

Source

ops-compile.lisp (file)

Function: compile-production NAME MATRIX
Package

ops

Source

ops-compile.lisp (file)

Function: conflict A B
Package

ops

Source

ops-main.lisp (file)

Function: conflict-resolution ()
Package

ops

Source

ops-main.lisp (file)

Function: conflict-set ()
Package

ops

Source

ops-main.lisp (file)

Function: conflict-set-compare X Y
Package

ops

Source

ops-main.lisp (file)

Function: creation-time WME
Package

ops

Source

ops-rhs.lisp (file)

Function: current-field ()
Package

ops

Source

ops-compile.lisp (file)

Function: default-write-file ()
Package

ops

Source

ops-io.lisp (file)

Function: disjoint LA LB
Package

ops

Source

ops-main.lisp (file)

Function: do-continue WMI
Package

ops

Source

ops-main.lisp (file)

Function: do-rjust WIDTH VALUE PORT
Package

ops

Source

ops-io.lisp (file)

Function: do-tabto COL PORT
Package

ops

Source

ops-io.lisp (file)

Function: dsort X

Destructively sort x into descending order.

Package

ops

Source

ops-main.lisp (file)

Function: encode-ce-dope ()
Package

ops

Source

ops-compile.lisp (file)

Function: encode-dope ()
Package

ops

Source

ops-compile.lisp (file)

Function: encode-pair A B
Package

ops

Source

ops-compile.lisp (file)

Function: encode-singleton A
Package

ops

Source

ops-compile.lisp (file)

Function: end-of-ce ()
Package

ops

Source

ops-compile.lisp (file)

Function: end-of-p ()
Package

ops

Source

ops-compile.lisp (file)

Function: end-record ()
Package

ops

Source

ops-backup.lisp (file)

Function: equiv A B
Package

ops

Source

ops-compile.lisp (file)

Function: erase-literal-info CLASS
Package

ops

Source

ops-main.lisp (file)

Function: erase-literal-info2 ATT
Package

ops

Source

ops-main.lisp (file)

Function: eval-args Z
Package

ops

Source

ops-rhs.lisp (file)

Function: eval-function FORM
Package

ops

Source

ops-rhs.lisp (file)

Function: eval-nodelist NL
Package

ops

Source

ops-match.lisp (file)

Function: eval-rhs PNAME DATA
Package

ops

Source

ops-rhs.lisp (file)

Function: excise-p NAME
Package

ops

Source

ops-main.lisp (file)

Function: external2 Z
Package

ops

Source

ops-main.lisp (file)

Function: external3 X
Package

ops

Source

ops-main.lisp (file)

Function: externalp X
Package

ops

Source

ops-compile.lisp (file)

Function: field-name NUM
Package

ops

Source

ops-compile.lisp (file)

Function: filter ELM
Package

ops

Source

ops-io.lisp (file)

Function: find-common-atom LA LB
Package

ops

Source

ops-main.lisp (file)

Function: find-equiv-beta-node NODE LIST
Package

ops

Source

ops-compile.lisp (file)

Function: find-equiv-node NODE LIST
Package

ops

Source

ops-compile.lisp (file)

Function: find-left-mem NODE
Package

ops

Source

ops-main.lisp (file)

Function: find-right-mem NODE
Package

ops

Source

ops-main.lisp (file)

Function: finish-literalize ()
Package

ops

Source

ops-main.lisp (file)

Function: flat-value X
Package

ops

Source

ops-io.lisp (file)

Function: fudge ()
Package

ops

Source

ops-compile.lisp (file)

Function: fudge* Z
Package

ops

Source

ops-compile.lisp (file)

Function: gelm X K
Package

ops

Source

ops-util.lisp (file)

Function: genatom ()
Package

ops

Source

ops-rhs.lisp (file)

Function: get-bind X
Package

ops

Source

ops-compile.lisp (file)

Function: get-ce-var-bind X
Package

ops

Source

ops-rhs.lisp (file)

Function: get-num-ce X
Package

ops

Source

ops-rhs.lisp (file)

Function: get-wm Z
Package

ops

Source

ops-rhs.lisp (file)

Function: getupto END
Package

ops

Source

ops-io.lisp (file)

Function: getval ()
Package

ops

Source

ops-io.lisp (file)

Function: halt ()
Package

ops

Source

ops-rhs.lisp (file)

Function: have-compiled-production ()
Package

ops

Source

ops-main.lisp (file)

Function: ident X Y
Package

ops

Source

ops-io.lisp (file)

Function: incr-subnum ()
Package

ops

Source

ops-compile.lisp (file)

Function: infile F_NAME
Package

ops

Source

ops-io.lisp (file)

Function: init-ce-var-mem VLIST
Package

ops

Source

ops-rhs.lisp (file)

Function: init-var-mem VLIST
Package

ops

Source

ops-rhs.lisp (file)

Function: initialize-record ()
Package

ops

Source

ops-backup.lisp (file)

Function: insertcs NAME DATA RATING
Package

ops

Source

ops-main.lisp (file)

Function: instantiation CONFLICT-ELEM
Package

ops

Source

ops-main.lisp (file)

Function: io-init ()
Package

ops

Source

ops-io.lisp (file)

Function: is-vector-attribute ATT
Package

ops

Source

ops-globals.lisp (file)

Function: kill-node NODE
Package

ops

Source

ops-main.lisp (file)

Function: left-outs NODE
Package

ops

Source

ops-compile.lisp (file)

Function: lex ()
Package

ops

Source

ops-compile.lisp (file)

Package

ops

Source

ops-compile.lisp (file)

Package

ops

Source

ops-compile.lisp (file)

Package

ops

Source

ops-compile.lisp (file)

Package

ops

Source

ops-compile.lisp (file)

Package

ops

Source

ops-compile.lisp (file)

Function: literal-binding-of NAME
Package

ops

Source

ops-main.lisp (file)

Function: main ()
Package

ops

Source

ops-main.lisp (file)

Function: main-init ()
Package

ops

Source

ops-main.lisp (file)

Function: make-bottom-node ()
Package

ops

Source

ops-compile.lisp (file)

Function: make-ce-var-bind VAR ELEM
Package

ops

Source

ops-rhs.lisp (file)

Function: make-nums K
Package

ops

Source

ops-main.lisp (file)

Function: make-var-bind VAR ELEM
Package

ops

Source

ops-rhs.lisp (file)

Function: mapwm FN
Package

ops

Source

ops-rhs.lisp (file)

Function: mark-conflicts REM ALL
Package

ops

Source

ops-main.lisp (file)

Function: mark-conflicts2 ATM LST
Package

ops

Source

ops-main.lisp (file)

Function: match-init ()
Package

ops

Source

ops-match.lisp (file)

Function: matches2 P
Package

ops

Source

ops-main.lisp (file)

Function: matches3 NODES CE PART
Package

ops

Source

ops-main.lisp (file)

Function: memory-part MEM-NODE
Package

ops

Source

ops-compile.lisp (file)

Function: new-subnum K
Package

ops

Source

ops-compile.lisp (file)

Function: not-left OUTS MEM TESTS OWN-MEM
Package

ops

Source

ops-match.lisp (file)

Function: not-right OUTS MEM TESTS
Package

ops

Source

ops-match.lisp (file)

Function: note-ce-variable CE-VAR
Package

ops

Source

ops-compile.lisp (file)

Function: note-user-assigns CLASS
Package

ops

Source

ops-main.lisp (file)

Function: note-user-assigns2 ATT
Package

ops

Source

ops-main.lisp (file)

Function: note-user-vector-assigns ATT GIVEN NEEDED
Package

ops

Source

ops-main.lisp (file)

Function: note-variable VAR
Package

ops

Source

ops-compile.lisp (file)

Function: ops-accept Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-acceptline Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-arith Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-bind Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-build Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-call Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-cbind Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-closefile Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-compute Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-crlf Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-cs Z
Package

ops

Source

ops-main.lisp (file)

Function: ops-default Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-excise Z
Package

ops

Source

ops-main.lisp (file)

Function: ops-external Z
Package

ops

Source

ops-main.lisp (file)

Function: ops-init ()
Package

ops

Source

ops-init.lisp (file)

Function: ops-literal Z
Package

ops

Source

ops-main.lisp (file)

Function: ops-literalize L
Package

ops

Source

ops-main.lisp (file)

Function: ops-litval Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-make Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-matches RULE-LIST
Package

ops

Source

ops-main.lisp (file)

Function: ops-modify Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-openfile Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-p Z
Package

ops

Source

ops-compile.lisp (file)

Function: ops-pbreak Z
Package

ops

Source

ops-main.lisp (file)

Function: ops-pm Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-ppwm AVLIST
Package

ops

Source

ops-io.lisp (file)

Function: ops-remove Z
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-rjust Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-run Z
Package

ops

Source

ops-main.lisp (file)

Function: ops-strategy Z
Package

ops

Source

ops-main.lisp (file)

Function: ops-substr L
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-tabto Z
Package

ops

Source

ops-io.lisp (file)

Function: ops-vector-attribute L
Package

ops

Source

ops-main.lisp (file)

Function: ops-watch Z
Package

ops

Source

ops-main.lisp (file)

Function: ops-wm A
Package

ops

Source

ops-rhs.lisp (file)

Function: ops-write Z
Package

ops

Source

ops-io.lisp (file)

Function: order-part CONFLICT-ELEM
Package

ops

Source

ops-main.lisp (file)

Function: order-tags DAT
Package

ops

Source

ops-main.lisp (file)

Function: outfile F_NAME
Package

ops

Source

ops-io.lisp (file)

Function: pbreak2 RULE
Package

ops

Source

ops-main.lisp (file)

Function: peek-lex ()
Package

ops

Source

ops-compile.lisp (file)

Function: peek-sublex ()
Package

ops

Source

ops-compile.lisp (file)

Function: pname-instantiation CONFLICT-ELEM
Package

ops

Source

ops-main.lisp (file)

Function: ppattval ()
Package

ops

Source

ops-io.lisp (file)

Function: ppelm ELM PORT
Package

ops

Source

ops-io.lisp (file)

Function: ppline LINE
Package

ops

Source

ops-io.lisp (file)

Function: ppline2 ()
Package

ops

Source

ops-io.lisp (file)

Function: pponlyval ()
Package

ops

Source

ops-io.lisp (file)

Function: pprule NAME
Package

ops

Source

ops-io.lisp (file)

Function: ppval VAL ATT LASTPOS PORT
Package

ops

Source

ops-io.lisp (file)

Function: ppwm2 ELM-TAG
Package

ops

Source

ops-io.lisp (file)

Function: prepare-lex PROD
Package

ops

Source

ops-compile.lisp (file)

Function: prepare-sublex CE
Package

ops

Source

ops-compile.lisp (file)

Function: print-times MESS
Package

ops

Source

ops-main.lisp (file)

Function: process-changes ADDS DELS
Package

ops

Source

ops-main.lisp (file)

Function: promote-var DOPE
Package

ops

Source

ops-compile.lisp (file)

Function: protomem ()
Package

ops

Source

ops-compile.lisp (file)

Function: put-ppdat CLASS
Package

ops

Source

ops-main.lisp (file)

Function: rating-part PNODE
Package

ops

Source

ops-compile.lisp (file)

Function: real-add-token LIS DATA-PART NUM
Package

ops

Source

ops-match.lisp (file)

Function: record-change DIRECT TIME ELM
Package

ops

Source

ops-backup.lisp (file)

Function: record-index-plus K
Package

ops

Source

ops-backup.lisp (file)

Function: record-refract RULE DATA
Package

ops

Source

ops-backup.lisp (file)

Function: refracted RULE DATA
Package

ops

Source

ops-backup.lisp (file)

Function: refresh ()
Package

ops

Source

ops-rhs.lisp (file)

Function: refresh-add X
Package

ops

Source

ops-rhs.lisp (file)

Function: refresh-collect X
Package

ops

Source

ops-rhs.lisp (file)

Function: refresh-del X
Package

ops

Source

ops-rhs.lisp (file)

Function: rematm ATM LIST
Package

ops

Source

ops-main.lisp (file)

Function: remove-from-conflict-set NAME
Package

ops

Source

ops-main.lisp (file)

Function: remove-from-wm WME
Package

ops

Source

ops-rhs.lisp (file)

Function: remove-old LIS DATA NUM
Package

ops

Source

ops-match.lisp (file)

Function: remove-old-no-num LIS DATA
Package

ops

Source

ops-match.lisp (file)

Function: remove-old-num LIS DATA
Package

ops

Source

ops-match.lisp (file)

Function: removecs NAME DATA
Package

ops

Source

ops-main.lisp (file)

Function: rest-of-ce ()
Package

ops

Source

ops-compile.lisp (file)

Function: rest-of-p ()
Package

ops

Source

ops-compile.lisp (file)

Function: rhs-init ()
Package

ops

Source

ops-rhs.lisp (file)

Function: rhs-part PNODE
Package

ops

Source

ops-compile.lisp (file)

Function: rhs-tab Z
Package

ops

Source

ops-rhs.lisp (file)

Function: right-outs NODE
Package

ops

Source

ops-compile.lisp (file)

Function: sendto FLAG DATA SIDE NL
Package

ops

Source

ops-match.lisp (file)

Function: set-vector-attribute ATT
Package

ops

Source

ops-globals.lisp (file)

Function: still-present DATA
Package

ops

Source

ops-backup.lisp (file)

Function: store-binding NAME LIT
Package

ops

Source

ops-main.lisp (file)

Function: sublex ()
Package

ops

Source

ops-compile.lisp (file)

Function: teqa OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: teqb NEW EQVAR
Package

ops

Source

ops-match.lisp (file)

Function: teqn OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: teqs OUTS VARA VARB
Package

ops

Source

ops-match.lisp (file)

Function: test-attribute-names L
Package

ops

Source

ops-main.lisp (file)

Function: test-attribute-names2 ATM
Package

ops

Source

ops-main.lisp (file)

Function: tgeb NEW EQVAR
Package

ops

Source

ops-match.lisp (file)

Function: tgen OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: tges OUTS VARA VARB
Package

ops

Source

ops-match.lisp (file)

Function: tgtb NEW EQVAR
Package

ops

Source

ops-match.lisp (file)

Function: tgtn OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: tgts OUTS VARA VARB
Package

ops

Source

ops-match.lisp (file)

Function: time-tag-print DATA PORT
Package

ops

Source

ops-rhs.lisp (file)

Function: tleb NEW EQVAR
Package

ops

Source

ops-match.lisp (file)

Function: tlen OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: tles OUTS VARA VARB
Package

ops

Source

ops-match.lisp (file)

Function: tltb NEW EQVAR
Package

ops

Source

ops-match.lisp (file)

Function: tltn OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: tlts OUTS VARA VARB
Package

ops

Source

ops-match.lisp (file)

Function: tnea OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: tneb NEW EQVAR
Package

ops

Source

ops-match.lisp (file)

Function: tnen OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: tnes OUTS VARA VARB
Package

ops

Source

ops-match.lisp (file)

Function: top-level-remove Z
Package

ops

Source

ops-main.lisp (file)

Function: top-levels-eq LA LB
Package

ops

Source

ops-util.lisp (file)

Function: trace-file ()
Package

ops

Source

ops-io.lisp (file)

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

Function: txxa OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: txxb NEW EQVAR
Package

ops

Source

ops-match.lisp (file)

Function: txxn OUTS REGISTER CONSTANT
Package

ops

Source

ops-match.lisp (file)

Function: txxs OUTS VARA VARB
Package

ops

Source

ops-match.lisp (file)

Function: undo-record R
Package

ops

Source

ops-backup.lisp (file)

Function: unflat X
Package

ops

Source

ops-rhs.lisp (file)

Function: unflat* ()
Package

ops

Source

ops-rhs.lisp (file)

Function: use-result-array ()

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

Package

ops

Source

ops-rhs.lisp (file)

Function: var-part PNODE
Package

ops

Source

ops-compile.lisp (file)

Function: variablep X
Package

ops

Source

ops-util.lisp (file)

Function: wm-hash X
Package

ops

Source

ops-rhs.lisp (file)

Function: write-elms WME-OR-COUNT
Package

ops

Source

ops-main.lisp (file)

Function: write-elms2 X
Package

ops

Source

ops-main.lisp (file)


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

Appendix A Indexes


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

A.1 Concepts

Jump to:   F   L   O  
Index Entry  Section

F
File, Lisp, ops5.asd: The ops5․asd file
File, Lisp, ops5/ops-backup.lisp: The ops5/ops-backup․lisp file
File, Lisp, ops5/ops-compile.lisp: The ops5/ops-compile․lisp file
File, Lisp, ops5/ops-globals.lisp: The ops5/ops-globals․lisp file
File, Lisp, ops5/ops-init.lisp: The ops5/ops-init․lisp file
File, Lisp, ops5/ops-io.lisp: The ops5/ops-io․lisp file
File, Lisp, ops5/ops-main.lisp: The ops5/ops-main․lisp file
File, Lisp, ops5/ops-match.lisp: The ops5/ops-match․lisp file
File, Lisp, ops5/ops-rhs.lisp: The ops5/ops-rhs․lisp file
File, Lisp, ops5/ops-util.lisp: The ops5/ops-util․lisp file
File, Lisp, ops5/ops.lisp: The ops5/ops․lisp file
File, Lisp, ops5/package.lisp: The ops5/package․lisp file

L
Lisp File, ops5.asd: The ops5․asd file
Lisp File, ops5/ops-backup.lisp: The ops5/ops-backup․lisp file
Lisp File, ops5/ops-compile.lisp: The ops5/ops-compile․lisp file
Lisp File, ops5/ops-globals.lisp: The ops5/ops-globals․lisp file
Lisp File, ops5/ops-init.lisp: The ops5/ops-init․lisp file
Lisp File, ops5/ops-io.lisp: The ops5/ops-io․lisp file
Lisp File, ops5/ops-main.lisp: The ops5/ops-main․lisp file
Lisp File, ops5/ops-match.lisp: The ops5/ops-match․lisp file
Lisp File, ops5/ops-rhs.lisp: The ops5/ops-rhs․lisp file
Lisp File, ops5/ops-util.lisp: The ops5/ops-util․lisp file
Lisp File, ops5/ops.lisp: The ops5/ops․lisp file
Lisp File, ops5/package.lisp: The ops5/package․lisp file

O
ops5.asd: The ops5․asd file
ops5/ops-backup.lisp: The ops5/ops-backup․lisp file
ops5/ops-compile.lisp: The ops5/ops-compile․lisp file
ops5/ops-globals.lisp: The ops5/ops-globals․lisp file
ops5/ops-init.lisp: The ops5/ops-init․lisp file
ops5/ops-io.lisp: The ops5/ops-io․lisp file
ops5/ops-main.lisp: The ops5/ops-main․lisp file
ops5/ops-match.lisp: The ops5/ops-match․lisp file
ops5/ops-rhs.lisp: The ops5/ops-rhs․lisp file
ops5/ops-util.lisp: The ops5/ops-util․lisp file
ops5/ops.lisp: The ops5/ops․lisp file
ops5/package.lisp: The ops5/package․lisp file

Jump to:   F   L   O  

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: Internal functions
$change: Internal functions
$ifile: Internal functions
$litbind: Internal functions
$ofile: Internal functions
$parameter: Internal functions
$parametercount: Internal functions
$reset: Internal functions
$tab: Internal functions
$value: Internal functions
$varbind: Internal functions

%
%error: Internal functions
%warn: Internal functions

&
&and: Internal functions
&any: Internal functions
&bus: Internal functions
&mem: Internal functions
&not: Internal functions
&old: Internal functions
&p: Internal functions
&two: Internal functions

=
==: Internal macros
=alg: Internal macros

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

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

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

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

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

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

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

H
halt: Internal functions
have-compiled-production: Internal functions

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

K
kill-node: Internal functions

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

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

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

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

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

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

S
sendto: Internal functions
set-vector-attribute: Internal functions
still-present: Internal functions
store-binding: Internal functions
strategy: Exported macros
sublex: Internal functions
substr: Internal macros

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

U
undo-record: Internal functions
unflat: Internal functions
unflat*: Internal functions
use-result-array: Internal functions

V
var-dope: Internal macros
var-part: Internal functions
variablep: Internal functions
vector-attribute: Exported macros

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

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

Jump to:   *  
S  

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

A.4 Data types

Jump to:   O   P   S  
Index Entry  Section

O
ops: The ops package
ops5: The ops5 system

P
Package, ops: The ops package

S
System, ops5: The ops5 system

Jump to:   O   P   S