Commit 64cb1b2f authored by kilian.sprotte's avatar kilian.sprotte

adapted examples

darcs-hash:1004056bf4d0d2e1ef585bbdee8eb9f3414f63c2
parent fccaca72
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment