summaryrefslogtreecommitdiff
path: root/huffman-encode.lisp
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2022-07-14 13:04:12 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2022-07-14 13:04:35 +0900
commitf3c662421bc7913604355012bcced5d75051e505 (patch)
treeccc3d759fb2ed513ae610d463f9241efe823e2dd /huffman-encode.lisp
parentef184a3fbfb0494d52d5c1993514cd8feed32233 (diff)
huffman-encode: Refactor.
Diffstat (limited to 'huffman-encode.lisp')
-rw-r--r--huffman-encode.lisp11
1 files changed, 5 insertions, 6 deletions
diff --git a/huffman-encode.lisp b/huffman-encode.lisp
index 8bdd05b..c8ca8b3 100644
--- a/huffman-encode.lisp
+++ b/huffman-encode.lisp
@@ -173,12 +173,11 @@
(implies (rationalp w)
(huffman-treep (huffman-leaf s w))))
-(in-theory (disable
- nodep huffman-treep
- leaf-symbol
- huffman-leaf huffman-node
- symbol-list weight left right
- node-count))
+(in-theory (disable nodep huffman-treep
+ leaf-symbol
+ huffman-leaf huffman-node
+ symbol-list weight left right
+ node-count))
;;; Generate huffman trees
(defun huffman-leaf-listp (x)