The one-more-re-nightmare Reference Manual

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

The one-more-re-nightmare Reference Manual

This is the one-more-re-nightmare Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Thu Sep 15 05:46:40 2022 GMT+0.

Table of Contents


1 Introduction

one-more-re-nightmare

one-more-re-nightmare is a regular expression engine that uses the technique presented in Regular-expression derivatives revisited to interpret and compile regular expressions. We use a few tricks to make matching quite fast:

Thanks to Gilbert Baumann for suggesting I use derivatives to compile regular expressions, and then for informing me of how to handle submatching properly, and my discrete mathematics teachers for formally introducing me to finite state machines.

Please see the reference book for how to use one-more-re-nightmare, or an article on the history and theory involved.

While the syntax is admittedly wonky (but somewhat more like how regular expressions are presented in papers), one-more-re-nightmare makes its best effort to implement POSIX semantics for matching (as described in the specification for how regcomp works and regular expression definitions). Any behaviour contrary to POSIX is a bug.

A lousy benchmark

CL-USER> (let ((s (make-string 1000000 :initial-element #\a)))
           (setf (aref s 333333) #\b)
           (setf (aref s 555555) #\c)
           (the-cost-of-nothing:bench
            (all-string-matches "ab|ac" s)))

CL-USER> (let ((s (make-string 1000000 :initial-element #\a)))
           (setf (aref s 333333) #\b)
           (setf (aref s 555555) #\c)
           (the-cost-of-nothing:bench
            (cl-ppcre:all-matches-as-strings "ab|ac" s)))

Note that, by nature of calling the Common Lisp compiler, one-more-re-nightmare will take longer to compile a regular expression, so it is better suited for many matching operations with few expressions. It does cache compiled expressions when using the high-level interface, so the initial cost may amortize well over many calls; and constant regular expression strings are compiled at compile-time, with no runtime overhead whatsoever.

| engine | SBCL | Clozure CL | SBCL with AVX2 | ditto, SIMPLE-BASE-STRING | |------------------|-----------|------------|----------------|---------------------------| | o-m-r-n | 0.57ms | 2.93ms | 0.18ms | 55µs | | compilation time | 4.65ms | 3.76ms | 6.82ms | 6.43ms | | cl-ppcre | 22.8ms | 45.3ms | 22.8ms | 21.6ms | | break even after | 209kchars | 88.7kchars | 301kchars | 305kchars |


2 Systems

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


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

2.1 one-more-re-nightmare

A regular expression compiler

Author

Hayley Patton

License

BSD 2-clause

Dependencies
  • trivia (system).
  • alexandria (system).
  • babel (system).
  • esrap (system).
  • trivial-indent (system).
  • dynamic-mixins (system).
  • stealth-mixin (system).
  • bordeaux-threads (system).
Source

one-more-re-nightmare.asd.

Child Components

3 Modules

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


3.1 one-more-re-nightmare/DFA-construction

Dependency

package.lisp (file).

Source

one-more-re-nightmare.asd.

Parent Component

one-more-re-nightmare (system).

Child Components

3.2 one-more-re-nightmare/Compiler

Dependency

dfa-construction (module).

Source

one-more-re-nightmare.asd.

Parent Component

one-more-re-nightmare (system).

Child Components

3.3 one-more-re-nightmare/Interface

Dependency

compiler (module).

Source

one-more-re-nightmare.asd.

Parent Component

one-more-re-nightmare (system).

Child Components

4 Files

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


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

4.1 Lisp


4.1.1 one-more-re-nightmare/one-more-re-nightmare.asd

Source

one-more-re-nightmare.asd.

Parent Component

one-more-re-nightmare (system).

ASDF Systems

one-more-re-nightmare.


4.1.2 one-more-re-nightmare/package.lisp

Source

one-more-re-nightmare.asd.

Parent Component

one-more-re-nightmare (system).

Packages

one-more-re-nightmare.


4.1.3 one-more-re-nightmare/DFA-construction/type.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

4.1.4 one-more-re-nightmare/DFA-construction/sets.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

4.1.5 one-more-re-nightmare/DFA-construction/re-types.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Public Interface
Internals

4.1.6 one-more-re-nightmare/DFA-construction/nullable.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

4.1.7 one-more-re-nightmare/DFA-construction/derivative.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

4.1.8 one-more-re-nightmare/DFA-construction/derivative-classes.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

4.1.9 one-more-re-nightmare/DFA-construction/empty.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

re-empty-p (function).


4.1.10 one-more-re-nightmare/DFA-construction/effects.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

4.1.11 one-more-re-nightmare/DFA-construction/similar.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

4.1.12 one-more-re-nightmare/DFA-construction/tag-sets.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Internals

4.1.13 one-more-re-nightmare/DFA-construction/make-dfa.lisp

Source

one-more-re-nightmare.asd.

Parent Component

dfa-construction (module).

Public Interface

print-object (method).

Internals

4.1.14 one-more-re-nightmare/Compiler/layout.lisp

Source

one-more-re-nightmare.asd.

Parent Component

compiler (module).

Internals

4.1.15 one-more-re-nightmare/Compiler/compilation-strategy.lisp

Source

one-more-re-nightmare.asd.

Parent Component

compiler (module).

Internals

4.1.16 one-more-re-nightmare/Compiler/length-inference.lisp

Source

one-more-re-nightmare.asd.

Parent Component

compiler (module).

Internals

4.1.17 one-more-re-nightmare/Compiler/optimize-settings.lisp

Source

one-more-re-nightmare.asd.

Parent Component

compiler (module).

Internals

4.1.18 one-more-re-nightmare/Compiler/code-generation.lisp

Source

one-more-re-nightmare.asd.

Parent Component

compiler (module).

Internals

4.1.19 one-more-re-nightmare/Interface/syntax.lisp

Source

one-more-re-nightmare.asd.

Parent Component

interface (module).

Internals

4.1.20 one-more-re-nightmare/Interface/convert-to-bytes.lisp

Source

one-more-re-nightmare.asd.

Parent Component

interface (module).


4.1.21 one-more-re-nightmare/Interface/code-cache.lisp

Source

one-more-re-nightmare.asd.

Parent Component

interface (module).

Public Interface
Internals

4.1.22 one-more-re-nightmare/Interface/lint.lisp

Source

one-more-re-nightmare.asd.

Parent Component

interface (module).

Public Interface
Internals

4.1.23 one-more-re-nightmare/Interface/interface.lisp

Source

one-more-re-nightmare.asd.

Parent Component

interface (module).

Public Interface
Internals

5 Packages

Packages are listed by definition order.


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

5.1 one-more-re-nightmare

Source

package.lisp.

Use List

common-lisp.

Public Interface
Internals

6 Definitions

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


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

6.1 Public Interface


6.1.1 Macros

Macro: do-matches (((&rest registers) regular-expression vector &key start end) &body body)

Iterate over every match, binding match registers.

Package

one-more-re-nightmare.

Source

interface.lisp.


6.1.2 Compiler macros

Compiler Macro: all-matches (regular-expression vector &key start end)
Package

one-more-re-nightmare.

Source

interface.lisp.

Compiler Macro: all-string-matches (regular-expression vector &key start end)
Package

one-more-re-nightmare.

Source

interface.lisp.

Compiler Macro: compile-regular-expression (expression)
Package

one-more-re-nightmare.

Source

interface.lisp.

Compiler Macro: first-match (regular-expression vector &key start end)
Package

one-more-re-nightmare.

Source

interface.lisp.

Compiler Macro: first-string-match (regular-expression vector &key start end)
Package

one-more-re-nightmare.

Source

interface.lisp.


6.1.3 Ordinary functions

Function: all-matches (regular-expression vector &key start end)

Find every match, as a list of match vectors.

Package

one-more-re-nightmare.

Source

interface.lisp.

Function: all-string-matches (regular-expression vector &key start end)

Find every match, as a list of match string vectors.

Package

one-more-re-nightmare.

Source

interface.lisp.

Function: compile-regular-expression (expression)
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Function: first-match (regular-expression vector &key start end)

Find the first match, returning a match vector, or NIL.

Package

one-more-re-nightmare.

Source

interface.lisp.

Function: first-string-match (regular-expression vector &key start end)

Find the first match, returning a match string vector or NIL

Package

one-more-re-nightmare.

Source

interface.lisp.


6.1.4 Standalone methods

Method: print-object ((cre compiled-regular-expression) stream)
Source

code-cache.lisp.

Method: print-object ((instance join) stream)
Source

re-types.lisp.

Method: print-object ((instance empty-string) stream)
Source

re-types.lisp.

Method: print-object ((instance repeat) stream)
Source

re-types.lisp.

Method: print-object ((instance literal) stream)
Source

re-types.lisp.

Method: print-object ((instance alpha) stream)
Source

re-types.lisp.

Method: print-object ((state state) stream)
Source

make-dfa.lisp.

Method: print-object ((instance grep) stream)
Source

re-types.lisp.

Method: print-object ((instance tag-set) stream)
Source

re-types.lisp.

Method: print-object ((instance invert) stream)
Source

re-types.lisp.

Method: print-object ((instance either) stream)
Source

re-types.lisp.

Method: print-object ((instance both) stream)
Source

re-types.lisp.


6.1.5 Conditions

Condition: lint-style-warning
Package

one-more-re-nightmare.

Source

lint.lisp.

Direct superclasses

style-warning.

Direct subclasses
Condition: matching-too-much-style-warning
Package

one-more-re-nightmare.

Source

lint.lisp.

Direct superclasses

lint-style-warning.

Direct subclasses
Condition: not-matchable-style-warning
Package

one-more-re-nightmare.

Source

lint.lisp.

Direct superclasses

lint-style-warning.

Direct subclasses

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

6.1.6 Structures

Structure: compiled-regular-expression
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Direct superclasses

structure-object.

Direct methods

print-object.

Direct slots
Slot: codes
Type

simple-vector

Initform

(alexandria:required-argument)

Readers

cre-codes.

Writers

(setf cre-codes).

Slot: original-re
Readers

cre-original-re.

Writers

(setf cre-original-re).


6.2 Internals


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

6.2.1 Constants

Constant: +empty-set+
Package

one-more-re-nightmare.

Source

sets.lisp.

Constant: +uncomputed+
Package

one-more-re-nightmare.

Source

type.lisp.

Constant: +universal-set+
Package

one-more-re-nightmare.

Source

sets.lisp.


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

6.2.2 Special variables

Special Variable: *allow-alpha*
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Special Variable: *alpha-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *backward-environment*
Package

one-more-re-nightmare.

Source

similar.lisp.

Special Variable: *both-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *code-cache*
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Special Variable: *code-lock*
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Special Variable: *code-type*
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Special Variable: *compiler-state*
Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Special Variable: *default-layout*
Package

one-more-re-nightmare.

Source

layout.lisp.

Special Variable: *derivative*
Package

one-more-re-nightmare.

Source

derivative.lisp.

Special Variable: *derivative-classes*
Package

one-more-re-nightmare.

Source

derivative-classes.lisp.

Special Variable: *either-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *empty-string-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *environment*
Package

one-more-re-nightmare.

Source

similar.lisp.

Special Variable: *gensym-assignments?*
Package

one-more-re-nightmare.

Source

nullable.lisp.

Special Variable: *grep-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *group-strings*
Package

one-more-re-nightmare.

Source

syntax.lisp.

Special Variable: *invert-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *join-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *layout*
Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Special Variable: *literal-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *next-group*
Package

one-more-re-nightmare.

Source

syntax.lisp.

Special Variable: *nowhere*
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Special Variable: *optimize-settings*
Package

one-more-re-nightmare.

Source

optimize-settings.lisp.

Special Variable: *probably-bad-limit*
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Special Variable: *repeat-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *string-types*
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Special Variable: *subscripts*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *table-names*
Package

one-more-re-nightmare.

Source

type.lisp.

Special Variable: *tag-gensym-counter*
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Special Variable: *tag-set-table*
Package

one-more-re-nightmare.

Source

re-types.lisp.

Special Variable: *type-dispatcher*
Package

one-more-re-nightmare.

Source

code-cache.lisp.


6.2.3 Macros

Macro: clear-global-tables ()

Set up global tables for testing.

Package

one-more-re-nightmare.

Source

type.lisp.

Macro: collect ((function) &body body)
Package

one-more-re-nightmare.

Source

interface.lisp.

Macro: define-hash-consing-table (name)
Package

one-more-re-nightmare.

Source

type.lisp.

Macro: define-rewrites ((name &rest slots) &key simplify hash-cons printer)
Package

one-more-re-nightmare.

Source

type.lisp.

Macro: define-types (&body types)
Package

one-more-re-nightmare.

Source

type.lisp.

Macro: isum-case (var less-than equal &body clauses)
Package

one-more-re-nightmare.

Source

sets.lisp.

Macro: isum-op (op a b)

Combine the sets A and B by the Boolean operator op, which should be a
valid argument to the BOOLE function. An integer x is member of the
resulting set iff
(logbitp 0 (boole op (if (isum-member x A) 1 0) (if (isum-member x B) 1 0))) is non-NIL. That way e.g. boole-ior denotes the union.

Package

one-more-re-nightmare.

Source

sets.lisp.

Macro: with-code (((function size) code) &body body)
Package

one-more-re-nightmare.

Source

interface.lisp.

Macro: with-code-for-vector ((function size vector regular-expression bailout-form) &body body)
Package

one-more-re-nightmare.

Source

interface.lisp.

Macro: with-hash-consing ((table key) &body body)
Package

one-more-re-nightmare.

Source

type.lisp.

Macro: with-hash-consing-tables (() &body body)
Package

one-more-re-nightmare.

Source

type.lisp.

Macro: with-naughty-compiler-switches (() &body body)
Package

one-more-re-nightmare.

Source

optimize-settings.lisp.

Macro: with-slot-consing ((accessor object &key when) &body body)
Package

one-more-re-nightmare.

Source

type.lisp.


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

6.2.4 Ordinary functions

Function: %all-matches (function size vector start end)
Package

one-more-re-nightmare.

Source

interface.lisp.

Function: %alpha (expression history)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %both (r s)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %compile-regular-expression (expression &key layout strategy)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: %either (r s)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %empty-string ()
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %first-match (function size vector start end)
Package

one-more-re-nightmare.

Source

interface.lisp.

Function: %grep (vector prototype)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %invert (r)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %join (r s)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %literal (set)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %repeat (r min max can-empty)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: %similar (from to)
Package

one-more-re-nightmare.

Source

similar.lisp.

Function: %tag-set (substitutions)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: add-tags (expression)
Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Function: add-transition (class last-state next-state tags-to-set)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Function: alpha (expression history)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: assert-equivalent (from to)
Package

one-more-re-nightmare.

Source

similar.lisp.

Function: assert-equivalent-sources (from to)

Ensure that we don’t unify POSITION and a variable, or two different variables.

Package

one-more-re-nightmare.

Source

similar.lisp.

Function: both (r s)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: cached-nullable* (re)
Package

one-more-re-nightmare.

Source

nullable.lisp.

Function: (setf cached-nullable*) (re)
Package

one-more-re-nightmare.

Source

nullable.lisp.

Function: check-empty-matches (dfa)
Package

one-more-re-nightmare.

Source

lint.lisp.

Function: check-liveness (dfa groups group-strings)
Package

one-more-re-nightmare.

Source

lint.lisp.

Function: clear-registers (expression)
Package

one-more-re-nightmare.

Source

syntax.lisp.

Function: compiled-regular-expression-p (object)
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Function: compute-minimum-lengths (states)
Package

one-more-re-nightmare.

Source

length-inference.lisp.

Function: compute-predecessor-lists (states)
Package

one-more-re-nightmare.

Source

length-inference.lisp.

Function: constant-safe-to-eval-p (form)
Package

one-more-re-nightmare.

Source

interface.lisp.

Function: copy-compiled-regular-expression (instance)
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Function: copy-layout (instance)
Package

one-more-re-nightmare.

Source

layout.lisp.

Function: copy-transition (instance)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Reader: cre-codes (instance)
Writer: (setf cre-codes) (instance)
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Target Slot

codes.

Reader: cre-original-re (instance)
Writer: (setf cre-original-re) (instance)
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Target Slot

original-re.

Function: derivative (re set)

Compute the derivative of a regular expression with regards to the set (i.e. the regular expression should be matched after a character in the set is matched).

Package

one-more-re-nightmare.

Source

derivative.lisp.

Function: derivative* (re sequence &key search)
Package

one-more-re-nightmare.

Source

derivative.lisp.

Function: derivative-classes (re)

Produce a list of the ’classes’ (sets) of characters that compiling the regular expression would have to dispatch on.

Package

one-more-re-nightmare.

Source

derivative-classes.lisp.

Function: effects (re)
Package

one-more-re-nightmare.

Source

effects.lisp.

Function: either (r s)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: empty-set ()
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: empty-string ()
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: find-code (regular-expression type-specifier)
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Function: find-in-map (variable-name map)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: find-similar-state (states state)

Find another state which we can re-use with some transformation, returning that state and the required transformation.

Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Function: find-state-name (state &optional entry-point)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: find-variable-name (variable)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: fold-or (form next)

Manually constant fold out (OR A NIL) to A. The compiler can do this, but generated code looks nicer with folding.

Package

one-more-re-nightmare.

Source

sets.lisp.

Function: gensym-position-assignments (set)

Replicate any assignments, turning T_n <- s for all s into T^r_n <- T_n for some arbitrary r

Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: grep (match-vector prototype)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: group (r n)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: has-literals-p (re)
Package

one-more-re-nightmare.

Source

effects.lisp.

Function: has-tags-p (re)
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: invert (r)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: join (r s)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: keep-used-assignments (new-re assignments)
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: kleene (r)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Reader: layout-array-type (instance)
Writer: (setf layout-array-type) (instance)
Package

one-more-re-nightmare.

Source

layout.lisp.

Target Slot

array-type.

Reader: layout-equal (instance)
Writer: (setf layout-equal) (instance)
Package

one-more-re-nightmare.

Source

layout.lisp.

Target Slot

equal.

Reader: layout-from-number (instance)
Writer: (setf layout-from-number) (instance)
Package

one-more-re-nightmare.

Source

layout.lisp.

Target Slot

from-number.

Reader: layout-less (instance)
Writer: (setf layout-less) (instance)
Package

one-more-re-nightmare.

Source

layout.lisp.

Target Slot

less.

Reader: layout-less-or-equal (instance)
Writer: (setf layout-less-or-equal) (instance)
Package

one-more-re-nightmare.

Source

layout.lisp.

Target Slot

less-or-equal.

Function: layout-p (object)
Package

one-more-re-nightmare.

Source

layout.lisp.

Reader: layout-ref (instance)
Writer: (setf layout-ref) (instance)
Package

one-more-re-nightmare.

Source

layout.lisp.

Target Slot

ref.

Reader: layout-to-number (instance)
Writer: (setf layout-to-number) (instance)
Package

one-more-re-nightmare.

Source

layout.lisp.

Target Slot

to-number.

Function: lint-regular-expression (expression)
Package

one-more-re-nightmare.

Source

lint.lisp.

Function: literal (set)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: make-body-from-dfa (strategy states)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: make-compiled-regular-expression (&key codes original-re)
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Function: make-default-strategy (layout expression)
Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Function: make-dfa-from-expression (expression)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Function: make-dfa-from-expressions (expressions)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Function: make-lambda-form (expression strategy groups)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: make-layout (&key array-type ref from-number to-number less less-or-equal equal)
Package

one-more-re-nightmare.

Source

layout.lisp.

Function: make-search-machine (expression)
Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Function: make-test-form (isum variable less-or-equal equal)
Package

one-more-re-nightmare.

Source

sets.lisp.

Function: make-transition (&key class next-state tags-to-set)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Function: map-tags (f re)
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: match-vector-size (groups)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: merge-sets (sets1 sets2)

Produce a list of every subset of sets1 and sets2.

Package

one-more-re-nightmare.

Source

derivative-classes.lisp.

Function: merge-tag-sets (set1 set2)
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: next-group ()
Package

one-more-re-nightmare.

Source

syntax.lisp.

Function: nullable (re)

(language-of (nullable RE)) = (language-of (both RE (empty-string)))

Package

one-more-re-nightmare.

Source

nullable.lisp.

Function: parse-regular-expression (string)
Package

one-more-re-nightmare.

Source

syntax.lisp.

Function: peephole-optimize (assignments used-tags)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Function: print-isum (isum stream)
Package

one-more-re-nightmare.

Source

sets.lisp.

Function: re-empty-p (re)

Is a regular expression basically an empty string?
This is different to NULLABLE, yes, NULLABLE would accept e.g. a* or anything that is a superset of { "" }, but this accepts only the empty string (± tags).

Package

one-more-re-nightmare.

Source

empty.lisp.

Function: re-groups (regular-expression)
Package

one-more-re-nightmare.

Source

interface.lisp.

Function: re-stopped-p (re)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Function: remove-tags (re)
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: repeat (r min max can-empty)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: scan-either-for-duplicates (r s)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: set-intersection (a b)
Package

one-more-re-nightmare.

Source

sets.lisp.

Function: set-inverse (a)
Package

one-more-re-nightmare.

Source

sets.lisp.

Function: set-null (isum)
Package

one-more-re-nightmare.

Source

sets.lisp.

Function: set-union (a b)
Package

one-more-re-nightmare.

Source

sets.lisp.

Function: setf-from-assignments (assignments)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: similar (from to)
Package

one-more-re-nightmare.

Source

similar.lisp.

Function: singleton-set (x)

Returns the ISUM, that contains only /x/.

Package

one-more-re-nightmare.

Source

sets.lisp.

Function: state-never-succeeds-p (state)
Package

one-more-re-nightmare.

Source

length-inference.lisp.

Function: string-type-of (string)
Package

one-more-re-nightmare.

Source

code-cache.lisp.

Function: subscripts (number)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: subsequences (vector match-vector)
Package

one-more-re-nightmare.

Source

interface.lisp.

Function: symbol-range (from below)

Returns the ISUM, that contains every code point that is in [from, below)

Package

one-more-re-nightmare.

Source

sets.lisp.

Function: symbol-set (&rest symbols)
Package

one-more-re-nightmare.

Source

sets.lisp.

Function: symbol-set-difference (a b)
Package

one-more-re-nightmare.

Source

sets.lisp.

Function: tag-gensym ()
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: tag-set (substitutions)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: tags (re)
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: text (vector)
Package

one-more-re-nightmare.

Source

re-types.lisp.

Reader: transition-class (instance)
Writer: (setf transition-class) (instance)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Target Slot

class.

Reader: transition-next-state (instance)
Writer: (setf transition-next-state) (instance)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Target Slot

next-state.

Function: transition-p (object)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Reader: transition-tags-to-set (instance)
Writer: (setf transition-tags-to-set) (instance)
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Target Slot

tags-to-set.

Function: try-to-evaluate-constant-re (form)
Package

one-more-re-nightmare.

Source

interface.lisp.

Function: unique-assignments (set)

Make assignments unique, turning T_n <- s for all s into T^r_n <- s

Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: unique-tags (re)
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: universal-set ()
Package

one-more-re-nightmare.

Source

re-types.lisp.

Function: used-tags (re)
Package

one-more-re-nightmare.

Source

tag-sets.lisp.

Function: variable-map-from-groups (groups)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Function: win-locations (exit-map)
Package

one-more-re-nightmare.

Source

code-generation.lisp.


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

6.2.5 Generic functions

Generic Reader: cached-has-tags-p (object)
Package

one-more-re-nightmare.

Methods
Reader Method: cached-has-tags-p ((regular-expression regular-expression))

automatically generated reader method

Source

type.lisp.

Target Slot

%has-tags-p.

Generic Writer: (setf cached-has-tags-p) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf cached-has-tags-p) ((regular-expression regular-expression))

automatically generated writer method

Source

type.lisp.

Target Slot

%has-tags-p.

Generic Reader: cached-nullable (object)
Package

one-more-re-nightmare.

Methods
Reader Method: cached-nullable ((regular-expression regular-expression))

automatically generated reader method

Source

type.lisp.

Target Slot

%nullable.

Generic Writer: (setf cached-nullable) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf cached-nullable) ((regular-expression regular-expression))

automatically generated writer method

Source

type.lisp.

Target Slot

%nullable.

Generic Reader: cached-nullable-no-gensym (object)
Package

one-more-re-nightmare.

Methods
Reader Method: cached-nullable-no-gensym ((regular-expression regular-expression))

automatically generated reader method

Source

type.lisp.

Target Slot

%nullable-no-gensym.

Generic Writer: (setf cached-nullable-no-gensym) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf cached-nullable-no-gensym) ((regular-expression regular-expression))

automatically generated writer method

Source

type.lisp.

Target Slot

%nullable-no-gensym.

Generic Reader: cached-removed-tags (object)
Package

one-more-re-nightmare.

Methods
Reader Method: cached-removed-tags ((regular-expression regular-expression))

automatically generated reader method

Source

type.lisp.

Target Slot

%removed-tags.

Generic Writer: (setf cached-removed-tags) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf cached-removed-tags) ((regular-expression regular-expression))

automatically generated writer method

Source

type.lisp.

Target Slot

%removed-tags.

Generic Reader: cached-tags (object)
Package

one-more-re-nightmare.

Methods
Reader Method: cached-tags ((regular-expression regular-expression))

automatically generated reader method

Source

type.lisp.

Target Slot

%tags.

Generic Writer: (setf cached-tags) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf cached-tags) ((regular-expression regular-expression))

automatically generated writer method

Source

type.lisp.

Target Slot

%tags.

Generic Reader: cached-used-tags (object)
Package

one-more-re-nightmare.

Methods
Reader Method: cached-used-tags ((regular-expression regular-expression))

automatically generated reader method

Source

type.lisp.

Target Slot

%used-tags.

Generic Writer: (setf cached-used-tags) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf cached-used-tags) ((regular-expression regular-expression))

automatically generated writer method

Source

type.lisp.

Target Slot

%used-tags.

Generic Function: declarations (strategy)
Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Methods
Method: declarations ((strategy call-continuation))
Generic Function: initial-states (strategy expression)

Compute a list of states to start compiling from.

Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Methods
Method: initial-states ((strategy scan-everything) expression)
Generic Function: lambda-list (strategy)

The lambda list of the function to generate.

Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Methods
Method: lambda-list ((strategy call-continuation))
Generic Function: macros-for-strategy (strategy)

A list of macros (at least using including WIN and RESTART) to use for compilation.

Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Method Combination

append.

Options

:most-specific-first

Methods
Method: macros-for-strategy append ((strategy call-continuation))
Method: macros-for-strategy append ((strategy scan-everything))
Generic Function: make-prog-parts (strategy expression)
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Methods
Method: make-prog-parts (strategy expression)
Generic Reader: minimum-length (object)
Package

one-more-re-nightmare.

Methods
Reader Method: minimum-length ((length-inference-info length-inference-info))

automatically generated reader method

Source

length-inference.lisp.

Target Slot

minimum-length.

Generic Writer: (setf minimum-length) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf minimum-length) ((length-inference-info length-inference-info))

automatically generated writer method

Source

length-inference.lisp.

Target Slot

minimum-length.

Generic Reader: next-state-name (object)
Package

one-more-re-nightmare.

Methods
Reader Method: next-state-name ((compiler-state compiler-state))

automatically generated reader method

Source

code-generation.lisp.

Target Slot

next-state-name.

Generic Writer: (setf next-state-name) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf next-state-name) ((compiler-state compiler-state))

automatically generated writer method

Source

code-generation.lisp.

Target Slot

next-state-name.

Generic Reader: predecessors (object)
Package

one-more-re-nightmare.

Methods
Reader Method: predecessors ((length-inference-info length-inference-info))

automatically generated reader method

Source

length-inference.lisp.

Target Slot

predecessors.

Generic Writer: (setf predecessors) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf predecessors) ((length-inference-info length-inference-info))

automatically generated writer method

Source

length-inference.lisp.

Target Slot

predecessors.

Generic Function: start-code (strategy states)

Part of a TAGBODY body used to start running a DFA.

Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Methods
Method: start-code :around ((strategy call-continuation) states)
Source

code-generation.lisp.

Method: start-code ((strategy scan-everything) states)
Source

code-generation.lisp.

Generic Reader: state-exit-effects (object)
Package

one-more-re-nightmare.

Methods
Reader Method: state-exit-effects ((state state))

automatically generated reader method

Source

make-dfa.lisp.

Target Slot

exit-effects.

Generic Writer: (setf state-exit-effects) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf state-exit-effects) ((state state))

