The racer Reference Manual

Table of Contents

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

The racer Reference Manual

This is the racer Reference Manual, generated automatically by Declt version 2.4 "Will Decker" on Wed Jun 20 12:30:04 2018 GMT+0.

• Introduction:  What racer is all about
• Systems:  The systems documentation
• Modules:  The modules documentation
• Files:  The files documentation
• Indexes:  Concepts, functions, variables and data types

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

1 Introduction

Racer

Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D). Racer is provided with a BSD-3 license (see the file LICENSE.txt).

In order to compile and load Racer inside Common Lisp use Quicklisp or ASDF directly. Make sure ASDF finds the file racer.asd, e.g., with by evaluating something like (pushnew #P"~/Downloads/racer-master/" asdf:*central-registry*) and execute (asdf:load-system "racer"). With Quicklisp you can use (ql:quickload "racer").

Racer has been tested with ACL 8.2, CCL 1.9, LW 6.1, and SBCL 1.1.8. All Racer forms are available from the package racer. See the doc directory for a User's Guide and a Reference Manual. In order to start the Racer server using ACL, CCL, or LW (sorry not for SBCL), just execute (racer:racer-toplevel)

? (racer:racer-toplevel)

;;; Welcome to Racer Version 2.0 2014-01-04!

;;; Racer: Renamed Abox and Concept Expression Reasoner

;;; Supported description logic: SRIQ(D)

;;; Racer comes with ABSOLUTELY NO WARRANTY; use at your own risk.

;;; The XML/RDF/RDFS/OWL parser is implemented with Wilbur developed

;;; by Ora Lassila. For more information on Wilbur see

;;; http://wilbur-rdf.sourceforge.net/.

HTTP service enabled for: http://localhost:8080/

HTML documentation at : http://localhost:8080/reference-toplevel.html

TCP service enabled for : http://localhost:8088/

TCP control enabled for : http://localhost:8089/

You can you your browser with URL http://localhost:8080/reference-toplevel.html in order to access the reference manual online while the Racer server is running.

If you would like to access Racer from the OWLAPI you can find respective code in the directory racer-owlapi. Additionally, a Protege plugin is provided there (racer-owlapi/trunk/protege). The Protege plugin was tested with Protege 4.2.

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

2 Systems

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

• The racer system:  

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

2.1 racer

Author

Volker Haarslev, Ralf Moeller, Michael Wessel

Contact

moeller@uni-luebeck.de, miacwess@gmail.com

Home Page

http://www.racer-systems.com

License

BSD 3

Description

Description Logic Reasoner

Dependencies
Source

racer.asd (file)

Components

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

3 Modules

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

• The racer/persistence module:  
• The racer/nrql-packages module:  
• The racer/wilbur module:  
• The racer/racer-kernel module:  
• The racer/racer-tools module:  
• The racer/nrql module:  
• The racer/owlapi module:  
• The racer/owl-syntaxes module:  
• The racer/online-doc module:  

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

3.1 racer/persistence

Dependency

sbcl-patches

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

3.2 racer/nrql-packages

Dependency

readtable

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

3.3 racer/wilbur

Dependency

progress

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

3.4 racer/racer-kernel

Dependency

warnings

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

3.5 racer/racer-tools

Dependency

gomory

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

3.6 racer/nrql

Dependency

critical-section

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

3.7 racer/owlapi

Dependency

nrql

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

3.8 racer/owl-syntaxes

Dependency

nonstandard-inferences

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

3.9 racer/online-doc

Dependency

abox-diff

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/

Components

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

4 Files

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

• Lisp files:  

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

4.1 Lisp

• The racer.asd file:  
• The racer/sbcl-patches.lisp file:  
• The racer/persistence/persistence-package.lisp file:  
• The racer/persistence/racer-persistence.lisp file:  
• The racer/nrql-symbols.lisp file:  
• The racer/racer-package.lisp file:  
• The racer/version.lisp file:  
• The racer/readtable.lisp file:  
• The racer/nrql-packages/nrql-packages.lisp file:  
• The racer/nrql-packages/owlapi-package.lisp file:  
• The racer/nrql-packages/owl-syntaxes-package.lisp file:  
• The racer/racer-user-package.lisp file:  
• The racer/progress.lisp file:  
• The racer/wilbur/nox-package.lisp file:  
• The racer/wilbur/core-constants.lisp file:  
• The racer/wilbur/xml-util.lisp file:  
• The racer/wilbur/xml-parser.lisp file:  
• The racer/wilbur/wilbur-package.lisp file:  
• The racer/wilbur/data.lisp file:  
• The racer/wilbur/literal.lisp file:  
• The racer/wilbur/rdf-parser.lisp file:  
• The racer/wilbur/http.lisp file:  
• The racer/wilbur/data-sources.lisp file:  
• The racer/wilbur/wilbur-ql.lisp file:  
• The racer/trace-support.lisp file:  
• The racer/warnings.lisp file:  
• The racer/racer-kernel/variables-support.lisp file:  
• The racer/racer-kernel/dl-language.lisp file:  
• The racer/racer-kernel/dl-descriptor-persistence.lisp file:  
• The racer/racer-kernel/set-structure.lisp file:  
• The racer/racer-kernel/structures-id.lisp file:  
• The racer/racer-kernel/concept-structures.lisp file:  
• The racer/racer-kernel/role-structures.lisp file:  
• The racer/racer-kernel/individual-structures.lisp file:  
• The racer/racer-kernel/subgraph-structure.lisp file:  
• The racer/racer-kernel/concrete-domains.lisp file:  
• The racer/racer-kernel/termination.lisp file:  
• The racer/racer-kernel/racer-parameters.lisp file:  
• The racer/racer-kernel/kernel-state-structures.lisp file:  
• The racer/racer-kernel/disjunct-statistics.lisp file:  
• The racer/racer-kernel/tbox-structure.lisp file:  
• The racer/racer-kernel/racer-statistics.lisp file:  
• The racer/racer-kernel/copy-support.lisp file:  
• The racer/racer-kernel/kernel-structures.lisp file:  
• The racer/racer-kernel/set-operations.lisp file:  
• The racer/racer-kernel/racer-utilities.lisp file:  
• The racer/racer-kernel/sparse-array.lisp file:  
• The racer/racer-kernel/solver-structures.lisp file:  
• The racer/racer-kernel/constraint-store.lisp file:  
• The racer/racer-kernel/relation-store.lisp file:  
• The racer/racer-kernel/label-info-structures.lisp file:  
• The racer/racer-kernel/dependency-utilities.lisp file:  
• The racer/racer-kernel/models.lisp file:  
• The racer/racer-kernel/subset-cache.lisp file:  
• The racer/racer-kernel/encoding.lisp file:  
• The racer/racer-kernel/clash-handling.lisp file:  
• The racer/racer-kernel/lookahead.lisp file:  
• The racer/racer-kernel/backtrack-stack.lisp file:  
• The racer/racer-kernel/signatures.lisp file:  
• The racer/racer-kernel/cd-satisfiable.lisp file:  
• The racer/racer-kernel/racer.lisp file:  
• The racer/gomory.lisp file:  
• The racer/racer-tools/gci-absorption-structures.lisp file:  
• The racer/racer-tools/gci-absorption.lisp file:  
• The racer/racer-tools/linear-inequations.lisp file:  
• The racer/racer-tools/lin-int-inequations.lisp file:  
• The racer/racer-tools/nonlin-inequations.lisp file:  
• The racer/racer-tools/string-inequations.lisp file:  
• The racer/racer-tools/divisible.lisp file:  
• The racer/racer-tools/tbox.lisp file:  
• The racer/racer-tools/abox.lisp file:  
• The racer/racer-tools/kb.lisp file:  
• The racer/racer-tools/query-optimizer.lisp file:  
• The racer/racer-tools/gen-model.lisp file:  
• The racer/racer-tools/timeout.lisp file:  
• The racer/num-restr.lisp file:  
• The racer/simplex-support.lisp file:  
• The racer/server-functions.lisp file:  
• The racer/internal-ind-queries.lisp file:  
• The racer/utils.lisp file:  
• The racer/critical-section.lisp file:  
• The racer/nrql/tools.lisp file:  
• The racer/nrql/specials.lisp file:  
• The racer/nrql/messages.lisp file:  
• The racer/nrql/process.lisp file:  
• The racer/nrql/process-pool.lisp file:  
• The racer/nrql/macros.lisp file:  
• The racer/nrql/dag.lisp file:  
• The racer/nrql/common.lisp file:  
• The racer/nrql/basic-substrate.lisp file:  
• The racer/nrql/basic-descriptions.lisp file:  
• The racer/nrql/racer-conversions.lisp file:  
• The racer/nrql/rolebox.lisp file:  
• The racer/nrql/tables.lisp file:  
• The racer/nrql/query.lisp file:  
• The racer/nrql/nrql-queries.lisp file:  
• The racer/nrql/syntax.lisp file:  
• The racer/nrql/parser.lisp file:  
• The racer/nrql/dispatcher.lisp file:  
• The racer/nrql/syntactic-sugar.lisp file:  
• The racer/nrql/syntactic-rewriting.lisp file:  
• The racer/nrql/query-realizer.lisp file:  
• The racer/nrql/tuple-construction.lisp file:  
• The racer/nrql/compiler.lisp file:  
• The racer/nrql/caching-code.lisp file:  
• The racer/nrql/abox-queries-code.lisp file:  
• The racer/nrql/optimizer.lisp file:  
• The racer/nrql/reasoning.lisp file:  
• The racer/nrql/hooks.lisp file:  
• The racer/nrql/preparation.lisp file:  
• The racer/nrql/execution.lisp file:  
• The racer/nrql/get-next-tuple.lisp file:  
• The racer/nrql/interface.lisp file:  
• The racer/nrql/racer-critical-functions.lisp file:  
• The racer/nrql/api.lisp file:  
• The racer/nrql/expressions.lisp file:  
• The racer/nrql/xml-trafo.lisp file:  
• The racer/nrql/repository.lisp file:  
• The racer/nrql/cache-references.lisp file:  
• The racer/nrql/dl-prover-interface.lisp file:  
• The racer/nrql/defined-queries.lisp file:  
• The racer/nrql/data-substrate.lisp file:  
• The racer/nrql/mirror-data-substrate.lisp file:  
• The racer/nrql/rcc-substrate.lisp file:  
• The racer/nrql/subscribe.lisp file:  
• The racer/nrql/persistence.lisp file:  
• The racer/nrql/nrql-version.lisp file:  
• The racer/owlapi/owlapi-tools.lisp file:  
• The racer/owlapi/reasoners.lisp file:  
• The racer/owlapi/owlapi.lisp file:  
• The racer/owlapi/owlapi-synonyms.lisp file:  
• The racer/owlapi/owlapi-reasoner-bridge.lisp file:  
• The racer/owlapi/owlapi-persistence.lisp file:  
• The racer/rules.lisp file:  
• The racer/individual-queries.lisp file:  
• The racer/benchmark-support.lisp file:  
• The racer/storage-management.lisp file:  
• The racer/ersatz-racer-server.lisp file:  
• The racer/racer-interface.lisp file:  
• The racer/xml-interface.lisp file:  
• The racer/owl-parser.lisp file:  
• The racer/owl-interface.lisp file:  
• The racer/swrl-interface.lisp file:  
• The racer/krss-owl-export.lisp file:  
• The racer/dig-interface.lisp file:  
• The racer/owllink-interface.lisp file:  
• The racer/initialize-default-kb.lisp file:  
• The racer/nonstandard-inferences.lisp file:  
• The racer/owl-syntaxes/http-stream.lisp file:  
• The racer/owl-syntaxes/owl-import.lisp file:  
• The racer/owl-syntaxes/owl-functional.lisp file:  
• The racer/owl-syntaxes/functional-renderer.lisp file:  
• The racer/owl-syntaxes/owllink-parsers.lisp file:  
• The racer/owl-syntaxes/owllink-functional.lisp file:  
• The racer/owl-syntaxes/owllink-reasoner-bridge.lisp file:  
• The racer/owl-syntaxes/xml-renderer.lisp file:  
• The racer/owl-syntaxes/owl-renderer.lisp file:  
• The racer/owl-syntaxes/owllink-xml.lisp file:  
• The racer/owl-syntaxes/import-export.lisp file:  
• The racer/owl-syntaxes/owllink-converter.lisp file:  
• The racer/abduction.lisp file:  
• The racer/abox-diff.lisp file:  
• The racer/online-doc/lambda-registry.lisp file:  
• The racer/online-doc/primhtml.lisp file:  
• The racer/online-doc/docgen.lisp file:  
• The racer/docgen-stubs.lisp file:  
• The racer/setup-readtable.lisp file:  

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

4.1.1 racer.asd

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/racer.asd

Systems

racer (system)

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

4.1.2 racer/sbcl-patches.lisp

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/sbcl-patches.lisp

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

4.1.3 racer/persistence/persistence-package.lisp

Parent

persistence (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/persistence-package.lisp

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

4.1.4 racer/persistence/racer-persistence.lisp

Parent

persistence (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-persistence.lisp

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

4.1.5 racer/nrql-symbols.lisp

Dependency

persistence

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/nrql-symbols.lisp

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

4.1.6 racer/racer-package.lisp

Dependency

nrql-symbols

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-package.lisp

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

4.1.7 racer/version.lisp

Dependency

racer-package

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/version.lisp

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

4.1.8 racer/readtable.lisp

Dependency

version

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/readtable.lisp

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

4.1.9 racer/nrql-packages/nrql-packages.lisp

Parent

nrql-packages (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/nrql-packages.lisp

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

4.1.10 racer/nrql-packages/owlapi-package.lisp

Parent

nrql-packages (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owlapi-package.lisp

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

4.1.11 racer/nrql-packages/owl-syntaxes-package.lisp

Parent

nrql-packages (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owl-syntaxes-package.lisp

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

4.1.12 racer/racer-user-package.lisp

Dependency

nrql-packages

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-user-package.lisp

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

4.1.13 racer/progress.lisp

Dependency

racer-user-package

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/progress.lisp

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

4.1.14 racer/wilbur/nox-package.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/nox-package.lisp

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

4.1.15 racer/wilbur/core-constants.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/core-constants.lisp

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

4.1.16 racer/wilbur/xml-util.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/xml-util.lisp

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

4.1.17 racer/wilbur/xml-parser.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/xml-parser.lisp

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

4.1.18 racer/wilbur/wilbur-package.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/wilbur-package.lisp

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

4.1.19 racer/wilbur/data.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/data.lisp

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

4.1.20 racer/wilbur/literal.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/literal.lisp

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

4.1.21 racer/wilbur/rdf-parser.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/rdf-parser.lisp

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

4.1.22 racer/wilbur/http.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/http.lisp

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

4.1.23 racer/wilbur/data-sources.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/data-sources.lisp

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

4.1.24 racer/wilbur/wilbur-ql.lisp

Parent

wilbur (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/wilbur-ql.lisp

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

4.1.25 racer/trace-support.lisp

Dependency

wilbur

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/trace-support.lisp

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

4.1.26 racer/warnings.lisp

Dependency

trace-support

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/warnings.lisp

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

4.1.27 racer/racer-kernel/variables-support.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/variables-support.lisp

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

4.1.28 racer/racer-kernel/dl-language.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/dl-language.lisp

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

4.1.29 racer/racer-kernel/dl-descriptor-persistence.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/dl-descriptor-persistence.lisp

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

4.1.30 racer/racer-kernel/set-structure.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/set-structure.lisp

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

4.1.31 racer/racer-kernel/structures-id.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/structures-id.lisp

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

4.1.32 racer/racer-kernel/concept-structures.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/concept-structures.lisp

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

4.1.33 racer/racer-kernel/role-structures.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/role-structures.lisp

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

4.1.34 racer/racer-kernel/individual-structures.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/individual-structures.lisp

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

4.1.35 racer/racer-kernel/subgraph-structure.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/subgraph-structure.lisp

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

4.1.36 racer/racer-kernel/concrete-domains.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/concrete-domains.lisp

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

4.1.37 racer/racer-kernel/termination.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/termination.lisp

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

4.1.38 racer/racer-kernel/racer-parameters.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-parameters.lisp

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

4.1.39 racer/racer-kernel/kernel-state-structures.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/kernel-state-structures.lisp

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

4.1.40 racer/racer-kernel/disjunct-statistics.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/disjunct-statistics.lisp

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

4.1.41 racer/racer-kernel/tbox-structure.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/tbox-structure.lisp

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

4.1.42 racer/racer-kernel/racer-statistics.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-statistics.lisp

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

4.1.43 racer/racer-kernel/copy-support.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/copy-support.lisp

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

4.1.44 racer/racer-kernel/kernel-structures.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/kernel-structures.lisp

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

4.1.45 racer/racer-kernel/set-operations.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/set-operations.lisp

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

4.1.46 racer/racer-kernel/racer-utilities.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-utilities.lisp

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

4.1.47 racer/racer-kernel/sparse-array.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/sparse-array.lisp

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

4.1.48 racer/racer-kernel/solver-structures.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/solver-structures.lisp

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

4.1.49 racer/racer-kernel/constraint-store.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/constraint-store.lisp

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

4.1.50 racer/racer-kernel/relation-store.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/relation-store.lisp

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

4.1.51 racer/racer-kernel/label-info-structures.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/label-info-structures.lisp

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

4.1.52 racer/racer-kernel/dependency-utilities.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/dependency-utilities.lisp

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

4.1.53 racer/racer-kernel/models.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/models.lisp

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

4.1.54 racer/racer-kernel/subset-cache.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/subset-cache.lisp

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

4.1.55 racer/racer-kernel/encoding.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/encoding.lisp

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

4.1.56 racer/racer-kernel/clash-handling.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/clash-handling.lisp

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

4.1.57 racer/racer-kernel/lookahead.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/lookahead.lisp

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

4.1.58 racer/racer-kernel/backtrack-stack.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/backtrack-stack.lisp

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

4.1.59 racer/racer-kernel/signatures.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/signatures.lisp

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

4.1.60 racer/racer-kernel/cd-satisfiable.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/cd-satisfiable.lisp

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

4.1.61 racer/racer-kernel/racer.lisp

Parent

racer-kernel (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer.lisp

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

4.1.62 racer/gomory.lisp

Dependency

racer-kernel

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/gomory.lisp

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

4.1.63 racer/racer-tools/gci-absorption-structures.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/gci-absorption-structures.lisp

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

4.1.64 racer/racer-tools/gci-absorption.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/gci-absorption.lisp

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

4.1.65 racer/racer-tools/linear-inequations.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/linear-inequations.lisp

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

4.1.66 racer/racer-tools/lin-int-inequations.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/lin-int-inequations.lisp

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

4.1.67 racer/racer-tools/nonlin-inequations.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/nonlin-inequations.lisp

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

4.1.68 racer/racer-tools/string-inequations.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/string-inequations.lisp

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

4.1.69 racer/racer-tools/divisible.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/divisible.lisp

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

4.1.70 racer/racer-tools/tbox.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/tbox.lisp

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

4.1.71 racer/racer-tools/abox.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/abox.lisp

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

4.1.72 racer/racer-tools/kb.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/kb.lisp

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

4.1.73 racer/racer-tools/query-optimizer.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/query-optimizer.lisp

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

4.1.74 racer/racer-tools/gen-model.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/gen-model.lisp

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

4.1.75 racer/racer-tools/timeout.lisp

Parent

racer-tools (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/timeout.lisp

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

4.1.76 racer/num-restr.lisp

Dependency

racer-tools

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/num-restr.lisp

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

4.1.77 racer/simplex-support.lisp

Dependency

num-restr

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/simplex-support.lisp

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

4.1.78 racer/server-functions.lisp

Dependency

simplex-support

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/server-functions.lisp

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

4.1.79 racer/internal-ind-queries.lisp

Dependency

server-functions

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/internal-ind-queries.lisp

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

4.1.80 racer/utils.lisp

Dependency

internal-ind-queries

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/utils.lisp

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

4.1.81 racer/critical-section.lisp

Dependency

utils

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/critical-section.lisp

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

4.1.82 racer/nrql/tools.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/tools.lisp

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

4.1.83 racer/nrql/specials.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/specials.lisp

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

4.1.84 racer/nrql/messages.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/messages.lisp

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

4.1.85 racer/nrql/process.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/process.lisp

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

4.1.86 racer/nrql/process-pool.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/process-pool.lisp

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

4.1.87 racer/nrql/macros.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/macros.lisp

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

4.1.88 racer/nrql/dag.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/dag.lisp

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

4.1.89 racer/nrql/common.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/common.lisp

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

4.1.90 racer/nrql/basic-substrate.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/basic-substrate.lisp

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

4.1.91 racer/nrql/basic-descriptions.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/basic-descriptions.lisp

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

4.1.92 racer/nrql/racer-conversions.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-conversions.lisp

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

4.1.93 racer/nrql/rolebox.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/rolebox.lisp

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

4.1.94 racer/nrql/tables.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/tables.lisp

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

4.1.95 racer/nrql/query.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/query.lisp

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

4.1.96 racer/nrql/nrql-queries.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/nrql-queries.lisp

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

4.1.97 racer/nrql/syntax.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/syntax.lisp

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

4.1.98 racer/nrql/parser.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/parser.lisp

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

4.1.99 racer/nrql/dispatcher.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/dispatcher.lisp

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

4.1.100 racer/nrql/syntactic-sugar.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/syntactic-sugar.lisp

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

4.1.101 racer/nrql/syntactic-rewriting.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/syntactic-rewriting.lisp

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

4.1.102 racer/nrql/query-realizer.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/query-realizer.lisp

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

4.1.103 racer/nrql/tuple-construction.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/tuple-construction.lisp

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

4.1.104 racer/nrql/compiler.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/compiler.lisp

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

4.1.105 racer/nrql/caching-code.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/caching-code.lisp

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

4.1.106 racer/nrql/abox-queries-code.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/abox-queries-code.lisp

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

4.1.107 racer/nrql/optimizer.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/optimizer.lisp

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

4.1.108 racer/nrql/reasoning.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/reasoning.lisp

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

4.1.109 racer/nrql/hooks.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/hooks.lisp

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

4.1.110 racer/nrql/preparation.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/preparation.lisp

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

4.1.111 racer/nrql/execution.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/execution.lisp

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

4.1.112 racer/nrql/get-next-tuple.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/get-next-tuple.lisp

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

4.1.113 racer/nrql/interface.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/interface.lisp

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

4.1.114 racer/nrql/racer-critical-functions.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-critical-functions.lisp

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

4.1.115 racer/nrql/api.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/api.lisp

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

4.1.116 racer/nrql/expressions.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/expressions.lisp

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

4.1.117 racer/nrql/xml-trafo.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/xml-trafo.lisp

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

4.1.118 racer/nrql/repository.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/repository.lisp

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

4.1.119 racer/nrql/cache-references.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/cache-references.lisp

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

4.1.120 racer/nrql/dl-prover-interface.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/dl-prover-interface.lisp

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

4.1.121 racer/nrql/defined-queries.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/defined-queries.lisp

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

4.1.122 racer/nrql/data-substrate.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/data-substrate.lisp

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

4.1.123 racer/nrql/mirror-data-substrate.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/mirror-data-substrate.lisp

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

4.1.124 racer/nrql/rcc-substrate.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/rcc-substrate.lisp

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

4.1.125 racer/nrql/subscribe.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/subscribe.lisp

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

4.1.126 racer/nrql/persistence.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/persistence.lisp

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

4.1.127 racer/nrql/nrql-version.lisp

Parent

nrql (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/nrql-version.lisp

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

4.1.128 racer/owlapi/owlapi-tools.lisp

Parent

owlapi (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owlapi-tools.lisp

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

4.1.129 racer/owlapi/reasoners.lisp

Parent

owlapi (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/reasoners.lisp

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

4.1.130 racer/owlapi/owlapi.lisp

Parent

owlapi (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owlapi.lisp

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

4.1.131 racer/owlapi/owlapi-synonyms.lisp

Parent

owlapi (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owlapi-synonyms.lisp

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

4.1.132 racer/owlapi/owlapi-reasoner-bridge.lisp

Parent

owlapi (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owlapi-reasoner-bridge.lisp

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

4.1.133 racer/owlapi/owlapi-persistence.lisp

Parent

owlapi (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owlapi-persistence.lisp

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

4.1.134 racer/rules.lisp

Dependency

owlapi

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/rules.lisp

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

4.1.135 racer/individual-queries.lisp

Dependency

rules

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/individual-queries.lisp

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

4.1.136 racer/benchmark-support.lisp

Dependency

individual-queries

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/benchmark-support.lisp

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

4.1.137 racer/storage-management.lisp

Dependency

benchmark-support

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/storage-management.lisp

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

4.1.138 racer/ersatz-racer-server.lisp

Dependency

storage-management

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/ersatz-racer-server.lisp

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

4.1.139 racer/racer-interface.lisp

Dependency

ersatz-racer-server

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/racer-interface.lisp

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

4.1.140 racer/xml-interface.lisp

Dependency

racer-interface

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/xml-interface.lisp

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

4.1.141 racer/owl-parser.lisp

Dependency

xml-interface

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owl-parser.lisp

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

4.1.142 racer/owl-interface.lisp

Dependency

owl-parser

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owl-interface.lisp

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

4.1.143 racer/swrl-interface.lisp

Dependency

owl-interface

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/swrl-interface.lisp

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

4.1.144 racer/krss-owl-export.lisp

Dependency

swrl-interface

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/krss-owl-export.lisp

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

4.1.145 racer/dig-interface.lisp

Dependency

krss-owl-export

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/dig-interface.lisp

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

4.1.146 racer/owllink-interface.lisp

Dependency

dig-interface

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owllink-interface.lisp

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

4.1.147 racer/initialize-default-kb.lisp

Dependency

owllink-interface

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/initialize-default-kb.lisp

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

4.1.148 racer/nonstandard-inferences.lisp

Dependency

initialize-default-kb

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/nonstandard-inferences.lisp

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

4.1.149 racer/owl-syntaxes/http-stream.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/http-stream.lisp

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

4.1.150 racer/owl-syntaxes/owl-import.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owl-import.lisp

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

4.1.151 racer/owl-syntaxes/owl-functional.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owl-functional.lisp

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

4.1.152 racer/owl-syntaxes/functional-renderer.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/functional-renderer.lisp

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

4.1.153 racer/owl-syntaxes/owllink-parsers.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owllink-parsers.lisp

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

4.1.154 racer/owl-syntaxes/owllink-functional.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owllink-functional.lisp

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

4.1.155 racer/owl-syntaxes/owllink-reasoner-bridge.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owllink-reasoner-bridge.lisp

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

4.1.156 racer/owl-syntaxes/xml-renderer.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/xml-renderer.lisp

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

4.1.157 racer/owl-syntaxes/owl-renderer.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owl-renderer.lisp

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

4.1.158 racer/owl-syntaxes/owllink-xml.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owllink-xml.lisp

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

4.1.159 racer/owl-syntaxes/import-export.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/import-export.lisp

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

4.1.160 racer/owl-syntaxes/owllink-converter.lisp

Parent

owl-syntaxes (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/owllink-converter.lisp

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

4.1.161 racer/abduction.lisp

Dependency

owl-syntaxes

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/abduction.lisp

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

4.1.162 racer/abox-diff.lisp

Dependency

abduction

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/abox-diff.lisp

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

4.1.163 racer/online-doc/lambda-registry.lisp

Parent

online-doc (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/lambda-registry.lisp

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

4.1.164 racer/online-doc/primhtml.lisp

Parent

online-doc (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/primhtml.lisp

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

4.1.165 racer/online-doc/docgen.lisp

Parent

online-doc (module)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/docgen.lisp

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

4.1.166 racer/docgen-stubs.lisp

Dependency

online-doc

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/docgen-stubs.lisp

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

4.1.167 racer/setup-readtable.lisp

Dependency

docgen-stubs

Parent

racer (system)

Location

/home/quickref/quicklisp/dists/quicklisp/software/racer-20170830-git/source/setup-readtable.lisp

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

Appendix A Indexes

• Concept index:  
• Function index:  
• Variable index:  
• Data type index:  

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

A.1 Concepts

Jump to:   F   L   M   R  
Index Entry  Section
F
File, Lisp, racer.asd: The racer<dot>asd file
File, Lisp, racer/abduction.lisp: The racer/abduction<dot>lisp file
File, Lisp, racer/abox-diff.lisp: The racer/abox-diff<dot>lisp file
File, Lisp, racer/benchmark-support.lisp: The racer/benchmark-support<dot>lisp file
File, Lisp, racer/critical-section.lisp: The racer/critical-section<dot>lisp file
File, Lisp, racer/dig-interface.lisp: The racer/dig-interface<dot>lisp file
File, Lisp, racer/docgen-stubs.lisp: The racer/docgen-stubs<dot>lisp file
File, Lisp, racer/ersatz-racer-server.lisp: The racer/ersatz-racer-server<dot>lisp file
File, Lisp, racer/gomory.lisp: The racer/gomory<dot>lisp file
File, Lisp, racer/individual-queries.lisp: The racer/individual-queries<dot>lisp file
File, Lisp, racer/initialize-default-kb.lisp: The racer/initialize-default-kb<dot>lisp file
File, Lisp, racer/internal-ind-queries.lisp: The racer/internal-ind-queries<dot>lisp file
File, Lisp, racer/krss-owl-export.lisp: The racer/krss-owl-export<dot>lisp file
File, Lisp, racer/nonstandard-inferences.lisp: The racer/nonstandard-inferences<dot>lisp file
File, Lisp, racer/nrql-packages/nrql-packages.lisp: The racer/nrql-packages/nrql-packages<dot>lisp file
File, Lisp, racer/nrql-packages/owl-syntaxes-package.lisp: The racer/nrql-packages/owl-syntaxes-package<dot>lisp file
File, Lisp, racer/nrql-packages/owlapi-package.lisp: The racer/nrql-packages/owlapi-package<dot>lisp file
File, Lisp, racer/nrql-symbols.lisp: The racer/nrql-symbols<dot>lisp file
File, Lisp, racer/nrql/abox-queries-code.lisp: The racer/nrql/abox-queries-code<dot>lisp file
File, Lisp, racer/nrql/api.lisp: The racer/nrql/api<dot>lisp file
File, Lisp, racer/nrql/basic-descriptions.lisp: The racer/nrql/basic-descriptions<dot>lisp file
File, Lisp, racer/nrql/basic-substrate.lisp: The racer/nrql/basic-substrate<dot>lisp file
File, Lisp, racer/nrql/cache-references.lisp: The racer/nrql/cache-references<dot>lisp file
File, Lisp, racer/nrql/caching-code.lisp: The racer/nrql/caching-code<dot>lisp file
File, Lisp, racer/nrql/common.lisp: The racer/nrql/common<dot>lisp file
File, Lisp, racer/nrql/compiler.lisp: The racer/nrql/compiler<dot>lisp file
File, Lisp, racer/nrql/dag.lisp: The racer/nrql/dag<dot>lisp file
File, Lisp, racer/nrql/data-substrate.lisp: The racer/nrql/data-substrate<dot>lisp file
File, Lisp, racer/nrql/defined-queries.lisp: The racer/nrql/defined-queries<dot>lisp file
File, Lisp, racer/nrql/dispatcher.lisp: The racer/nrql/dispatcher<dot>lisp file
File, Lisp, racer/nrql/dl-prover-interface.lisp: The racer/nrql/dl-prover-interface<dot>lisp file
File, Lisp, racer/nrql/execution.lisp: The racer/nrql/execution<dot>lisp file
File, Lisp, racer/nrql/expressions.lisp: The racer/nrql/expressions<dot>lisp file
File, Lisp, racer/nrql/get-next-tuple.lisp: The racer/nrql/get-next-tuple<dot>lisp file
File, Lisp, racer/nrql/hooks.lisp: The racer/nrql/hooks<dot>lisp file
File, Lisp, racer/nrql/interface.lisp: The racer/nrql/interface<dot>lisp file
File, Lisp, racer/nrql/macros.lisp: The racer/nrql/macros<dot>lisp file
File, Lisp, racer/nrql/messages.lisp: The racer/nrql/messages<dot>lisp file
File, Lisp, racer/nrql/mirror-data-substrate.lisp: The racer/nrql/mirror-data-substrate<dot>lisp file
File, Lisp, racer/nrql/nrql-queries.lisp: The racer/nrql/nrql-queries<dot>lisp file
File, Lisp, racer/nrql/nrql-version.lisp: The racer/nrql/nrql-version<dot>lisp file
File, Lisp, racer/nrql/optimizer.lisp: The racer/nrql/optimizer<dot>lisp file
File, Lisp, racer/nrql/parser.lisp: The racer/nrql/parser<dot>lisp file
File, Lisp, racer/nrql/persistence.lisp: The racer/nrql/persistence<dot>lisp file
File, Lisp, racer/nrql/preparation.lisp: The racer/nrql/preparation<dot>lisp file
File, Lisp, racer/nrql/process-pool.lisp: The racer/nrql/process-pool<dot>lisp file
File, Lisp, racer/nrql/process.lisp: The racer/nrql/process<dot>lisp file
File, Lisp, racer/nrql/query-realizer.lisp: The racer/nrql/query-realizer<dot>lisp file
File, Lisp, racer/nrql/query.lisp: The racer/nrql/query<dot>lisp file
File, Lisp, racer/nrql/racer-conversions.lisp: The racer/nrql/racer-conversions<dot>lisp file
File, Lisp, racer/nrql/racer-critical-functions.lisp: The racer/nrql/racer-critical-functions<dot>lisp file
File, Lisp, racer/nrql/rcc-substrate.lisp: The racer/nrql/rcc-substrate<dot>lisp file
File, Lisp, racer/nrql/reasoning.lisp: The racer/nrql/reasoning<dot>lisp file
File, Lisp, racer/nrql/repository.lisp: The racer/nrql/repository<dot>lisp file
File, Lisp, racer/nrql/rolebox.lisp: The racer/nrql/rolebox<dot>lisp file
File, Lisp, racer/nrql/specials.lisp: The racer/nrql/specials<dot>lisp file
File, Lisp, racer/nrql/subscribe.lisp: The racer/nrql/subscribe<dot>lisp file
File, Lisp, racer/nrql/syntactic-rewriting.lisp: The racer/nrql/syntactic-rewriting<dot>lisp file
File, Lisp, racer/nrql/syntactic-sugar.lisp: The racer/nrql/syntactic-sugar<dot>lisp file
File, Lisp, racer/nrql/syntax.lisp: The racer/nrql/syntax<dot>lisp file
File, Lisp, racer/nrql/tables.lisp: The racer/nrql/tables<dot>lisp file
File, Lisp, racer/nrql/tools.lisp: The racer/nrql/tools<dot>lisp file
File, Lisp, racer/nrql/tuple-construction.lisp: The racer/nrql/tuple-construction<dot>lisp file
File, Lisp, racer/nrql/xml-trafo.lisp: The racer/nrql/xml-trafo<dot>lisp file
File, Lisp, racer/num-restr.lisp: The racer/num-restr<dot>lisp file
File, Lisp, racer/online-doc/docgen.lisp: The racer/online-doc/docgen<dot>lisp file
File, Lisp, racer/online-doc/lambda-registry.lisp: The racer/online-doc/lambda-registry<dot>lisp file
File, Lisp, racer/online-doc/primhtml.lisp: The racer/online-doc/primhtml<dot>lisp file
File, Lisp, racer/owl-interface.lisp: The racer/owl-interface<dot>lisp file
File, Lisp, racer/owl-parser.lisp: The racer/owl-parser<dot>lisp file
File, Lisp, racer/owl-syntaxes/functional-renderer.lisp: The racer/owl-syntaxes/functional-renderer<dot>lisp file
File, Lisp, racer/owl-syntaxes/http-stream.lisp: The racer/owl-syntaxes/http-stream<dot>lisp file
File, Lisp, racer/owl-syntaxes/import-export.lisp: The racer/owl-syntaxes/import-export<dot>lisp file
File, Lisp, racer/owl-syntaxes/owl-functional.lisp: The racer/owl-syntaxes/owl-functional<dot>lisp file
File, Lisp, racer/owl-syntaxes/owl-import.lisp: The racer/owl-syntaxes/owl-import<dot>lisp file
File, Lisp, racer/owl-syntaxes/owl-renderer.lisp: The racer/owl-syntaxes/owl-renderer<dot>lisp file
File, Lisp, racer/owl-syntaxes/owllink-converter.lisp: The racer/owl-syntaxes/owllink-converter<dot>lisp file
File, Lisp, racer/owl-syntaxes/owllink-functional.lisp: The racer/owl-syntaxes/owllink-functional<dot>lisp file
File, Lisp, racer/owl-syntaxes/owllink-parsers.lisp: The racer/owl-syntaxes/owllink-parsers<dot>lisp file
File, Lisp, racer/owl-syntaxes/owllink-reasoner-bridge.lisp: The racer/owl-syntaxes/owllink-reasoner-bridge<dot>lisp file
File, Lisp, racer/owl-syntaxes/owllink-xml.lisp: The racer/owl-syntaxes/owllink-xml<dot>lisp file
File, Lisp, racer/owl-syntaxes/xml-renderer.lisp: The racer/owl-syntaxes/xml-renderer<dot>lisp file
File, Lisp, racer/owlapi/owlapi-persistence.lisp: The racer/owlapi/owlapi-persistence<dot>lisp file
File, Lisp, racer/owlapi/owlapi-reasoner-bridge.lisp: The racer/owlapi/owlapi-reasoner-bridge<dot>lisp file
File, Lisp, racer/owlapi/owlapi-synonyms.lisp: The racer/owlapi/owlapi-synonyms<dot>lisp file
File, Lisp, racer/owlapi/owlapi-tools.lisp: The racer/owlapi/owlapi-tools<dot>lisp file
File, Lisp, racer/owlapi/owlapi.lisp: The racer/owlapi/owlapi<dot>lisp file
File, Lisp, racer/owlapi/reasoners.lisp: The racer/owlapi/reasoners<dot>lisp file
File, Lisp, racer/owllink-interface.lisp: The racer/owllink-interface<dot>lisp file
File, Lisp, racer/persistence/persistence-package.lisp: The racer/persistence/persistence-package<dot>lisp file
File, Lisp, racer/persistence/racer-persistence.lisp: The racer/persistence/racer-persistence<dot>lisp file
File, Lisp, racer/progress.lisp: The racer/progress<dot>lisp file
File, Lisp, racer/racer-interface.lisp: The racer/racer-interface<dot>lisp file
File, Lisp, racer/racer-kernel/backtrack-stack.lisp: The racer/racer-kernel/backtrack-stack<dot>lisp file
File, Lisp, racer/racer-kernel/cd-satisfiable.lisp: The racer/racer-kernel/cd-satisfiable<dot>lisp file
File, Lisp, racer/racer-kernel/clash-handling.lisp: The racer/racer-kernel/clash-handling<dot>lisp file
File, Lisp, racer/racer-kernel/concept-structures.lisp: The racer/racer-kernel/concept-structures<dot>lisp file
File, Lisp, racer/racer-kernel/concrete-domains.lisp: The racer/racer-kernel/concrete-domains<dot>lisp file
File, Lisp, racer/racer-kernel/constraint-store.lisp: The racer/racer-kernel/constraint-store<dot>lisp file
File, Lisp, racer/racer-kernel/copy-support.lisp: The racer/racer-kernel/copy-support<dot>lisp file
File, Lisp, racer/racer-kernel/dependency-utilities.lisp: The racer/racer-kernel/dependency-utilities<dot>lisp file
File, Lisp, racer/racer-kernel/disjunct-statistics.lisp: The racer/racer-kernel/disjunct-statistics<dot>lisp file
File, Lisp, racer/racer-kernel/dl-descriptor-persistence.lisp: The racer/racer-kernel/dl-descriptor-persistence<dot>lisp file
File, Lisp, racer/racer-kernel/dl-language.lisp: The racer/racer-kernel/dl-language<dot>lisp file
File, Lisp, racer/racer-kernel/encoding.lisp: The racer/racer-kernel/encoding<dot>lisp file
File, Lisp, racer/racer-kernel/individual-structures.lisp: The racer/racer-kernel/individual-structures<dot>lisp file
File, Lisp, racer/racer-kernel/kernel-state-structures.lisp: The racer/racer-kernel/kernel-state-structures<dot>lisp file
File, Lisp, racer/racer-kernel/kernel-structures.lisp: The racer/racer-kernel/kernel-structures<dot>lisp file
File, Lisp, racer/racer-kernel/label-info-structures.lisp: The racer/racer-kernel/label-info-structures<dot>lisp file
File, Lisp, racer/racer-kernel/lookahead.lisp: The racer/racer-kernel/lookahead<dot>lisp file
File, Lisp, racer/racer-kernel/models.lisp: The racer/racer-kernel/models<dot>lisp file
File, Lisp, racer/racer-kernel/racer-parameters.lisp: The racer/racer-kernel/racer-parameters<dot>lisp file
File, Lisp, racer/racer-kernel/racer-statistics.lisp: The racer/racer-kernel/racer-statistics<dot>lisp file
File, Lisp, racer/racer-kernel/racer-utilities.lisp: The racer/racer-kernel/racer-utilities<dot>lisp file
File, Lisp, racer/racer-kernel/racer.lisp: The racer/racer-kernel/racer<dot>lisp file
File, Lisp, racer/racer-kernel/relation-store.lisp: The racer/racer-kernel/relation-store<dot>lisp file
File, Lisp, racer/racer-kernel/role-structures.lisp: The racer/racer-kernel/role-structures<dot>lisp file
File, Lisp, racer/racer-kernel/set-operations.lisp: The racer/racer-kernel/set-operations<dot>lisp file
File, Lisp, racer/racer-kernel/set-structure.lisp: The racer/racer-kernel/set-structure<dot>lisp file
File, Lisp, racer/racer-kernel/signatures.lisp: The racer/racer-kernel/signatures<dot>lisp file
File, Lisp, racer/racer-kernel/solver-structures.lisp: The racer/racer-kernel/solver-structures<dot>lisp file
File, Lisp, racer/racer-kernel/sparse-array.lisp: The racer/racer-kernel/sparse-array<dot>lisp file
File, Lisp, racer/racer-kernel/structures-id.lisp: The racer/racer-kernel/structures-id<dot>lisp file
File, Lisp, racer/racer-kernel/subgraph-structure.lisp: The racer/racer-kernel/subgraph-structure<dot>lisp file
File, Lisp, racer/racer-kernel/subset-cache.lisp: The racer/racer-kernel/subset-cache<dot>lisp file
File, Lisp, racer/racer-kernel/tbox-structure.lisp: The racer/racer-kernel/tbox-structure<dot>lisp file
File, Lisp, racer/racer-kernel/termination.lisp: The racer/racer-kernel/termination<dot>lisp file
File, Lisp, racer/racer-kernel/variables-support.lisp: The racer/racer-kernel/variables-support<dot>lisp file
File, Lisp, racer/racer-package.lisp: The racer/racer-package<dot>lisp file
File, Lisp, racer/racer-tools/abox.lisp: The racer/racer-tools/abox<dot>lisp file
File, Lisp, racer/racer-tools/divisible.lisp: The racer/racer-tools/divisible<dot>lisp file
File, Lisp, racer/racer-tools/gci-absorption-structures.lisp: The racer/racer-tools/gci-absorption-structures<dot>lisp file
File, Lisp, racer/racer-tools/gci-absorption.lisp: The racer/racer-tools/gci-absorption<dot>lisp file
File, Lisp, racer/racer-tools/gen-model.lisp: The racer/racer-tools/gen-model<dot>lisp file
File, Lisp, racer/racer-tools/kb.lisp: The racer/racer-tools/kb<dot>lisp file
File, Lisp, racer/racer-tools/lin-int-inequations.lisp: The racer/racer-tools/lin-int-inequations<dot>lisp file
File, Lisp, racer/racer-tools/linear-inequations.lisp: The racer/racer-tools/linear-inequations<dot>lisp file
File, Lisp, racer/racer-tools/nonlin-inequations.lisp: The racer/racer-tools/nonlin-inequations<dot>lisp file
File, Lisp, racer/racer-tools/query-optimizer.lisp: The racer/racer-tools/query-optimizer<dot>lisp file
File, Lisp, racer/racer-tools/string-inequations.lisp: The racer/racer-tools/string-inequations<dot>lisp file
File, Lisp, racer/racer-tools/tbox.lisp: The racer/racer-tools/tbox<dot>lisp file
File, Lisp, racer/racer-tools/timeout.lisp: The racer/racer-tools/timeout<dot>lisp file
File, Lisp, racer/racer-user-package.lisp: The racer/racer-user-package<dot>lisp file
File, Lisp, racer/readtable.lisp: The racer/readtable<dot>lisp file
File, Lisp, racer/rules.lisp: The racer/rules<dot>lisp file
File, Lisp, racer/sbcl-patches.lisp: The racer/sbcl-patches<dot>lisp file
File, Lisp, racer/server-functions.lisp: The racer/server-functions<dot>lisp file
File, Lisp, racer/setup-readtable.lisp: The racer/setup-readtable<dot>lisp file
File, Lisp, racer/simplex-support.lisp: The racer/simplex-support<dot>lisp file
File, Lisp, racer/storage-management.lisp: The racer/storage-management<dot>lisp file
File, Lisp, racer/swrl-interface.lisp: The racer/swrl-interface<dot>lisp file
File, Lisp, racer/trace-support.lisp: The racer/trace-support<dot>lisp file
File, Lisp, racer/utils.lisp: The racer/utils<dot>lisp file
File, Lisp, racer/version.lisp: The racer/version<dot>lisp file
File, Lisp, racer/warnings.lisp: The racer/warnings<dot>lisp file
File, Lisp, racer/wilbur/core-constants.lisp: The racer/wilbur/core-constants<dot>lisp file
File, Lisp, racer/wilbur/data-sources.lisp: The racer/wilbur/data-sources<dot>lisp file
File, Lisp, racer/wilbur/data.lisp: The racer/wilbur/data<dot>lisp file
File, Lisp, racer/wilbur/http.lisp: The racer/wilbur/http<dot>lisp file
File, Lisp, racer/wilbur/literal.lisp: The racer/wilbur/literal<dot>lisp file
File, Lisp, racer/wilbur/nox-package.lisp: The racer/wilbur/nox-package<dot>lisp file
File, Lisp, racer/wilbur/rdf-parser.lisp: The racer/wilbur/rdf-parser<dot>lisp file
File, Lisp, racer/wilbur/wilbur-package.lisp: The racer/wilbur/wilbur-package<dot>lisp file
File, Lisp, racer/wilbur/wilbur-ql.lisp: The racer/wilbur/wilbur-ql<dot>lisp file
File, Lisp, racer/wilbur/xml-parser.lisp: The racer/wilbur/xml-parser<dot>lisp file
File, Lisp, racer/wilbur/xml-util.lisp: The racer/wilbur/xml-util<dot>lisp file
File, Lisp, racer/xml-interface.lisp: The racer/xml-interface<dot>lisp file
L
Lisp File, racer.asd: The racer<dot>asd file
Lisp File, racer/abduction.lisp: The racer/abduction<dot>lisp file
Lisp File, racer/abox-diff.lisp: The racer/abox-diff<dot>lisp file
Lisp File, racer/benchmark-support.lisp: The racer/benchmark-support<dot>lisp file
Lisp File, racer/critical-section.lisp: The racer/critical-section<dot>lisp file
Lisp File, racer/dig-interface.lisp: The racer/dig-interface<dot>lisp file
Lisp File, racer/docgen-stubs.lisp: The racer/docgen-stubs<dot>lisp file
Lisp File, racer/ersatz-racer-server.lisp: The racer/ersatz-racer-server<dot>lisp file
Lisp File, racer/gomory.lisp: The racer/gomory<dot>lisp file
Lisp File, racer/individual-queries.lisp: The racer/individual-queries<dot>lisp file
Lisp File, racer/initialize-default-kb.lisp: The racer/initialize-default-kb<dot>lisp file
Lisp File, racer/internal-ind-queries.lisp: The racer/internal-ind-queries<dot>lisp file
Lisp File, racer/krss-owl-export.lisp: The racer/krss-owl-export<dot>lisp file
Lisp File, racer/nonstandard-inferences.lisp: The racer/nonstandard-inferences<dot>lisp file
Lisp File, racer/nrql-packages/nrql-packages.lisp: The racer/nrql-packages/nrql-packages<dot>lisp file
Lisp File, racer/nrql-packages/owl-syntaxes-package.lisp: The racer/nrql-packages/owl-syntaxes-package<dot>lisp file
Lisp File, racer/nrql-packages/owlapi-package.lisp: The racer/nrql-packages/owlapi-package<dot>lisp file
Lisp File, racer/nrql-symbols.lisp: The racer/nrql-symbols<dot>lisp file
Lisp File, racer/nrql/abox-queries-code.lisp: The racer/nrql/abox-queries-code<dot>lisp file
Lisp File, racer/nrql/api.lisp: The racer/nrql/api<dot>lisp file
Lisp File, racer/nrql/basic-descriptions.lisp: The racer/nrql/basic-descriptions<dot>lisp file
Lisp File, racer/nrql/basic-substrate.lisp: The racer/nrql/basic-substrate<dot>lisp file
Lisp File, racer/nrql/cache-references.lisp: The racer/nrql/cache-references<dot>lisp file
Lisp File, racer/nrql/caching-code.lisp: The racer/nrql/caching-code<dot>lisp file
Lisp File, racer/nrql/common.lisp: The racer/nrql/common<dot>lisp file
Lisp File, racer/nrql/compiler.lisp: The racer/nrql/compiler<dot>lisp file
Lisp File, racer/nrql/dag.lisp: The racer/nrql/dag<dot>lisp file
Lisp File, racer/nrql/data-substrate.lisp: The racer/nrql/data-substrate<dot>lisp file
Lisp File, racer/nrql/defined-queries.lisp: The racer/nrql/defined-queries<dot>lisp file
Lisp File, racer/nrql/dispatcher.lisp: The racer/nrql/dispatcher<dot>lisp file
Lisp File, racer/nrql/dl-prover-interface.lisp: The racer/nrql/dl-prover-interface<dot>lisp file
Lisp File, racer/nrql/execution.lisp: The racer/nrql/execution<dot>lisp file
Lisp File, racer/nrql/expressions.lisp: The racer/nrql/expressions<dot>lisp file
Lisp File, racer/nrql/get-next-tuple.lisp: The racer/nrql/get-next-tuple<dot>lisp file
Lisp File, racer/nrql/hooks.lisp: The racer/nrql/hooks<dot>lisp file
Lisp File, racer/nrql/interface.lisp: The racer/nrql/interface<dot>lisp file
Lisp File, racer/nrql/macros.lisp: The racer/nrql/macros<dot>lisp file
Lisp File, racer/nrql/messages.lisp: The racer/nrql/messages<dot>lisp file
Lisp File, racer/nrql/mirror-data-substrate.lisp: The racer/nrql/mirror-data-substrate<dot>lisp file
Lisp File, racer/nrql/nrql-queries.lisp: The racer/nrql/nrql-queries<dot>lisp file
Lisp File, racer/nrql/nrql-version.lisp: The racer/nrql/nrql-version<dot>lisp file
Lisp File, racer/nrql/optimizer.lisp: The racer/nrql/optimizer<dot>lisp file
Lisp File, racer/nrql/parser.lisp: The racer/nrql/parser<dot>lisp file
Lisp File, racer/nrql/persistence.lisp: The racer/nrql/persistence<dot>lisp file
Lisp File, racer/nrql/preparation.lisp: The racer/nrql/preparation<dot>lisp file
Lisp File, racer/nrql/process-pool.lisp: The racer/nrql/process-pool<dot>lisp file
Lisp File, racer/nrql/process.lisp: The racer/nrql/process<dot>lisp file
Lisp File, racer/nrql/query-realizer.lisp: The racer/nrql/query-realizer<dot>lisp file
Lisp File, racer/nrql/query.lisp: The racer/nrql/query<dot>lisp file
Lisp File, racer/nrql/racer-conversions.lisp: The racer/nrql/racer-conversions<dot>lisp file
Lisp File, racer/nrql/racer-critical-functions.lisp: The racer/nrql/racer-critical-functions<dot>lisp file
Lisp File, racer/nrql/rcc-substrate.lisp: The racer/nrql/rcc-substrate<dot>lisp file
Lisp File, racer/nrql/reasoning.lisp: The racer/nrql/reasoning<dot>lisp file
Lisp File, racer/nrql/repository.lisp: The racer/nrql/repository<dot>lisp file
Lisp File, racer/nrql/rolebox.lisp: The racer/nrql/rolebox<dot>lisp file
Lisp File, racer/nrql/specials.lisp: The racer/nrql/specials<dot>lisp file
Lisp File, racer/nrql/subscribe.lisp: The racer/nrql/subscribe<dot>lisp file
Lisp File, racer/nrql/syntactic-rewriting.lisp: The racer/nrql/syntactic-rewriting<dot>lisp file
Lisp File, racer/nrql/syntactic-sugar.lisp: The racer/nrql/syntactic-sugar<dot>lisp file
Lisp File, racer/nrql/syntax.lisp: The racer/nrql/syntax<dot>lisp file
Lisp File, racer/nrql/tables.lisp: The racer/nrql/tables<dot>lisp file
Lisp File, racer/nrql/tools.lisp: The racer/nrql/tools<dot>lisp file
Lisp File, racer/nrql/tuple-construction.lisp: The racer/nrql/tuple-construction<dot>lisp file
Lisp File, racer/nrql/xml-trafo.lisp: The racer/nrql/xml-trafo<dot>lisp file
Lisp File, racer/num-restr.lisp: The racer/num-restr<dot>lisp file
Lisp File, racer/online-doc/docgen.lisp: The racer/online-doc/docgen<dot>lisp file
Lisp File, racer/online-doc/lambda-registry.lisp: The racer/online-doc/lambda-registry<dot>lisp file
Lisp File, racer/online-doc/primhtml.lisp: The racer/online-doc/primhtml<dot>lisp file
Lisp File, racer/owl-interface.lisp: The racer/owl-interface<dot>lisp file
Lisp File, racer/owl-parser.lisp: The racer/owl-parser<dot>lisp file
Lisp File, racer/owl-syntaxes/functional-renderer.lisp: The racer/owl-syntaxes/functional-renderer<dot>lisp file
Lisp File, racer/owl-syntaxes/http-stream.lisp: The racer/owl-syntaxes/http-stream<dot>lisp file
Lisp File, racer/owl-syntaxes/import-export.lisp: The racer/owl-syntaxes/import-export<dot>lisp file
Lisp File, racer/owl-syntaxes/owl-functional.lisp: The racer/owl-syntaxes/owl-functional<dot>lisp file
Lisp File, racer/owl-syntaxes/owl-import.lisp: The racer/owl-syntaxes/owl-import<dot>lisp file
Lisp File, racer/owl-syntaxes/owl-renderer.lisp: The racer/owl-syntaxes/owl-renderer<dot>lisp file
Lisp File, racer/owl-syntaxes/owllink-converter.lisp: The racer/owl-syntaxes/owllink-converter<dot>lisp file
Lisp File, racer/owl-syntaxes/owllink-functional.lisp: The racer/owl-syntaxes/owllink-functional<dot>lisp file
Lisp File, racer/owl-syntaxes/owllink-parsers.lisp: The racer/owl-syntaxes/owllink-parsers<dot>lisp file
Lisp File, racer/owl-syntaxes/owllink-reasoner-bridge.lisp: The racer/owl-syntaxes/owllink-reasoner-bridge<dot>lisp file
Lisp File, racer/owl-syntaxes/owllink-xml.lisp: The racer/owl-syntaxes/owllink-xml<dot>lisp file
Lisp File, racer/owl-syntaxes/xml-renderer.lisp: The racer/owl-syntaxes/xml-renderer<dot>lisp file
Lisp File, racer/owlapi/owlapi-persistence.lisp: The racer/owlapi/owlapi-persistence<dot>lisp file
Lisp File, racer/owlapi/owlapi-reasoner-bridge.lisp: The racer/owlapi/owlapi-reasoner-bridge<dot>lisp file
Lisp File, racer/owlapi/owlapi-synonyms.lisp: The racer/owlapi/owlapi-synonyms<dot>lisp file
Lisp File, racer/owlapi/owlapi-tools.lisp: The racer/owlapi/owlapi-tools<dot>lisp file
Lisp File, racer/owlapi/owlapi.lisp: The racer/owlapi/owlapi<dot>lisp file
Lisp File, racer/owlapi/reasoners.lisp: The racer/owlapi/reasoners<dot>lisp file
Lisp File, racer/owllink-interface.lisp: The racer/owllink-interface<dot>lisp file
Lisp File, racer/persistence/persistence-package.lisp: The racer/persistence/persistence-package<dot>lisp file
Lisp File, racer/persistence/racer-persistence.lisp: The racer/persistence/racer-persistence<dot>lisp file
Lisp File, racer/progress.lisp: The racer/progress<dot>lisp file
Lisp File, racer/racer-interface.lisp: The racer/racer-interface<dot>lisp file
Lisp File, racer/racer-kernel/backtrack-stack.lisp: The racer/racer-kernel/backtrack-stack<dot>lisp file
Lisp File, racer/racer-kernel/cd-satisfiable.lisp: The racer/racer-kernel/cd-satisfiable<dot>lisp file
Lisp File, racer/racer-kernel/clash-handling.lisp: The racer/racer-kernel/clash-handling<dot>lisp file
Lisp File, racer/racer-kernel/concept-structures.lisp: The racer/racer-kernel/concept-structures<dot>lisp file
Lisp File, racer/racer-kernel/concrete-domains.lisp: The racer/racer-kernel/concrete-domains<dot>lisp file
Lisp File, racer/racer-kernel/constraint-store.lisp: The racer/racer-kernel/constraint-store<dot>lisp file
Lisp File, racer/racer-kernel/copy-support.lisp: The racer/racer-kernel/copy-support<dot>lisp file
Lisp File, racer/racer-kernel/dependency-utilities.lisp: The racer/racer-kernel/dependency-utilities<dot>lisp file
Lisp File, racer/racer-kernel/disjunct-statistics.lisp: The racer/racer-kernel/disjunct-statistics<dot>lisp file
Lisp File, racer/racer-kernel/dl-descriptor-persistence.lisp: The racer/racer-kernel/dl-descriptor-persistence<dot>lisp file
Lisp File, racer/racer-kernel/dl-language.lisp: The racer/racer-kernel/dl-language<dot>lisp file
Lisp File, racer/racer-kernel/encoding.lisp: The racer/racer-kernel/encoding<dot>lisp file
Lisp File, racer/racer-kernel/individual-structures.lisp: The racer/racer-kernel/individual-structures<dot>lisp file
Lisp File, racer/racer-kernel/kernel-state-structures.lisp: The racer/racer-kernel/kernel-state-structures<dot>lisp file
Lisp File, racer/racer-kernel/kernel-structures.lisp: The racer/racer-kernel/kernel-structures<dot>lisp file
Lisp File, racer/racer-kernel/label-info-structures.lisp: The racer/racer-kernel/label-info-structures<dot>lisp file
Lisp File, racer/racer-kernel/lookahead.lisp: The racer/racer-kernel/lookahead<dot>lisp file
Lisp File, racer/racer-kernel/models.lisp: The racer/racer-kernel/models<dot>lisp file
Lisp File, racer/racer-kernel/racer-parameters.lisp: The racer/racer-kernel/racer-parameters<dot>lisp file
Lisp File, racer/racer-kernel/racer-statistics.lisp: The racer/racer-kernel/racer-statistics<dot>lisp file
Lisp File, racer/racer-kernel/racer-utilities.lisp: The racer/racer-kernel/racer-utilities<dot>lisp file
Lisp File, racer/racer-kernel/racer.lisp: The racer/racer-kernel/racer<dot>lisp file
Lisp File, racer/racer-kernel/relation-store.lisp: The racer/racer-kernel/relation-store<dot>lisp file
Lisp File, racer/racer-kernel/role-structures.lisp: The racer/racer-kernel/role-structures<dot>lisp file
Lisp File, racer/racer-kernel/set-operations.lisp: The racer/racer-kernel/set-operations<dot>lisp file
Lisp File, racer/racer-kernel/set-structure.lisp: The racer/racer-kernel/set-structure<dot>lisp file
Lisp File, racer/racer-kernel/signatures.lisp: The racer/racer-kernel/signatures<dot>lisp file
Lisp File, racer/racer-kernel/solver-structures.lisp: The racer/racer-kernel/solver-structures<dot>lisp file
Lisp File, racer/racer-kernel/sparse-array.lisp: The racer/racer-kernel/sparse-array<dot>lisp file
Lisp File, racer/racer-kernel/structures-id.lisp: The racer/racer-kernel/structures-id<dot>lisp file
Lisp File, racer/racer-kernel/subgraph-structure.lisp: The racer/racer-kernel/subgraph-structure<dot>lisp file
Lisp File, racer/racer-kernel/subset-cache.lisp: The racer/racer-kernel/subset-cache<dot>lisp file
Lisp File, racer/racer-kernel/tbox-structure.lisp: The racer/racer-kernel/tbox-structure<dot>lisp file
Lisp File, racer/racer-kernel/termination.lisp: The racer/racer-kernel/termination<dot>lisp file
Lisp File, racer/racer-kernel/variables-support.lisp: The racer/racer-kernel/variables-support<dot>lisp file
Lisp File, racer/racer-package.lisp: The racer/racer-package<dot>lisp file
Lisp File, racer/racer-tools/abox.lisp: The racer/racer-tools/abox<dot>lisp file
Lisp File, racer/racer-tools/divisible.lisp: The racer/racer-tools/divisible<dot>lisp file
Lisp File, racer/racer-tools/gci-absorption-structures.lisp: The racer/racer-tools/gci-absorption-structures<dot>lisp file
Lisp File, racer/racer-tools/gci-absorption.lisp: The racer/racer-tools/gci-absorption<dot>lisp file
Lisp File, racer/racer-tools/gen-model.lisp: The racer/racer-tools/gen-model<dot>lisp file
Lisp File, racer/racer-tools/kb.lisp: The racer/racer-tools/kb<dot>lisp file
Lisp File, racer/racer-tools/lin-int-inequations.lisp: The racer/racer-tools/lin-int-inequations<dot>lisp file
Lisp File, racer/racer-tools/linear-inequations.lisp: The racer/racer-tools/linear-inequations<dot>lisp file
Lisp File, racer/racer-tools/nonlin-inequations.lisp: The racer/racer-tools/nonlin-inequations<dot>lisp file
Lisp File, racer/racer-tools/query-optimizer.lisp: The racer/racer-tools/query-optimizer<dot>lisp file
Lisp File, racer/racer-tools/string-inequations.lisp: The racer/racer-tools/string-inequations<dot>lisp file
Lisp File, racer/racer-tools/tbox.lisp: The racer/racer-tools/tbox<dot>lisp file
Lisp File, racer/racer-tools/timeout.lisp: The racer/racer-tools/timeout<dot>lisp file
Lisp File, racer/racer-user-package.lisp: The racer/racer-user-package<dot>lisp file
Lisp File, racer/readtable.lisp: The racer/readtable<dot>lisp file
Lisp File, racer/rules.lisp: The racer/rules<dot>lisp file
Lisp File, racer/sbcl-patches.lisp: The racer/sbcl-patches<dot>lisp file
Lisp File, racer/server-functions.lisp: The racer/server-functions<dot>lisp file
Lisp File, racer/setup-readtable.lisp: The racer/setup-readtable<dot>lisp file
Lisp File, racer/simplex-support.lisp: The racer/simplex-support<dot>lisp file
Lisp File, racer/storage-management.lisp: The racer/storage-management<dot>lisp file
Lisp File, racer/swrl-interface.lisp: The racer/swrl-interface<dot>lisp file
Lisp File, racer/trace-support.lisp: The racer/trace-support<dot>lisp file
Lisp File, racer/utils.lisp: The racer/utils<dot>lisp file
Lisp File, racer/version.lisp: The racer/version<dot>lisp file
Lisp File, racer/warnings.lisp: The racer/warnings<dot>lisp file
Lisp File, racer/wilbur/core-constants.lisp: The racer/wilbur/core-constants<dot>lisp file
Lisp File, racer/wilbur/data-sources.lisp: The racer/wilbur/data-sources<dot>lisp file
Lisp File, racer/wilbur/data.lisp: The racer/wilbur/data<dot>lisp file
Lisp File, racer/wilbur/http.lisp: The racer/wilbur/http<dot>lisp file
Lisp File, racer/wilbur/literal.lisp: The racer/wilbur/literal<dot>lisp file
Lisp File, racer/wilbur/nox-package.lisp: The racer/wilbur/nox-package<dot>lisp file
Lisp File, racer/wilbur/rdf-parser.lisp: The racer/wilbur/rdf-parser<dot>lisp file
Lisp File, racer/wilbur/wilbur-package.lisp: The racer/wilbur/wilbur-package<dot>lisp file
Lisp File, racer/wilbur/wilbur-ql.lisp: The racer/wilbur/wilbur-ql<dot>lisp file
Lisp File, racer/wilbur/xml-parser.lisp: The racer/wilbur/xml-parser<dot>lisp file
Lisp File, racer/wilbur/xml-util.lisp: The racer/wilbur/xml-util<dot>lisp file
Lisp File, racer/xml-interface.lisp: The racer/xml-interface<dot>lisp file
M
Module, racer/nrql: The racer/nrql module
Module, racer/nrql-packages: The racer/nrql-packages module
Module, racer/online-doc: The racer/online-doc module
Module, racer/owl-syntaxes: The racer/owl-syntaxes module
Module, racer/owlapi: The racer/owlapi module
Module, racer/persistence: The racer/persistence module
Module, racer/racer-kernel: The racer/racer-kernel module
Module, racer/racer-tools: The racer/racer-tools module
Module, racer/wilbur: The racer/wilbur module
R
racer.asd: The racer<dot>asd file
racer/abduction.lisp: The racer/abduction<dot>lisp file
racer/abox-diff.lisp: The racer/abox-diff<dot>lisp file
racer/benchmark-support.lisp: The racer/benchmark-support<dot>lisp file
racer/critical-section.lisp: The racer/critical-section<dot>lisp file
racer/dig-interface.lisp: The racer/dig-interface<dot>lisp file
racer/docgen-stubs.lisp: The racer/docgen-stubs<dot>lisp file
racer/ersatz-racer-server.lisp: The racer/ersatz-racer-server<dot>lisp file
racer/gomory.lisp: The racer/gomory<dot>lisp file
racer/individual-queries.lisp: The racer/individual-queries<dot>lisp file
racer/initialize-default-kb.lisp: The racer/initialize-default-kb<dot>lisp file
racer/internal-ind-queries.lisp: The racer/internal-ind-queries<dot>lisp file
racer/krss-owl-export.lisp: The racer/krss-owl-export<dot>lisp file
racer/nonstandard-inferences.lisp: The racer/nonstandard-inferences<dot>lisp file
racer/nrql: The racer/nrql module
racer/nrql-packages: The racer/nrql-packages module
racer/nrql-packages/nrql-packages.lisp: The racer/nrql-packages/nrql-packages<dot>lisp file
racer/nrql-packages/owl-syntaxes-package.lisp: The racer/nrql-packages/owl-syntaxes-package<dot>lisp file
racer/nrql-packages/owlapi-package.lisp: The racer/nrql-packages/owlapi-package<dot>lisp file
racer/nrql-symbols.lisp: The racer/nrql-symbols<dot>lisp file
racer/nrql/abox-queries-code.lisp: The racer/nrql/abox-queries-code<dot>lisp file
racer/nrql/api.lisp: The racer/nrql/api<dot>lisp file
racer/nrql/basic-descriptions.lisp: The racer/nrql/basic-descriptions<dot>lisp file
racer/nrql/basic-substrate.lisp: The racer/nrql/basic-substrate<dot>lisp file
racer/nrql/cache-references.lisp: The racer/nrql/cache-references<dot>lisp file
racer/nrql/caching-code.lisp: The racer/nrql/caching-code<dot>lisp file
racer/nrql/common.lisp: The racer/nrql/common<dot>lisp file
racer/nrql/compiler.lisp: The racer/nrql/compiler<dot>lisp file
racer/nrql/dag.lisp: The racer/nrql/dag<dot>lisp file
racer/nrql/data-substrate.lisp: The racer/nrql/data-substrate<dot>lisp file
racer/nrql/defined-queries.lisp: The racer/nrql/defined-queries<dot>lisp file
racer/nrql/dispatcher.lisp: The racer/nrql/dispatcher<dot>lisp file
racer/nrql/dl-prover-interface.lisp: The racer/nrql/dl-prover-interface<dot>lisp file
racer/nrql/execution.lisp: The racer/nrql/execution<dot>lisp file
racer/nrql/expressions.lisp: The racer/nrql/expressions<dot>lisp file
racer/nrql/get-next-tuple.lisp: The racer/nrql/get-next-tuple<dot>lisp file
racer/nrql/hooks.lisp: The racer/nrql/hooks<dot>lisp file
racer/nrql/interface.lisp: The racer/nrql/interface<dot>lisp file
racer/nrql/macros.lisp: The racer/nrql/macros<dot>lisp file
racer/nrql/messages.lisp: The racer/nrql/messages<dot>lisp file
racer/nrql/mirror-data-substrate.lisp: The racer/nrql/mirror-data-substrate<dot>lisp file
racer/nrql/nrql-queries.lisp: The racer/nrql/nrql-queries<dot>lisp file
racer/nrql/nrql-version.lisp: The racer/nrql/nrql-version<dot>lisp file
racer/nrql/optimizer.lisp: The racer/nrql/optimizer<dot>lisp file
racer/nrql/parser.lisp: The racer/nrql/parser<dot>lisp file
racer/nrql/persistence.lisp: The racer/nrql/persistence<dot>lisp file
racer/nrql/preparation.lisp: The racer/nrql/preparation<dot>lisp file
racer/nrql/process-pool.lisp: The racer/nrql/process-pool<dot>lisp file
racer/nrql/process.lisp: The racer/nrql/process<dot>lisp file
racer/nrql/query-realizer.lisp: The racer/nrql/query-realizer<dot>lisp file
racer/nrql/query.lisp: The racer/nrql/query<dot>lisp file
racer/nrql/racer-conversions.lisp: The racer/nrql/racer-conversions<dot>lisp file
racer/nrql/racer-critical-functions.lisp: The racer/nrql/racer-critical-functions<dot>lisp file
racer/nrql/rcc-substrate.lisp: The racer/nrql/rcc-substrate<dot>lisp file
racer/nrql/reasoning.lisp: The racer/nrql/reasoning<dot>lisp file
racer/nrql/repository.lisp: The racer/nrql/repository<dot>lisp file
racer/nrql/rolebox.lisp: The racer/nrql/rolebox<dot>lisp file
racer/nrql/specials.lisp: The racer/nrql/specials<dot>lisp file
racer/nrql/subscribe.lisp: The racer/nrql/subscribe<dot>lisp file
racer/nrql/syntactic-rewriting.lisp: The racer/nrql/syntactic-rewriting<dot>lisp file
racer/nrql/syntactic-sugar.lisp: The racer/nrql/syntactic-sugar<dot>lisp file
racer/nrql/syntax.lisp: The racer/nrql/syntax<dot>lisp file
racer/nrql/tables.lisp: The racer/nrql/tables<dot>lisp file
racer/nrql/tools.lisp: The racer/nrql/tools<dot>lisp file
racer/nrql/tuple-construction.lisp: The racer/nrql/tuple-construction<dot>lisp file
racer/nrql/xml-trafo.lisp: The racer/nrql/xml-trafo<dot>lisp file
racer/num-restr.lisp: The racer/num-restr<dot>lisp file
racer/online-doc: The racer/online-doc module
racer/online-doc/docgen.lisp: The racer/online-doc/docgen<dot>lisp file
racer/online-doc/lambda-registry.lisp: The racer/online-doc/lambda-registry<dot>lisp file
racer/online-doc/primhtml.lisp: The racer/online-doc/primhtml<dot>lisp file
racer/owl-interface.lisp: The racer/owl-interface<dot>lisp file
racer/owl-parser.lisp: The racer/owl-parser<dot>lisp file
racer/owl-syntaxes: The racer/owl-syntaxes module
racer/owl-syntaxes/functional-renderer.lisp: The racer/owl-syntaxes/functional-renderer<dot>lisp file
racer/owl-syntaxes/http-stream.lisp: The racer/owl-syntaxes/http-stream<dot>lisp file
racer/owl-syntaxes/import-export.lisp: The racer/owl-syntaxes/import-export<dot>lisp file
racer/owl-syntaxes/owl-functional.lisp: The racer/owl-syntaxes/owl-functional<dot>lisp file
racer/owl-syntaxes/owl-import.lisp: The racer/owl-syntaxes/owl-import<dot>lisp file
racer/owl-syntaxes/owl-renderer.lisp: The racer/owl-syntaxes/owl-renderer<dot>lisp file
racer/owl-syntaxes/owllink-converter.lisp: The racer/owl-syntaxes/owllink-converter<dot>lisp file
racer/owl-syntaxes/owllink-functional.lisp: The racer/owl-syntaxes/owllink-functional<dot>lisp file
racer/owl-syntaxes/owllink-parsers.lisp: The racer/owl-syntaxes/owllink-parsers<dot>lisp file
racer/owl-syntaxes/owllink-reasoner-bridge.lisp: The racer/owl-syntaxes/owllink-reasoner-bridge<dot>lisp file
racer/owl-syntaxes/owllink-xml.lisp: The racer/owl-syntaxes/owllink-xml<dot>lisp file
racer/owl-syntaxes/xml-renderer.lisp: The racer/owl-syntaxes/xml-renderer<dot>lisp file
racer/owlapi: The racer/owlapi module
racer/owlapi/owlapi-persistence.lisp: The racer/owlapi/owlapi-persistence<dot>lisp file
racer/owlapi/owlapi-reasoner-bridge.lisp: The racer/owlapi/owlapi-reasoner-bridge<dot>lisp file
racer/owlapi/owlapi-synonyms.lisp: The racer/owlapi/owlapi-synonyms<dot>lisp file
racer/owlapi/owlapi-tools.lisp: The racer/owlapi/owlapi-tools<dot>lisp file
racer/owlapi/owlapi.lisp: The racer/owlapi/owlapi<dot>lisp file
racer/owlapi/reasoners.lisp: The racer/owlapi/reasoners<dot>lisp file
racer/owllink-interface.lisp: The racer/owllink-interface<dot>lisp file
racer/persistence: The racer/persistence module
racer/persistence/persistence-package.lisp: The racer/persistence/persistence-package<dot>lisp file
racer/persistence/racer-persistence.lisp: The racer/persistence/racer-persistence<dot>lisp file
racer/progress.lisp: The racer/progress<dot>lisp file
racer/racer-interface.lisp: The racer/racer-interface<dot>lisp file
racer/racer-kernel: The racer/racer-kernel module
racer/racer-kernel/backtrack-stack.lisp: The racer/racer-kernel/backtrack-stack<dot>lisp file
racer/racer-kernel/cd-satisfiable.lisp: The racer/racer-kernel/cd-satisfiable<dot>lisp file
racer/racer-kernel/clash-handling.lisp: The racer/racer-kernel/clash-handling<dot>lisp file
racer/racer-kernel/concept-structures.lisp: The racer/racer-kernel/concept-structures<dot>lisp file
racer/racer-kernel/concrete-domains.lisp: The racer/racer-kernel/concrete-domains<dot>lisp file
racer/racer-kernel/constraint-store.lisp: The racer/racer-kernel/constraint-store<dot>lisp file
racer/racer-kernel/copy-support.lisp: The racer/racer-kernel/copy-support<dot>lisp file
racer/racer-kernel/dependency-utilities.lisp: The racer/racer-kernel/dependency-utilities<dot>lisp file
racer/racer-kernel/disjunct-statistics.lisp: The racer/racer-kernel/disjunct-statistics<dot>lisp file
racer/racer-kernel/dl-descriptor-persistence.lisp: The racer/racer-kernel/dl-descriptor-persistence<dot>lisp file
racer/racer-kernel/dl-language.lisp: The racer/racer-kernel/dl-language<dot>lisp file
racer/racer-kernel/encoding.lisp: The racer/racer-kernel/encoding<dot>lisp file
racer/racer-kernel/individual-structures.lisp: The racer/racer-kernel/individual-structures<dot>lisp file
racer/racer-kernel/kernel-state-structures.lisp: The racer/racer-kernel/kernel-state-structures<dot>lisp file
racer/racer-kernel/kernel-structures.lisp: The racer/racer-kernel/kernel-structures<dot>lisp file
racer/racer-kernel/label-info-structures.lisp: The racer/racer-kernel/label-info-structures<dot>lisp file
racer/racer-kernel/lookahead.lisp: The racer/racer-kernel/lookahead<dot>lisp file
racer/racer-kernel/models.lisp: The racer/racer-kernel/models<dot>lisp file
racer/racer-kernel/racer-parameters.lisp: The racer/racer-kernel/racer-parameters<dot>lisp file
racer/racer-kernel/racer-statistics.lisp: The racer/racer-kernel/racer-statistics<dot>lisp file
racer/racer-kernel/racer-utilities.lisp: The racer/racer-kernel/racer-utilities<dot>lisp file
racer/racer-kernel/racer.lisp: The racer/racer-kernel/racer<dot>lisp file
racer/racer-kernel/relation-store.lisp: The racer/racer-kernel/relation-store<dot>lisp file
racer/racer-kernel/role-structures.lisp: The racer/racer-kernel/role-structures<dot>lisp file
racer/racer-kernel/set-operations.lisp: The racer/racer-kernel/set-operations<dot>lisp file
racer/racer-kernel/set-structure.lisp: The racer/racer-kernel/set-structure<dot>lisp file
racer/racer-kernel/signatures.lisp: The racer/racer-kernel/signatures<dot>lisp file
racer/racer-kernel/solver-structures.lisp: The racer/racer-kernel/solver-structures<dot>lisp file
racer/racer-kernel/sparse-array.lisp: The racer/racer-kernel/sparse-array<dot>lisp file
racer/racer-kernel/structures-id.lisp: The racer/racer-kernel/structures-id<dot>lisp file
racer/racer-kernel/subgraph-structure.lisp: The racer/racer-kernel/subgraph-structure<dot>lisp file
racer/racer-kernel/subset-cache.lisp: The racer/racer-kernel/subset-cache<dot>lisp file
racer/racer-kernel/tbox-structure.lisp: The racer/racer-kernel/tbox-structure<dot>lisp file
racer/racer-kernel/termination.lisp: The racer/racer-kernel/termination<dot>lisp file
racer/racer-kernel/variables-support.lisp: The racer/racer-kernel/variables-support<dot>lisp file
racer/racer-package.lisp: The racer/racer-package<dot>lisp file
racer/racer-tools: The racer/racer-tools module
racer/racer-tools/abox.lisp: The racer/racer-tools/abox<dot>lisp file
racer/racer-tools/divisible.lisp: The racer/racer-tools/divisible<dot>lisp file
racer/racer-tools/gci-absorption-structures.lisp: The racer/racer-tools/gci-absorption-structures<dot>lisp file
racer/racer-tools/gci-absorption.lisp: The racer/racer-tools/gci-absorption<dot>lisp file
racer/racer-tools/gen-model.lisp: The racer/racer-tools/gen-model<dot>lisp file
racer/racer-tools/kb.lisp: The racer/racer-tools/kb<dot>lisp file
racer/racer-tools/lin-int-inequations.lisp: The racer/racer-tools/lin-int-inequations<dot>lisp file
racer/racer-tools/linear-inequations.lisp: The racer/racer-tools/linear-inequations<dot>lisp file
racer/racer-tools/nonlin-inequations.lisp: The racer/racer-tools/nonlin-inequations<dot>lisp file
racer/racer-tools/query-optimizer.lisp: The racer/racer-tools/query-optimizer<dot>lisp file
racer/racer-tools/string-inequations.lisp: The racer/racer-tools/string-inequations<dot>lisp file
racer/racer-tools/tbox.lisp: The racer/racer-tools/tbox<dot>lisp file
racer/racer-tools/timeout.lisp: The racer/racer-tools/timeout<dot>lisp file
racer/racer-user-package.lisp: The racer/racer-user-package<dot>lisp file
racer/readtable.lisp: The racer/readtable<dot>lisp file
racer/rules.lisp: The racer/rules<dot>lisp file
racer/sbcl-patches.lisp: The racer/sbcl-patches<dot>lisp file
racer/server-functions.lisp: The racer/server-functions<dot>lisp file
racer/setup-readtable.lisp: The racer/setup-readtable<dot>lisp file
racer/simplex-support.lisp: The racer/simplex-support<dot>lisp file
racer/storage-management.lisp: The racer/storage-management<dot>lisp file
racer/swrl-interface.lisp: The racer/swrl-interface<dot>lisp file
racer/trace-support.lisp: The racer/trace-support<dot>lisp file
racer/utils.lisp: The racer/utils<dot>lisp file
racer/version.lisp: The racer/version<dot>lisp file
racer/warnings.lisp: The racer/warnings<dot>lisp file
racer/wilbur: The racer/wilbur module
racer/wilbur/core-constants.lisp: The racer/wilbur/core-constants<dot>lisp file
racer/wilbur/data-sources.lisp: The racer/wilbur/data-sources<dot>lisp file
racer/wilbur/data.lisp: The racer/wilbur/data<dot>lisp file
racer/wilbur/http.lisp: The racer/wilbur/http<dot>lisp file
racer/wilbur/literal.lisp: The racer/wilbur/literal<dot>lisp file
racer/wilbur/nox-package.lisp: The racer/wilbur/nox-package<dot>lisp file
racer/wilbur/rdf-parser.lisp: The racer/wilbur/rdf-parser<dot>lisp file
racer/wilbur/wilbur-package.lisp: The racer/wilbur/wilbur-package<dot>lisp file
racer/wilbur/wilbur-ql.lisp: The racer/wilbur/wilbur-ql<dot>lisp file
racer/wilbur/xml-parser.lisp: The racer/wilbur/xml-parser<dot>lisp file
racer/wilbur/xml-util.lisp: The racer/wilbur/xml-util<dot>lisp file
racer/xml-interface.lisp: The racer/xml-interface<dot>lisp file
Jump to:   F   L   M   R  

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

A.2 Functions

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

A.3 Variables

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

A.4 Data types

Jump to:   R   S  
Index Entry  Section
R
racer: The racer system
S
System, racer: The racer system
Jump to:   R   S