From 66ab91cf8ea4bc18faf4901e26f016651df901bb Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 14 Jul 2022 13:29:58 +0900 Subject: huffman-encode: huffman-leaf-listp: Removed. --- huffman-encode.lisp | 9 --------- 1 file changed, 9 deletions(-) (limited to 'huffman-encode.lisp') 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) -- cgit v1.2.3