automatically generated writer method

Source

make-dfa.lisp.

Target Slot

exit-effects.

Generic Reader: state-exit-map (object)
Package

one-more-re-nightmare.

Methods
Reader Method: state-exit-map ((state state))

automatically generated reader method

Source

make-dfa.lisp.

Target Slot

exit-map.

Generic Writer: (setf state-exit-map) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf state-exit-map) ((state state))

automatically generated writer method

Source

make-dfa.lisp.

Target Slot

exit-map.

Generic Reader: state-expression (object)
Package

one-more-re-nightmare.

Methods
Reader Method: state-expression ((state state))

automatically generated reader method

Source

make-dfa.lisp.

Target Slot

expression.

Generic Writer: (setf state-expression) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf state-expression) ((state state))

automatically generated writer method

Source

make-dfa.lisp.

Target Slot

expression.

Generic Reader: state-names (object)
Package

one-more-re-nightmare.

Methods
Reader Method: state-names ((compiler-state compiler-state))

automatically generated reader method

Source

code-generation.lisp.

Target Slot

state-names.

Generic Reader: state-transitions (object)
Package

one-more-re-nightmare.

Methods
Reader Method: state-transitions ((state state))

automatically generated reader method

Source

make-dfa.lisp.

Target Slot

transitions.

Generic Writer: (setf state-transitions) (object)
Package

