This is the cl-smt-lib Reference Manual, version 1.0.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 04:22:55 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
cl-smt-libcl-smt-lib/cl-smt-libcl-smt-lib/process-two-way-streamcl-smt-lib/fundamental-two-way-streamcl-smt-libSMT object supporting SMT-LIB communication over input and output streams
Eric Schulte <eschulte@grammatech.com>
BSD-3-Clause
1.0.0
asdf-package-system (system).
cl-smt-lib/cl-smt-lib (system).
cl-smt-lib/cl-smt-libEric Schulte <eschulte@grammatech.com>
BSD-3-Clause
named-readtables (system).
cl-smt-lib/process-two-way-stream (system).
cl-smt-lib/process-two-way-streamEric Schulte <eschulte@grammatech.com>
BSD-3-Clause
cl-smt-lib/fundamental-two-way-stream (system).
cl-smt-lib/fundamental-two-way-streamEric Schulte <eschulte@grammatech.com>
BSD-3-Clause
trivial-gray-streams (system).
Files are sorted by type and then listed depth-first from the systems components trees.
cl-smt-lib/cl-smt-lib.asdcl-smt-lib/cl-smt-lib/file-type.lispcl-smt-lib/process-two-way-stream/file-type.lispcl-smt-lib/fundamental-two-way-stream/file-type.lispcl-smt-lib/cl-smt-lib/file-type.lispcl-smt-lib/cl-smt-lib (system).
*smt-debug* (special variable).
make-smt (function).
read-from-smt (function).
smt-error (condition).
with-smt (macro).
write-to-smt (function).
*print-nil-as-list* (special variable).
read-preserving-case (function).
smt (reader method).
smt (class).
text (reader method).
cl-smt-lib/process-two-way-stream/file-type.lispcl-smt-lib/process-two-way-stream (system).
make-process-two-way-stream (function).
process (reader method).
process-two-way-stream (class).
cl-smt-lib/fundamental-two-way-stream/file-type.lispcl-smt-lib/fundamental-two-way-stream (system).
fundamental-two-way-stream (class).
input (reader method).
(setf input) (writer method).
output (reader method).
(setf output) (writer method).
stream-finish-output (method).
stream-line-column (method).
stream-read-char (method).
stream-read-char-no-hang (method).
stream-read-line (method).
stream-read-sequence (method).
stream-unread-char (method).
stream-write-char (method).
stream-write-sequence (method).
stream-write-string (method).
Packages are listed by definition order.
cl-smt-lib/fundamental-two-way-streamcommon-lisp.
trivial-gray-streams.
fundamental-two-way-stream (class).
input (generic reader).
(setf input) (generic writer).
output (generic reader).
(setf output) (generic writer).
cl-smt-lib/process-two-way-streamcl-smt-lib/fundamental-two-way-stream.
common-lisp.
uiop/launch-program.
make-process-two-way-stream (function).
process (generic reader).
process-two-way-stream (class).
cl-smt-lib/cl-smt-libcl-smt-lib
cl-smt-lib/process-two-way-stream.
common-lisp.
editor-hints.named-readtables.
*smt-debug* (special variable).
make-smt (function).
read-from-smt (function).
smt-error (condition).
with-smt (macro).
write-to-smt (function).
*print-nil-as-list* (special variable).
read-preserving-case (function).
smt (generic reader).
smt (class).
text (generic reader).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Set to a stream to duplicate smt input and output to the *SMT-DEBUG*.
Wrap PROCESS in an PROCESS-TWO-WAY-STREAM object.
Wrap PROCESS in an SMT object.
Write FORMS to the process in SMT over it’s STDIN.
Sets READTABLE-CASE to :PRESERVE to ensure printing in valid
case-sensitive smt libv2 format.
Write FORMS to the process in SMT over it’s STDIN.
Sets READTABLE-CASE to :PRESERVE to ensure printing in valid
case-sensitive smt libv2 format.
fundamental-two-way-stream)) ¶automatically generated reader method
fundamental-two-way-stream)) ¶automatically generated writer method
fundamental-two-way-stream)) ¶automatically generated reader method
fundamental-two-way-stream)) ¶automatically generated writer method
process-two-way-stream)) ¶automatically generated reader method
fundamental-two-way-stream)) ¶sb-gray.
fundamental-two-way-stream)) ¶sb-gray.
fundamental-two-way-stream)) ¶sb-gray.
fundamental-two-way-stream)) ¶sb-gray.
fundamental-two-way-stream)) ¶sb-gray.
fundamental-two-way-stream) sequence start end &key &allow-other-keys) ¶trivial-gray-streams.
fundamental-two-way-stream) character) ¶sb-gray.
fundamental-two-way-stream) character) ¶sb-gray.
fundamental-two-way-stream) sequence start end &key &allow-other-keys) ¶trivial-gray-streams.
fundamental-two-way-stream) string &optional start end) ¶sb-gray.
error.
A two-way stream composed of fundamental-{input,output}-streams.
A fundamental-two-way-stream wrapping a single process’ input and output.
smt.
When bound to non-nil print NIL as the empty list.
An SMT process with input and output streams.
| Jump to: | (
F G I M O P R S T W |
|---|
| Jump to: | (
F G I M O P R S T W |
|---|
| Jump to: | *
I O P S T |
|---|
| Jump to: | *
I O P S T |
|---|
| Jump to: | C F P S |
|---|
| Jump to: | C F P S |
|---|