summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2022-07-14 13:29:58 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2022-07-14 13:30:23 +0900
commit66ab91cf8ea4bc18faf4901e26f016651df901bb (patch)
tree667e850d8d0b0c388905b0e65016690fb2dcfe53
parent2a2010312569f19f8f789546eced8e3d1f2e8877 (diff)
huffman-encode: huffman-leaf-listp: Removed.
-rw-r--r--huffman-encode.lisp9
1 files changed, 0 insertions, 9 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp
index dc31b53..be416b3 100644
--- a/huffman-encode.lisp
+++ b/huffman-encode.lisp
@@ -180,14 +180,6 @@
node-count))
;;; Generate huffman trees
-(defun huffman-leaf-listp (x)
- (declare (xargs :guard t))
- (if (atom x)
- (null x)
- (and (huffman-treep (car x))
- (not (nodep (car x)))
- (huffman-leaf-listp (cdr x)))))
-
(defun huffman-tree-listp (x)
(declare (xargs :guard t))
(if (atom x)
@@ -202,7 +194,6 @@
(orderdp (cdr x)))
(t nil)))
-
(defun symbol-weight-pair-listp (x)
(declare (xargs :guard t))
(if (atom x)