one-more-re-nightmare.

Methods
Writer Method: (setf state-transitions) ((state state))

automatically generated writer method

Source

make-dfa.lisp.

Target Slot

transitions.

Generic Function: transition-code (strategy previous-state transition)
Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Methods
Method: transition-code (strategy previous-state transition)
Source

code-generation.lisp.

Generic Reader: variable-map (object)
Package

one-more-re-nightmare.

Methods
Reader Method: variable-map ((compiler-state compiler-state))

automatically generated reader method

Source

code-generation.lisp.

Target Slot

variable-map.

Generic Reader: variable-names (object)
Package

one-more-re-nightmare.

Methods
Reader Method: variable-names ((compiler-state compiler-state))

automatically generated reader method

Source

code-generation.lisp.

Target Slot

variable-names.

Generic Reader: warning-group-number (condition)
Package

one-more-re-nightmare.

Methods
Reader Method: warning-group-number ((condition group-not-matchable))
Source

lint.lisp.

Target Slot

n.

Generic Reader: warning-group-string (condition)
Package

one-more-re-nightmare.

Methods
Reader Method: warning-group-string ((condition group-not-matchable))
Source

lint.lisp.

Target Slot

string.


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

6.2.6 Conditions

Condition: expression-matches-empty-string
Package

one-more-re-nightmare.

