big update
package.lisp
Sun Jan 7 17:49:57 PST 2007 kilian.sprotte@gmail.com
* big update
The API resembles much more the original gecode one.
Added support for finite sets.
Can now use BAB search.
--- old-gecol/package.lisp 2014-04-17 11:31:37.000000000 -0700
+++ new-gecol/package.lisp 2014-04-17 11:31:37.000000000 -0700
@@ -30,55 +30,15 @@
(in-package :cl-user)
(defpackage :gecol
- (:documentation "This is the gecol package, providing bindings to work with GECODE.")
+ (:documentation "Provides bindings to GECODE.")
(:use :cl :iterate :cffi)
(:export
- #:create-search-engine
- #:create-space
- #:dispose-search-engine
- #:dispose-space
- #:search-next
- #:space-read-int
- #:space-read-bool
- ;; propagators
- #:gec-bool-and
- #:gec-bool-and-const
- #:gec-bool-assigned
- #:gec-bool-eq
- #:gec-bool-eq-const
- #:gec-bool-eqv
- #:gec-bool-eqv-const
- #:gec-bool-imp
- #:gec-bool-imp-const
- #:gec-bool-not
- #:gec-bool-or
- #:gec-bool-or-const
- #:gec-bool-xor
- #:gec-bool-xor-const
- #:gec-branch-vars-max
- #:gec-branch-vars-med
- #:gec-branch-vars-min
- #:gec-distance
- #:gec-distance-const
- #:gec-distinct
- #:gec-dom-var
- #:gec-dom-var-set
- #:gec-element-const
- #:gec-element-vars
- #:gec-int-assigned
- #:gec-linear-const
- #:gec-linear-var
- #:gec-max
- #:gec-min
+ #:make-gecolspace
+ #:make-dfs-space-int-int-stop
+ #:make-bab-space-int-int-stop
+ ;; Ints
#:gec-minus
- #:gec-mod-12
- #:gec-mult
- #:gec-rel-const
- #:gec-rel-reif
- #:gec-rel-var
;; Sets
- #:gec-fs-space-put
- #:gec-fs-space-get
#:gec-fs-make-const
#:gec-fs-make-bounds
#:gec-fs-make-lower-bound
@@ -99,16 +59,6 @@
#:gec-fs-enumerate-lower-bound
#:gec-fs-enumerate-upper-bound
#:gec-fs-value
- #:gec-fs-cardinality-const
- #:gec-fs-cardinality
- #:gec-fs-rel-setvar-setreltype-setvar
- #:gec-fs-rel-setvar-setreltype-setvar-boolvar
- #:gec-fs-rel-intvar-setreltype-setvar
- #:gec-fs-rel-intvar-setreltype-setvar-boolvar
- #:gec-fs-rel-setvar-setoptype-setvar-setreltype-setvar
- #:gec-fs-min
- #:gec-fs-max
-
;;; utils
#:with-list-as-int-array
))