diff options
| -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) |