Source

lint.lisp.

Direct superclasses

matching-too-much-style-warning.

Condition: expression-matches-everything
Package

one-more-re-nightmare.

Source

lint.lisp.

Direct superclasses

matching-too-much-style-warning.

Condition: expression-not-matchable
Package

one-more-re-nightmare.

Source

lint.lisp.

Direct superclasses

not-matchable-style-warning.

Condition: group-not-matchable
Package

one-more-re-nightmare.

Source

lint.lisp.

Direct superclasses

not-matchable-style-warning.

Direct methods
Direct slots
Slot: n
Initargs

:n

Readers

warning-group-number.

Writers

This slot is read-only.

Slot: string
Package

common-lisp.

Initargs

:string

Readers

warning-group-string.

Writers

This slot is read-only.

Condition: no-match
Package

one-more-re-nightmare.

Source

similar.lisp.

Direct superclasses

condition.


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

6.2.7 Structures

Structure: layout

A structure representing the type and accessors for a vector of some sort.

Package

one-more-re-nightmare.

Source

layout.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: array-type
Initform

(quote (simple-array character 1))

Readers

layout-array-type.

Writers

(setf layout-array-type).

Slot: ref
Initform

(quote aref)

Readers

layout-ref.

Writers

(setf layout-ref).

Slot: from-number
Initform

(quote code-char)

Readers

layout-from-number.

Writers

(setf layout-from-number).

Slot: to-number
Initform

(quote char-code)

Readers

layout-to-number.

Writers

(setf layout-to-number).

Slot: less
Initform

(quote <)

Readers

layout-less.

Writers

(setf layout-less).

Slot: less-or-equal
Initform

(quote <=)

Readers

layout-less-or-equal.

Writers

(setf layout-less-or-equal).

Slot: equal
Package

common-lisp.

Initform

(quote =)

Readers

layout-equal.

Writers

(setf layout-equal).

Structure: transition
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: class
Package

common-lisp.

Readers

transition-class.

Writers

(setf transition-class).

Slot: next-state
Readers

transition-next-state.

Writers

(setf transition-next-state).

Slot: tags-to-set
Readers

transition-tags-to-set.

Writers

(setf transition-tags-to-set).


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

6.2.8 Classes

Class: alpha
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: expression
Slot: history
Class: both
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: r
Slot: s
Class: call-continuation

A compilation strategy which calls a continuation when a match is found.

Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Direct superclasses

strategy.

Direct methods
Class: compiler-state
Package

one-more-re-nightmare.

Source

code-generation.lisp.

Direct methods
Direct slots
Slot: variable-names
Initform

(make-hash-table :test (quote equal))

Readers

variable-names.

Writers

This slot is read-only.

Slot: state-names
Initform

(make-hash-table :test (quote equal))

Readers

state-names.

Writers

This slot is read-only.

Slot: next-state-name
Initform

0

Readers

next-state-name.

Writers

(setf next-state-name).

Slot: variable-map
Initargs

:variable-map

Readers

variable-map.

Writers

This slot is read-only.

Class: either
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: r
Slot: s
Class: empty-string
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Class: grep
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: vector
Package

common-lisp.

Slot: prototype
Class: invert
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: r
Class: join
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: r
Slot: s
Class: length-inference-info
Package

one-more-re-nightmare.

Source

length-inference.lisp.

Direct subclasses

state.

Direct methods
Direct slots
Slot: predecessors
Readers

