diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 11:27:06 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 11:27:06 +0900 |
| commit | 30a3b3d25f8d3180379b48803f03a3fadd51405f (patch) | |
| tree | fa07bec3a2d75e0f5ec12c90bc84f2a7a9f4765a | |
| parent | 68b68a6ed58f3205e9c4f9145bfdeb09b3aa3dce (diff) | |
huffman-encode: Remove huffman-leafp function.
| -rw-r--r-- | huffman-encode.lisp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp index bd5d4d4..ff9fc20 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -35,11 +35,6 @@ (declare (xargs :guard (rationalp w))) (list 'leaf s w)) -(defun huffman-leafp (x) - (declare (xargs :guard t)) - (and (huffman-treep x) - (not (nodep x)))) - (defun leaf-symbol (x) (declare (xargs :guard (and (huffman-treep x) (not (nodep x))))) |