adapted examples
Thu Dec 21 07:55:46 PST 2006 kilian.sprotte@gmail.com
* adapted examples
diff -rN -u old-gecol/examples.lisp new-gecol/examples.lisp
--- old-gecol/examples.lisp 2014-07-31 12:40:48.000000000 -0700
+++ new-gecol/examples.lisp 2014-07-31 12:40:48.000000000 -0700
@@ -30,7 +30,7 @@
(in-package :cl-user)
(defun cartesian-product ()
- (let ((s (gecol:create-space 3 1 3 0)))
+ (let ((s (gecol:create-space 3 1 3 0 0)))
(gecol:gec-branch-vars-min s)
(let ((e (gecol:create-search-engine s)))
(loop
@@ -45,7 +45,7 @@
(gecol:dispose-space s))))
(defun distinct ()
- (let ((s (gecol:create-space 3 1 3 0)))
+ (let ((s (gecol:create-space 3 1 3 0 0)))
(gecol:gec-distinct s (list 0 1 2) :icl-def)
(gecol:gec-branch-vars-min s)
(let ((e (gecol:create-search-engine s)))
@@ -61,7 +61,7 @@
(gecol:dispose-space s))))
(defun sorted ()
- (let ((s (gecol:create-space 3 1 3 0)))
+ (let ((s (gecol:create-space 3 1 3 0 0)))
(gecol:gec-rel-var s 0 :irt-< 1 :icl-def)
(gecol:gec-rel-var s 1 :irt-< 2 :icl-def)
(gecol:gec-branch-vars-min s)
@@ -78,7 +78,7 @@
(gecol:dispose-space s))))
(defun cartesian-product-distr-max ()
- (let ((s (gecol:create-space 3 1 3 0)))
+ (let ((s (gecol:create-space 3 1 3 0 0)))
(gecol:gec-branch-vars-max s)
(let ((e (gecol:create-search-engine s)))
(loop