predecessors.

Writers

(setf predecessors).

Slot: minimum-length
Readers

minimum-length.

Writers

(setf minimum-length).

Class: literal
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: set
Package

common-lisp.

Class: regular-expression
Package

one-more-re-nightmare.

Source

type.lisp.

Direct subclasses
Direct methods
Direct slots
Slot: %nullable
Initform

one-more-re-nightmare::+uncomputed+

Readers

cached-nullable.

Writers

(setf cached-nullable).

Slot: %nullable-no-gensym
Initform

one-more-re-nightmare::+uncomputed+

Readers

cached-nullable-no-gensym.

Writers

(setf cached-nullable-no-gensym).

Slot: %used-tags
Initform

one-more-re-nightmare::+uncomputed+

Readers

cached-used-tags.

Writers

(setf cached-used-tags).

Slot: %tags
Initform

one-more-re-nightmare::+uncomputed+

Readers

cached-tags.

Writers

(setf cached-tags).

Slot: %removed-tags
Initform

one-more-re-nightmare::+uncomputed+

Readers

cached-removed-tags.

Writers

(setf cached-removed-tags).

Slot: %has-tags-p
Initform

one-more-re-nightmare::+uncomputed+

Readers

cached-has-tags-p.

Writers

(setf cached-has-tags-p).

Class: repeat
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: r
Slot: min
Package

common-lisp.

Slot: max
Package

common-lisp.

Slot: can-empty
Class: scan-everything

A compilation strategy which runs a regular expression vector over every position.

Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Direct superclasses

strategy.

Direct methods
Class: state
Package

one-more-re-nightmare.

Source

make-dfa.lisp.

Direct superclasses

length-inference-info.

Direct methods
Direct slots
Slot: exit-map
Initargs

:exit-map

Readers

state-exit-map.

Writers

(setf state-exit-map).

Slot: exit-effects
Initargs

:exit-effects

Readers

state-exit-effects.

Writers

(setf state-exit-effects).

Slot: expression
Initargs

:expression

Readers

state-expression.

Writers

(setf state-expression).

Slot: transitions
Initform

(quote nil)

Readers

state-transitions.

Writers

(setf state-transitions).

Class: strategy

A compilation strategy describes how potential matches should be searched for.

Package

one-more-re-nightmare.

Source

compilation-strategy.lisp.

Direct subclasses
Class: tag-set
Package

one-more-re-nightmare.

Source

re-types.lisp.

Direct superclasses

regular-expression.

Direct methods

print-object.

Direct slots
Slot: substitutions

Appendix A Indexes


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

A.1 Concepts


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

A.2 Functions

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

%
%all-matches: Private ordinary functions
%alpha: Private ordinary functions
%both: Private ordinary functions
%compile-regular-expression: Private ordinary functions
%either: Private ordinary functions
%empty-string: Private ordinary functions
%first-match: Private ordinary functions
%grep: Private ordinary functions
%invert: Private ordinary functions
%join: Private ordinary functions
%literal: Private ordinary functions
%repeat: Private ordinary functions
%similar: Private ordinary functions
%tag-set: Private ordinary functions

