diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 13:29:58 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-14 13:30:23 +0900 |
| commit | 66ab91cf8ea4bc18faf4901e26f016651df901bb (patch) | |
| tree | 667e850d8d0b0c388905b0e65016690fb2dcfe53 /huffman-encode.lisp | |
| parent | 2a2010312569f19f8f789546eced8e3d1f2e8877 (diff) | |
huffman-encode: huffman-leaf-listp: Removed.
Diffstat (limited to 'huffman-encode.lisp')
| -rw-r--r-- | huffman-encode.lisp | 9 |
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) |