hg.stevelosh.com > scully

--- a/src/reasoners/zdd.lisp	Thu Feb 23 20:18:19 2017 +0000
+++ b/src/reasoners/zdd.lisp	Thu Feb 23 22:05:09 2017 +0000
@@ -238,6 +238,7 @@
   ;; a child ZDD of all the possible combos.
   (sprout-traverse reasoner iset))

+
 ;;;; Basic API ----------------------------------------------------------------
 (defun number-to-term (reasoner number)
   (gethash number (zr-number->term reasoner)))
author	Steve Losh <steve@stevelosh.com>
date	Thu, 23 Feb 2017 22:05:09 +0000
parents	4f75ef150e1b
children	a11739a2b4ef
branches/tags	(none)
files	src/reasoners/zdd.lisp