(
(setf cached-has-tags-p): Private generic functions
(setf cached-has-tags-p): Private generic functions
(setf cached-nullable): Private generic functions
(setf cached-nullable): Private generic functions
(setf cached-nullable*): Private ordinary functions
(setf cached-nullable-no-gensym): Private generic functions
(setf cached-nullable-no-gensym): Private generic functions
(setf cached-removed-tags): Private generic functions
(setf cached-removed-tags): Private generic functions
(setf cached-tags): Private generic functions
(setf cached-tags): Private generic functions
(setf cached-used-tags): Private generic functions
(setf cached-used-tags): Private generic functions
(setf cre-codes): Private ordinary functions
(setf cre-original-re): Private ordinary functions
(setf layout-array-type): Private ordinary functions
(setf layout-equal): Private ordinary functions
(setf layout-from-number): Private ordinary functions
(setf layout-less): Private ordinary functions
(setf layout-less-or-equal): Private ordinary functions
(setf layout-ref): Private ordinary functions
(setf layout-to-number): Private ordinary functions
(setf minimum-length): Private generic functions
(setf minimum-length): Private generic functions
(setf next-state-name): Private generic functions
(setf next-state-name): Private generic functions
(setf predecessors): Private generic functions
(setf predecessors): Private generic functions
(setf state-exit-effects): Private generic functions
(setf state-exit-effects): Private generic functions
(setf state-exit-map): Private generic functions
(setf state-exit-map): Private generic functions
(setf state-expression): Private generic functions
(setf state-expression): Private generic functions
(setf state-transitions): Private generic functions
(setf state-transitions): Private generic functions
(setf transition-class): Private ordinary functions
(setf transition-next-state): Private ordinary functions
(setf transition-tags-to-set): Private ordinary functions

A
add-tags: Private ordinary functions
add-transition: Private ordinary functions
all-matches: Public compiler macros
all-matches: Public ordinary functions
all-string-matches: Public compiler macros
all-string-matches: Public ordinary functions
alpha: Private ordinary functions
assert-equivalent: Private ordinary functions
assert-equivalent-sources: Private ordinary functions

B
both: Private ordinary functions

C
cached-has-tags-p: Private generic functions
cached-has-tags-p: Private generic functions
cached-nullable: Private generic functions
cached-nullable: Private generic functions
cached-nullable*: Private ordinary functions
cached-nullable-no-gensym: Private generic functions
cached-nullable-no-gensym: Private generic functions
cached-removed-tags: Private generic functions
cached-removed-tags: Private generic functions
cached-tags: Private generic functions
cached-tags: Private generic functions
cached-used-tags: Private generic functions
cached-used-tags: Private generic functions
check-empty-matches: Private ordinary functions
check-liveness: Private ordinary functions
clear-global-tables: Private macros
clear-registers: Private ordinary functions
collect: Private macros
compile-regular-expression: Public compiler macros
compile-regular-expression: Public ordinary functions
compiled-regular-expression-p: Private ordinary functions
Compiler Macro, all-matches: Public compiler macros
Compiler Macro, all-string-matches: Public compiler macros
Compiler Macro, compile-regular-expression: Public compiler macros
Compiler Macro, first-match: Public compiler macros
Compiler Macro, first-string-match: Public compiler macros
compute-minimum-lengths: Private ordinary functions
compute-predecessor-lists: Private ordinary functions
constant-safe-to-eval-p: Private ordinary functions
copy-compiled-regular-expression: Private ordinary functions
copy-layout: Private ordinary functions
copy-transition: Private ordinary functions
cre-codes: Private ordinary functions
cre-original-re: Private ordinary functions

D
declarations: Private generic functions
declarations: Private generic functions
define-hash-consing-table: Private macros
define-rewrites: Private macros
define-types: Private macros
derivative: Private ordinary functions
derivative*: Private ordinary functions
derivative-classes: Private ordinary functions
do-matches: Public macros

E
effects: Private ordinary functions
either: Private ordinary functions
empty-set: Private ordinary functions
empty-string: Private ordinary functions

F
find-code: Private ordinary functions
find-in-map: Private ordinary functions
find-similar-state: Private ordinary functions
find-state-name: Private ordinary functions
find-variable-name: Private ordinary functions
first-match: Public compiler macros
first-match: Public ordinary functions
first-string-match: Public compiler macros
first-string-match: Public ordinary functions
fold-or: Private ordinary functions
Function, %all-matches: Private ordinary functions
Function, %alpha: Private ordinary functions
Function, %both: Private ordinary functions
Function, %compile-regular-expression: Private ordinary functions
Function, %either: Private ordinary functions
Function, %empty-string: Private ordinary functions
Function, %first-match: Private ordinary functions
Function, %grep: Private ordinary functions
Function, %invert: Private ordinary functions
Function, %join: Private ordinary functions
Function, %literal: Private ordinary functions
Function, %repeat: Private ordinary functions
Function, %similar: Private ordinary functions
Function, %tag-set: Private ordinary functions
Function, (setf cached-nullable*): Private ordinary functions
Function, (setf cre-codes): Private ordinary functions
Function, (setf cre-original-re): Private ordinary functions
Function, (setf layout-array-type): Private ordinary functions
Function, (setf layout-equal): Private ordinary functions
Function, (setf layout-from-number): Private ordinary functions
Function, (setf layout-less): Private ordinary functions
Function, (setf layout-less-or-equal): Private ordinary functions
Function, (setf layout-ref): Private ordinary functions
Function, (setf layout-to-number): Private ordinary functions
Function, (setf transition-class): Private ordinary functions
Function, (setf transition-next-state): Private ordinary functions
Function, (setf transition-tags-to-set): Private ordinary functions
Function, add-tags: Private ordinary functions
Function, add-transition: Private ordinary functions
Function, all-matches: Public ordinary functions
Function, all-string-matches: Public ordinary functions
Function, alpha: Private ordinary functions
Function, assert-equivalent: Private ordinary functions
Function, assert-equivalent-sources: Private ordinary functions
Function, both: Private ordinary functions
Function, cached-nullable*: Private ordinary functions
Function, check-empty-matches: Private ordinary functions
Function, check-liveness: Private ordinary functions
Function, clear-registers: Private ordinary functions
Function, compile-regular-expression: Public ordinary functions
Function, compiled-regular-expression-p: Private ordinary functions
Function, compute-minimum-lengths: Private ordinary functions
Function, compute-predecessor-lists: Private ordinary functions
Function, constant-safe-to-eval-p: Private ordinary functions
Function, copy-compiled-regular-expression: Private ordinary functions
Function, copy-layout: Private ordinary functions
Function, copy-transition: Private ordinary functions
Function, cre-codes: Private ordinary functions
Function, cre-original-re: Private ordinary functions
Function, derivative: Private ordinary functions
Function, derivative*: Private ordinary functions
Function, derivative-classes: Private ordinary functions
Function, effects: Private ordinary functions
Function, either: Private ordinary functions
Function, empty-set: Private ordinary functions
Function, empty-string: Private ordinary functions
Function, find-code: Private ordinary functions
Function, find-in-map: Private ordinary functions
Function, find-similar-state: Private ordinary functions
Function, find-state-name: Private ordinary functions
Function, find-variable-name: Private ordinary functions
Function, first-match: Public ordinary functions
Function, first-string-match: Public ordinary functions
Function, fold-or: Private ordinary functions
Function, gensym-position-assignments: Private ordinary functions
Function, grep: Private ordinary functions
Function, group: Private ordinary functions
Function, has-literals-p: Private ordinary functions
Function, has-tags-p: Private ordinary functions
Function, invert: Private ordinary functions
Function, join: Private ordinary functions
Function, keep-used-assignments: Private ordinary functions
Function, kleene: Private ordinary functions
Function, layout-array-type: Private ordinary functions
Function, layout-equal: Private ordinary functions
Function, layout-from-number: Private ordinary functions
Function, layout-less: Private ordinary functions
Function, layout-less-or-equal: Private ordinary functions
Function, layout-p: Private ordinary functions
Function, layout-ref: Private ordinary functions
Function, layout-to-number: Private ordinary functions
Function, lint-regular-expression: Private ordinary functions
Function, literal: Private ordinary functions
Function, make-body-from-dfa: Private ordinary functions
Function, make-compiled-regular-expression: Private ordinary functions
Function, make-default-strategy: Private ordinary functions
Function, make-dfa-from-expression: Private ordinary functions
Function, make-dfa-from-expressions: Private ordinary functions
Function, make-lambda-form: Private ordinary functions
Function, make-layout: Private ordinary functions
Function, make-search-machine: Private ordinary functions
Function, make-test-form: Private ordinary functions
Function, make-transition: Private ordinary functions
Function, map-tags: Private ordinary functions
Function, match-vector-size: Private ordinary functions
Function, merge-sets: Private ordinary functions
Function, merge-tag-sets: Private ordinary functions
Function, next-group: Private ordinary functions
Function, nullable: Private ordinary functions
Function, parse-regular-expression: Private ordinary functions
Function, peephole-optimize: Private ordinary functions
Function, print-isum: Private ordinary functions
Function, re-empty-p: Private ordinary functions
Function, re-groups: Private ordinary functions
Function, re-stopped-p: Private ordinary functions
Function, remove-tags: Private ordinary functions
Function, repeat: Private ordinary functions
Function, scan-either-for-duplicates: Private ordinary functions
Function, set-intersection: Private ordinary functions
Function, set-inverse: Private ordinary functions
Function, set-null: Private ordinary functions
Function, set-union: Private ordinary functions
Function, setf-from-assignments: Private ordinary functions
Function, similar: Private ordinary functions
Function, singleton-set: Private ordinary functions
Function, state-never-succeeds-p: Private ordinary functions
Function, string-type-of: Private ordinary functions
Function, subscripts: Private ordinary functions
Function, subsequences: Private ordinary functions
Function, symbol-range: Private ordinary functions
Function, symbol-set: Private ordinary functions
Function, symbol-set-difference: Private ordinary functions
Function, tag-gensym: Private ordinary functions
Function, tag-set: Private ordinary functions
Function, tags: Private ordinary functions
Function, text: Private ordinary functions
Function, transition-class: Private ordinary functions
Function, transition-next-state: Private ordinary functions
Function, transition-p: Private ordinary functions
Function, transition-tags-to-set: Private ordinary functions
Function, try-to-evaluate-constant-re: Private ordinary functions
Function, unique-assignments: Private ordinary functions
Function, unique-tags: Private ordinary functions
Function, universal-set: Private ordinary functions
Function, used-tags: Private ordinary functions
Function, variable-map-from-groups: Private ordinary functions
Function, win-locations: Private ordinary functions

G
Generic Function, (setf cached-has-tags-p): Private generic functions
Generic Function, (setf cached-nullable): Private generic functions
Generic Function, (setf cached-nullable-no-gensym): Private generic functions
Generic Function, (setf cached-removed-tags): Private generic functions
Generic Function, (setf cached-tags): Private generic functions
Generic Function, (setf cached-used-tags): Private generic functions
Generic Function, (setf minimum-length): Private generic functions
Generic Function, (setf next-state-name): Private generic functions
Generic Function, (setf predecessors): Private generic functions
Generic Function, (setf state-exit-effects): Private generic functions
Generic Function, (setf state-exit-map): Private generic functions
Generic Function, (setf state-expression): Private generic functions
Generic Function, (setf state-transitions): Private generic functions
Generic Function, cached-has-tags-p: Private generic functions
Generic Function, cached-nullable: Private generic functions
Generic Function, cached-nullable-no-gensym: Private generic functions
Generic Function, cached-removed-tags: Private generic functions
Generic Function, cached-tags: Private generic functions
Generic Function, cached-used-tags: Private generic functions
Generic Function, declarations: Private generic functions
Generic Function, initial-states: Private generic functions
Generic Function, lambda-list: Private generic functions
Generic Function, macros-for-strategy: Private generic functions
Generic Function, make-prog-parts: Private generic functions
Generic Function, minimum-length: Private generic functions
Generic Function, next-state-name: Private generic functions
Generic Function, predecessors: Private generic functions
Generic Function, start-code: Private generic functions
Generic Function, state-exit-effects: Private generic functions
Generic Function, state-exit-map: Private generic functions
Generic Function, state-expression: Private generic functions
Generic Function, state-names: Private generic functions
Generic Function, state-transitions: Private generic functions
Generic Function, transition-code: Private generic functions
Generic Function, variable-map: Private generic functions
Generic Function, variable-names: Private generic functions
Generic Function, warning-group-number: Private generic functions
Generic Function, warning-group-string: Private generic functions
gensym-position-assignments: Private ordinary functions
grep: Private ordinary functions
group: Private ordinary functions

H
has-literals-p: Private ordinary functions
has-tags-p: Private ordinary functions

I
initial-states: Private generic functions
initial-states: Private generic functions
invert: Private ordinary functions
isum-case: Private macros
isum-op: Private macros

J
join: Private ordinary functions

K
keep-used-assignments: Private ordinary functions
kleene: Private ordinary functions

L
lambda-list: Private generic functions
lambda-list: Private generic functions
layout-array-type: Private ordinary functions
layout-equal: Private ordinary functions
layout-from-number: Private ordinary functions
layout-less: Private ordinary functions
layout-less-or-equal: Private ordinary functions
layout-p: Private ordinary functions
layout-ref: Private ordinary functions
layout-to-number: Private ordinary functions
lint-regular-expression: Private ordinary functions
literal: Private ordinary functions

M
Macro, clear-global-tables: Private macros
Macro, collect: Private macros
Macro, define-hash-consing-table: Private macros
Macro, define-rewrites: Private macros
Macro, define-types: Private macros
Macro, do-matches: Public macros
Macro, isum-case: Private macros
Macro, isum-op: Private macros
Macro, with-code: Private macros
Macro, with-code-for-vector: Private macros
Macro, with-hash-consing: Private macros
Macro, with-hash-consing-tables: Private macros
Macro, with-naughty-compiler-switches: Private macros
Macro, with-slot-consing: Private macros
macros-for-strategy: Private generic functions
macros-for-strategy: Private generic functions
macros-for-strategy: Private generic functions
make-body-from-dfa: Private ordinary functions
make-compiled-regular-expression: Private ordinary functions
make-default-strategy: Private ordinary functions
make-dfa-from-expression: Private ordinary functions
make-dfa-from-expressions: Private ordinary functions
make-lambda-form: Private ordinary functions
make-layout: Private ordinary functions
make-prog-parts: Private generic functions
make-prog-parts: Private generic functions
make-search-machine: Private ordinary functions
make-test-form: Private ordinary functions
make-transition: Private ordinary functions
map-tags: Private ordinary functions
match-vector-size: Private ordinary functions
merge-sets: Private ordinary functions
merge-tag-sets: Private ordinary functions
Method, (setf cached-has-tags-p): Private generic functions
Method, (setf cached-nullable): Private generic functions
Method, (setf cached-nullable-no-gensym): Private generic functions
Method, (setf cached-removed-tags): Private generic functions
Method, (setf cached-tags): Private generic functions
Method, (setf cached-used-tags): Private generic functions
Method, (setf minimum-length): Private generic functions
Method, (setf next-state-name): Private generic functions
Method, (setf predecessors): Private generic functions
Method, (setf state-exit-effects): Private generic functions
Method, (setf state-exit-map): Private generic functions
Method, (setf state-expression): Private generic functions
Method, (setf state-transitions): Private generic functions
Method, cached-has-tags-p: Private generic functions
Method, cached-nullable: Private generic functions
Method, cached-nullable-no-gensym: Private generic functions
Method, cached-removed-tags: Private generic functions
Method, cached-tags: Private generic functions
Method, cached-used-tags: Private generic functions
Method, declarations: Private generic functions
Method, initial-states: Private generic functions
Method, lambda-list: Private generic functions
Method, macros-for-strategy: Private generic functions
Method, macros-for-strategy: Private generic functions
Method, make-prog-parts: Private generic functions
Method, minimum-length: Private generic functions
Method, next-state-name: Private generic functions
Method, predecessors: Private generic functions
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, start-code: Private generic functions
Method, start-code: Private generic functions
Method, state-exit-effects: Private generic functions
Method, state-exit-map: Private generic functions
Method, state-expression: Private generic functions
Method, state-names: Private generic functions
Method, state-transitions: Private generic functions
Method, transition-code: Private generic functions
Method, variable-map: Private generic functions
Method, variable-names: Private generic functions
Method, warning-group-number: Private generic functions
Method, warning-group-string: Private generic functions
minimum-length: Private generic functions
minimum-length: Private generic functions

N
next-group: Private ordinary functions
next-state-name: Private generic functions
next-state-name: Private generic functions
nullable: Private ordinary functions

P
parse-regular-expression: Private ordinary functions
peephole-optimize: Private ordinary functions
predecessors: Private generic functions
predecessors: Private generic functions
print-isum: Private ordinary functions
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods

R
re-empty-p: Private ordinary functions
re-groups: Private ordinary functions
re-stopped-p: Private ordinary functions
remove-tags: Private ordinary functions
repeat: Private ordinary functions

S
scan-either-for-duplicates: Private ordinary functions
set-intersection: Private ordinary functions
set-inverse: Private ordinary functions
set-null: Private ordinary functions
set-union: Private ordinary functions
setf-from-assignments: Private ordinary functions
similar: Private ordinary functions
singleton-set: Private ordinary functions
start-code: Private generic functions
start-code: Private generic functions
start-code: Private generic functions
state-exit-effects: Private generic functions
state-exit-effects: Private generic functions
state-exit-map: Private generic functions
state-exit-map: Private generic functions
state-expression: Private generic functions
state-expression: Private generic functions
state-names: Private generic functions
state-names: Private generic functions
state-never-succeeds-p: Private ordinary functions
state-transitions: Private generic functions
state-transitions: Private generic functions
string-type-of: Private ordinary functions
subscripts: Private ordinary functions
subsequences: Private ordinary functions
symbol-range: Private ordinary functions
symbol-set: Private ordinary functions
symbol-set-difference: Private ordinary functions

T
tag-gensym: Private ordinary functions
tag-set: Private ordinary functions
tags: Private ordinary functions
text: Private ordinary functions
transition-class: Private ordinary functions
transition-code: Private generic functions
transition-code: Private generic functions
transition-next-state: Private ordinary functions
transition-p: Private ordinary functions
transition-tags-to-set: Private ordinary functions
try-to-evaluate-constant-re: Private ordinary functions

U
unique-assignments: Private ordinary functions
unique-tags: Private ordinary functions
universal-set: Private ordinary functions
used-tags: Private ordinary functions

V
variable-map: Private generic functions
variable-map: Private generic functions
variable-map-from-groups: Private ordinary functions
variable-names: Private generic functions
variable-names: Private generic functions

W
warning-group-number: Private generic functions
warning-group-number: Private generic functions
warning-group-string: Private generic functions
warning-group-string: Private generic functions
win-locations: Private ordinary functions
with-code: Private macros
with-code-for-vector: Private macros
with-hash-consing: Private macros
with-hash-consing-tables: Private macros
with-naughty-compiler-switches: Private macros
with-slot-consing: Private macros

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

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

A.3 Variables

Jump to:   %   *   +  
A   C   E   F   H   L   M   N   O   P   R   S   T   V  
Index Entry  Section

%
%has-tags-p: Private classes
%nullable: Private classes
%nullable-no-gensym: Private classes
%removed-tags: Private classes
%tags: Private classes
%used-tags: Private classes

*
*allow-alpha*: Private special variables
*alpha-table*: Private special variables
*backward-environment*: Private special variables
*both-table*: Private special variables
*code-cache*: Private special variables
*code-lock*: Private special variables
*code-type*: Private special variables
*compiler-state*: Private special variables
*default-layout*: Private special variables
*derivative*: Private special variables
*derivative-classes*: Private special variables
*either-table*: Private special variables
*empty-string-table*: Private special variables
*environment*: Private special variables
*gensym-assignments?*: Private special variables
*grep-table*: Private special variables
*group-strings*: Private special variables
*invert-table*: Private special variables
*join-table*: Private special variables
*layout*: Private special variables
*literal-table*: Private special variables
*next-group*: Private special variables
*nowhere*: Private special variables
*optimize-settings*: Private special variables
*probably-bad-limit*: Private special variables
*repeat-table*: Private special variables
*string-types*: Private special variables
*subscripts*: Private special variables
*table-names*: Private special variables
*tag-gensym-counter*: Private special variables
*tag-set-table*: Private special variables
*type-dispatcher*: Private special variables

+
+empty-set+: Private constants
+uncomputed+: Private constants
+universal-set+: Private constants

A
array-type: Private structures

C
can-empty: Private classes
class: Private structures
codes: Public structures
Constant, +empty-set+: Private constants
Constant, +uncomputed+: Private constants
Constant, +universal-set+: Private constants

E
equal: Private structures
exit-effects: Private classes
exit-map: Private classes
expression: Private classes
expression: Private classes

F
from-number: Private structures

H
history: Private classes

L
less: Private structures
less-or-equal: Private structures

M
max: Private classes
min: Private classes
minimum-length: Private classes

N
n: Private conditions
next-state: Private structures
next-state-name: Private classes

O
original-re: Public structures

P
predecessors: Private classes
prototype: Private classes

R
r: Private classes
r: Private classes
r: Private classes
r: Private classes
r: Private classes
ref: Private structures

S
s: Private classes
s: Private classes
s: Private classes
set: Private classes
Slot, %has-tags-p: Private classes
Slot, %nullable: Private classes
Slot, %nullable-no-gensym: Private classes
Slot, %removed-tags: Private classes
Slot, %tags: Private classes
Slot, %used-tags: Private classes
Slot, array-type: Private structures
Slot, can-empty: Private classes
Slot, class: Private structures
Slot, codes: Public structures
Slot, equal: Private structures
Slot, exit-effects: Private classes
Slot, exit-map: Private classes
Slot, expression: Private classes
Slot, expression: Private classes
Slot, from-number: Private structures
Slot, history: Private classes
Slot, less: Private structures
Slot, less-or-equal: Private structures
Slot, max: Private classes
Slot, min: Private classes
Slot, minimum-length: Private classes
Slot, n: Private conditions
Slot, next-state: Private structures
Slot, next-state-name: Private classes
Slot, original-re: Public structures
Slot, predecessors: Private classes
Slot, prototype: Private classes
Slot, r: Private classes
Slot, r: Private classes
Slot, r: Private classes
Slot, r: Private classes
Slot, r: Private classes
Slot, ref: Private structures
Slot, s: Private classes
Slot, s: Private classes
Slot, s: Private classes
Slot, set: Private classes
Slot, state-names: Private classes
Slot, string: Private conditions
Slot, substitutions: Private classes
Slot, tags-to-set: Private structures
Slot, to-number: Private structures
Slot, transitions: Private classes
Slot, variable-map: Private classes
Slot, variable-names: Private classes
Slot, vector: Private classes
Special Variable, *allow-alpha*: Private special variables
Special Variable, *alpha-table*: Private special variables
Special Variable, *backward-environment*: Private special variables
Special Variable, *both-table*: Private special variables
Special Variable, *code-cache*: Private special variables
Special Variable, *code-lock*: Private special variables
Special Variable, *code-type*: Private special variables
Special Variable, *compiler-state*: Private special variables
Special Variable, *default-layout*: Private special variables
Special Variable, *derivative*: Private special variables
Special Variable, *derivative-classes*: Private special variables
Special Variable, *either-table*: Private special variables
Special Variable, *empty-string-table*: Private special variables
Special Variable, *environment*: Private special variables
Special Variable, *gensym-assignments?*: Private special variables
Special Variable, *grep-table*: Private special variables
Special Variable, *group-strings*: Private special variables
Special Variable, *invert-table*: Private special variables
Special Variable, *join-table*: Private special variables
Special Variable, *layout*: Private special variables
Special Variable, *literal-table*: Private special variables
Special Variable, *next-group*: Private special variables
Special Variable, *nowhere*: Private special variables
Special Variable, *optimize-settings*: Private special variables
Special Variable, *probably-bad-limit*: Private special variables
Special Variable, *repeat-table*: Private special variables
Special Variable, *string-types*: Private special variables
Special Variable, *subscripts*: Private special variables
Special Variable, *table-names*: Private special variables
Special Variable, *tag-gensym-counter*: Private special variables
Special Variable, *tag-set-table*: Private special variables
Special Variable, *type-dispatcher*: Private special variables
state-names: Private classes
string: Private conditions
substitutions: Private classes

T
tags-to-set: Private structures
to-number: Private structures
transitions: Private classes

V
variable-map: Private classes
variable-names: Private classes
vector: Private classes

Jump to:   %   *   +  
A   C   E   F   H   L   M   N   O   P   R   S   T   V  

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

A.4 Data types

Jump to:   A   B   C   D   E   F   G   I   J   L   M   N   O   P   R   S   T  
Index Entry  Section

A
alpha: Private classes

B
both: Private classes

C
call-continuation: Private classes
Class, alpha: Private classes
Class, both: Private classes
Class, call-continuation: Private classes
Class, compiler-state: Private classes
Class, either: Private classes
Class, empty-string: Private classes
Class, grep: Private classes
Class, invert: Private classes
Class, join: Private classes
Class, length-inference-info: Private classes
Class, literal: Private classes
Class, regular-expression: Private classes
Class, repeat: Private classes
Class, scan-everything: Private classes
Class, state: Private classes
Class, strategy: Private classes
Class, tag-set: Private classes
code-cache.lisp: The one-more-re-nightmare/interface/code-cache․lisp file
code-generation.lisp: The one-more-re-nightmare/compiler/code-generation․lisp file
compilation-strategy.lisp: The one-more-re-nightmare/compiler/compilation-strategy․lisp file
compiled-regular-expression: Public structures
compiler: The one-more-re-nightmare/compiler module
compiler-state: Private classes
Condition, expression-matches-empty-string: Private conditions
Condition, expression-matches-everything: Private conditions
Condition, expression-not-matchable: Private conditions
Condition, group-not-matchable: Private conditions
Condition, lint-style-warning: Public conditions
Condition, matching-too-much-style-warning: Public conditions
Condition, no-match: Private conditions
Condition, not-matchable-style-warning: Public conditions
convert-to-bytes.lisp: The one-more-re-nightmare/interface/convert-to-bytes․lisp file

D
derivative-classes.lisp: The one-more-re-nightmare/dfa-construction/derivative-classes․lisp file
derivative.lisp: The one-more-re-nightmare/dfa-construction/derivative․lisp file
dfa-construction: The one-more-re-nightmare/dfa-construction module

E
effects.lisp: The one-more-re-nightmare/dfa-construction/effects․lisp file
either: Private classes
empty-string: Private classes
empty.lisp: The one-more-re-nightmare/dfa-construction/empty․lisp file
expression-matches-empty-string: Private conditions
expression-matches-everything: Private conditions
expression-not-matchable: Private conditions

F
File, code-cache.lisp: The one-more-re-nightmare/interface/code-cache․lisp file
File, code-generation.lisp: The one-more-re-nightmare/compiler/code-generation․lisp file
File, compilation-strategy.lisp: The one-more-re-nightmare/compiler/compilation-strategy․lisp file
File, convert-to-bytes.lisp: The one-more-re-nightmare/interface/convert-to-bytes․lisp file
File, derivative-classes.lisp: The one-more-re-nightmare/dfa-construction/derivative-classes․lisp file
File, derivative.lisp: The one-more-re-nightmare/dfa-construction/derivative․lisp file
File, effects.lisp: The one-more-re-nightmare/dfa-construction/effects․lisp file
File, empty.lisp: The one-more-re-nightmare/dfa-construction/empty․lisp file
File, interface.lisp: The one-more-re-nightmare/interface/interface․lisp file
File, layout.lisp: The one-more-re-nightmare/compiler/layout․lisp file
File, length-inference.lisp: The one-more-re-nightmare/compiler/length-inference․lisp file
File, lint.lisp: The one-more-re-nightmare/interface/lint․lisp file
File, make-dfa.lisp: The one-more-re-nightmare/dfa-construction/make-dfa․lisp file
File, nullable.lisp: The one-more-re-nightmare/dfa-construction/nullable․lisp file
File, one-more-re-nightmare.asd: The one-more-re-nightmare/one-more-re-nightmare․asd file
File, optimize-settings.lisp: The one-more-re-nightmare/compiler/optimize-settings․lisp file
File, package.lisp: The one-more-re-nightmare/package․lisp file
File, re-types.lisp: The one-more-re-nightmare/dfa-construction/re-types․lisp file
File, sets.lisp: The one-more-re-nightmare/dfa-construction/sets․lisp file
File, similar.lisp: The one-more-re-nightmare/dfa-construction/similar․lisp file
File, syntax.lisp: The one-more-re-nightmare/interface/syntax․lisp file
File, tag-sets.lisp: The one-more-re-nightmare/dfa-construction/tag-sets․lisp file
File, type.lisp: The one-more-re-nightmare/dfa-construction/type․lisp file

G
grep: Private classes
group-not-matchable: Private conditions

I
interface: The one-more-re-nightmare/interface module
interface.lisp: The one-more-re-nightmare/interface/interface․lisp file
invert: Private classes

J
join: Private classes

L
layout: Private structures
layout.lisp: The one-more-re-nightmare/compiler/layout․lisp file
length-inference-info: Private classes
length-inference.lisp: The one-more-re-nightmare/compiler/length-inference․lisp file
lint-style-warning: Public conditions
lint.lisp: The one-more-re-nightmare/interface/lint․lisp file
literal: Private classes

M
make-dfa.lisp: The one-more-re-nightmare/dfa-construction/make-dfa․lisp file
matching-too-much-style-warning: Public conditions
Module, compiler: The one-more-re-nightmare/compiler module
Module, dfa-construction: The one-more-re-nightmare/dfa-construction module
Module, interface: The one-more-re-nightmare/interface module

N
no-match: Private conditions
not-matchable-style-warning: Public conditions
nullable.lisp: The one-more-re-nightmare/dfa-construction/nullable․lisp file

O
one-more-re-nightmare: The one-more-re-nightmare system
one-more-re-nightmare: The one-more-re-nightmare package
one-more-re-nightmare.asd: The one-more-re-nightmare/one-more-re-nightmare․asd file
optimize-settings.lisp: The one-more-re-nightmare/compiler/optimize-settings․lisp file

P
Package, one-more-re-nightmare: The one-more-re-nightmare package
package.lisp: The one-more-re-nightmare/package․lisp file

R
re-types.lisp: The one-more-re-nightmare/dfa-construction/re-types․lisp file
regular-expression: Private classes
repeat: Private classes

S
scan-everything: Private classes
sets.lisp: The one-more-re-nightmare/dfa-construction/sets․lisp file
similar.lisp: The one-more-re-nightmare/dfa-construction/similar․lisp file
state: Private classes
strategy: Private classes
Structure, compiled-regular-expression: Public structures
Structure, layout: Private structures
Structure, transition: Private structures
syntax.lisp: The one-more-re-nightmare/interface/syntax․lisp file
System, one-more-re-nightmare: The one-more-re-nightmare system

T
tag-set: Private classes
tag-sets.lisp: The one-more-re-nightmare/dfa-construction/tag-sets․lisp file
transition: Private structures
type.lisp: The one-more-re-nightmare/dfa-construction/type․lisp file

Jump to:   A   B   C   D   E   F   G   I   J   L   M   N   O   P   R   S   T